Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q4669949> ?p ?o }
Showing triples 1 to 19 of
19
with 100 triples per page.
- Q4669949 subject Q8466135.
- Q4669949 abstract "The abstract machine notation (AMN) is a specification language and (abstract) programming language for specifying abstract machines in the B method, based on the mathematical theory of generalised substitutions.".
- Q4669949 wikiPageWikiLink Q1049183.
- Q4669949 wikiPageWikiLink Q1209840.
- Q4669949 wikiPageWikiLink Q1437424.
- Q4669949 wikiPageWikiLink Q3085774.
- Q4669949 wikiPageWikiLink Q395.
- Q4669949 wikiPageWikiLink Q787114.
- Q4669949 wikiPageWikiLink Q8466135.
- Q4669949 wikiPageWikiLink Q9143.
- Q4669949 type Language.
- Q4669949 type Language.
- Q4669949 type ProgrammingLanguage.
- Q4669949 type Thing.
- Q4669949 type Q315.
- Q4669949 type Q34770.
- Q4669949 type Q9143.
- Q4669949 comment "The abstract machine notation (AMN) is a specification language and (abstract) programming language for specifying abstract machines in the B method, based on the mathematical theory of generalised substitutions.".
- Q4669949 label "Abstract machine notation".