Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
http://dbpedia.org/class/yago/WikicatRewritingSystems
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org:8891
Property
Value
rdfs:
subClassOf
yago
:System104377057
owl:
equivalentClass
yago-res
:wikicat_Rewriting_systems
owl:
sameAs
yago
:WikicatRewritingSystems
is
rdf:
type
of
dbr
:Encompassment_ordering
dbr
:Path_ordering_(term_rewriting)
dbr
:Rewrite_order
dbr
:Unification_(computer_science)
dbr
:Dershowitz–Manna_ordering
dbr
:Critical_pair_(logic)
dbr
:Normal_form_(abstract_rewriting)
dbr
:Rewriting
dbr
:Confluence_(abstract_rewriting)
dbr
:Convergence_(logic)
dbr
:Orthogonality_(term_rewriting)
dbr
:Closure_(mathematics)
dbr
:Overlap_(term_rewriting)
dbr
:Buchberger's_algorithm
dbr
:Director_string
dbr
:Gröbner_basis
dbr
:Term_(logic)
dbr
:Abstract_rewriting_system
dbr
:Reflexive_closure
dbr
:Divergence_(computer_science)
dbr
:Knuth–Bendix_completion_algorithm
dbr
:Newman's_lemma
dbr
:Reduction_(mathematics)
dbr
:Word_problem_(mathematics)
dbr
:Semi-Thue_system
dbr
:Explicit_substitution
dbr
:Reduction_strategy_(code_optimization)
dbr
:Symmetric_closure
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License