Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/OBJ3> ?p ?o }
Showing triples 1 to 45 of
45
with 100 triples per page.
- OBJ3 abstract "OBJ3 is a version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on Kyoto Common Lisp AKCL. It is now of (important) historical interest since newer versions of the OBJ family are available.".
- OBJ3 wikiPageExternalLink iobj.ps.
- OBJ3 wikiPageID "1063982".
- OBJ3 wikiPageLength "811".
- OBJ3 wikiPageOutDegree "12".
- OBJ3 wikiPageRevisionID "570455145".
- OBJ3 wikiPageWikiLink Category:Common_Lisp_software.
- OBJ3 wikiPageWikiLink Category:Formal_specification_languages.
- OBJ3 wikiPageWikiLink Category:Functional_languages.
- OBJ3 wikiPageWikiLink Category:Theorem_proving_software_systems.
- OBJ3 wikiPageWikiLink Intelligent_agent.
- OBJ3 wikiPageWikiLink Joseph_Goguen.
- OBJ3 wikiPageWikiLink Kyoto_Common_Lisp.
- OBJ3 wikiPageWikiLink OBJ_(programming_language).
- OBJ3 wikiPageWikiLink Order_theory.
- OBJ3 wikiPageWikiLink PostScript.
- OBJ3 wikiPageWikiLink Rewriting.
- OBJ3 wikiPageWikiLink SRI_International.
- OBJ3 wikiPageWikiLinkText "OBJ3".
- OBJ3 wikiPageUsesTemplate Template:FOLDOC.
- OBJ3 wikiPageUsesTemplate Template:Logic-stub.
- OBJ3 wikiPageUsesTemplate Template:Prog-lang-stub.
- OBJ3 subject Category:Common_Lisp_software.
- OBJ3 subject Category:Formal_specification_languages.
- OBJ3 subject Category:Functional_languages.
- OBJ3 subject Category:Theorem_proving_software_systems.
- OBJ3 hypernym Version.
- OBJ3 type Language.
- OBJ3 type ProgrammingLanguage.
- OBJ3 type Work.
- OBJ3 type Language.
- OBJ3 type Tool.
- OBJ3 type Language.
- OBJ3 type Thing.
- OBJ3 type Q315.
- OBJ3 type Q34770.
- OBJ3 type Q9143.
- OBJ3 comment "OBJ3 is a version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on Kyoto Common Lisp AKCL. It is now of (important) historical interest since newer versions of the OBJ family are available.".
- OBJ3 label "OBJ3".
- OBJ3 sameAs Q7072320.
- OBJ3 sameAs OBJ3.
- OBJ3 sameAs m.042tn8.
- OBJ3 sameAs Q7072320.
- OBJ3 wasDerivedFrom OBJ3?oldid=570455145.
- OBJ3 isPrimaryTopicOf OBJ3.