Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Congruence_closure> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- Congruence_closure wikiPageID "42967502".
- Congruence_closure wikiPageLength "115".
- Congruence_closure wikiPageOutDegree "2".
- Congruence_closure wikiPageRedirects Closure_(mathematics).
- Congruence_closure wikiPageRevisionID "611574339".
- Congruence_closure wikiPageWikiLink Category:Rewriting_systems.
- Congruence_closure wikiPageWikiLink Closure_(mathematics).
- Congruence_closure wikiPageWikiLinkText "congruence closure".
- Congruence_closure wikiPageUsesTemplate Template:R_to_section.
- Congruence_closure subject Category:Rewriting_systems.
- Congruence_closure label "Congruence closure".
- Congruence_closure wasDerivedFrom Congruence_closure?oldid=611574339.
- Congruence_closure isPrimaryTopicOf Congruence_closure.