Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Abstract_machine_notation> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- Abstract_machine_notation 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.".
- Abstract_machine_notation wikiPageID "75621".
- Abstract_machine_notation wikiPageLength "503".
- Abstract_machine_notation wikiPageOutDegree "9".
- Abstract_machine_notation wikiPageRevisionID "580105480".
- Abstract_machine_notation wikiPageWikiLink Abstract_machine.
- Abstract_machine_notation wikiPageWikiLink B-Method.
- Abstract_machine_notation wikiPageWikiLink Category:Formal_specification_languages.
- Abstract_machine_notation wikiPageWikiLink Formal_methods.
- Abstract_machine_notation wikiPageWikiLink Formal_specification.
- Abstract_machine_notation wikiPageWikiLink Generalised_substitutions.
- Abstract_machine_notation wikiPageWikiLink Mathematics.
- Abstract_machine_notation wikiPageWikiLink Programming_language.
- Abstract_machine_notation wikiPageWikiLink Specification_language.
- Abstract_machine_notation wikiPageWikiLinkText "Abstract machine notation".
- Abstract_machine_notation wikiPageWikiLinkText "abstract machine notation".
- Abstract_machine_notation wikiPageUsesTemplate Template:Compu-lang-stub.
- Abstract_machine_notation wikiPageUsesTemplate Template:FOLDOC.
- Abstract_machine_notation wikiPageUsesTemplate Template:Multiple_issues.
- Abstract_machine_notation wikiPageUsesTemplate Template:Notability.
- Abstract_machine_notation wikiPageUsesTemplate Template:Unreferenced.
- Abstract_machine_notation subject Category:Formal_specification_languages.
- Abstract_machine_notation hypernym Language.
- Abstract_machine_notation type Language.
- Abstract_machine_notation type ProgrammingLanguage.
- Abstract_machine_notation type Language.
- Abstract_machine_notation type Redirect.
- Abstract_machine_notation type Language.
- Abstract_machine_notation type Thing.
- Abstract_machine_notation type Q315.
- Abstract_machine_notation type Q34770.
- Abstract_machine_notation type Q9143.
- Abstract_machine_notation 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.".
- Abstract_machine_notation label "Abstract machine notation".
- Abstract_machine_notation sameAs Q4669949.
- Abstract_machine_notation sameAs m.0k0wc.
- Abstract_machine_notation sameAs Q4669949.
- Abstract_machine_notation wasDerivedFrom Abstract_machine_notation?oldid=580105480.
- Abstract_machine_notation isPrimaryTopicOf Abstract_machine_notation.