OBJ (programming language)

Property	Value
rdf:type	owl:NamedIndividual Functional language Academic programming language Formal specification language Term-rewriting programming language
rdfs:label	OBJ (programming language)
owl:sameAs	dbr:OBJ_(programming_language)
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Academic_programming_languages http://en.wikipedia.org/wiki/Category:Formal_specification_languages http://en.wikipedia.org/wiki/Category:Term-rewriting_programming_languages http://en.wikipedia.org/wiki/Formal_specification http://en.wikipedia.org/wiki/Category:Functional_languages
skos:prefLabel	OBJ (programming language)
skos:altLabel	OBJ OBJ (programming language)#OBJ2 OBJ (programming language)#OBJ3 OBJ language OBJ programming language
is clgo:knownFor of	Joseph Goguen

About: clgr:OBJ_(programming_language)