http://dbpedia.org/page/OBJ3

OBJ3 is a version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on AKCL. It is now of (important) historical interest since newer versions of the OBJ family are available.

Property	Value
p:abstract	OBJ3 is a version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on AKCL. It is now of (important) historical interest since newer versions of the OBJ family are available. (en)
p:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/OBJ3
p:reference	http://www-cse.ucsd.edu/users/goguen/pps/iobj.ps
rdf:type	yago:FunctionalLanguages yago:FormalSpecificationLanguages umbel-sc:Language
rdfs:comment	OBJ3 is a version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on AKCL. It is now of (important) historical interest since newer versions of the OBJ family are available. (en)
rdfs:label	OBJ3 (en)
owl:sameAs	http://umbel.org/umbel/ne/wikipedia/OBJ3
skos:subject	dbpedia:Category:Common_Lisp_software dbpedia:Category:Functional_languages dbpedia:Category:Formal_specification_languages dbpedia:Category:Theorem_proving_software_systems
foaf:page	http://en.wikipedia.org/wiki/OBJ3
owl:sameAs	http://mpii.de/yago/resource/OBJ3