Dershowitz–Manna ordering

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Rewriting system Formal language
rdfs:label	Dershowitz–Manna ordering
owl:sameAs	dbr:Dershowitz–Manna_ordering
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Formal_languages http://en.wikipedia.org/wiki/Category:Rewriting_systems
skos:prefLabel	Dershowitz–Manna ordering
is clgo:knownFor of	Nachum Dershowitz

About: clgr:Dershowitz–Manna_ordering