Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Encompassment_ordering> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- Encompassment_ordering abstract "In theoretical computer science, in particular in automated theorem proving and term rewriting,the containment, or encompassment, preorder (≤) on the set of terms, is defined bys ≤ t if a subterm of t is a substitution instance of s.It is used e.g. in the Knuth–Bendix completion algorithm.".
- Encompassment_ordering thumbnail Encompassment_ordering_on_terms_s,t_svg.svg?width=300.
- Encompassment_ordering wikiPageID "42964077".
- Encompassment_ordering wikiPageLength "2933".
- Encompassment_ordering wikiPageOutDegree "23".
- Encompassment_ordering wikiPageRevisionID "650609071".
- Encompassment_ordering wikiPageWikiLink Antisymmetric_relation.
- Encompassment_ordering wikiPageWikiLink Automated_theorem_proving.
- Encompassment_ordering wikiPageWikiLink Category:Order_theory.
- Encompassment_ordering wikiPageWikiLink Category:Rewriting_systems.
- Encompassment_ordering wikiPageWikiLink Knuth–Bendix_completion_algorithm.
- Encompassment_ordering wikiPageWikiLink Preorder.
- Encompassment_ordering wikiPageWikiLink Reflexive_relation.
- Encompassment_ordering wikiPageWikiLink Rewrite_order.
- Encompassment_ordering wikiPageWikiLink Rewriting.
- Encompassment_ordering wikiPageWikiLink Substitution_(logic).
- Encompassment_ordering wikiPageWikiLink Term_(logic).
- Encompassment_ordering wikiPageWikiLink Theoretical_computer_science.
- Encompassment_ordering wikiPageWikiLink Total_order.
- Encompassment_ordering wikiPageWikiLink Transitive_relation.
- Encompassment_ordering wikiPageWikiLink Well-founded_relation.
- Encompassment_ordering wikiPageWikiLink File:Encompassment_ordering_on_terms_s,t_svg.svg.
- Encompassment_ordering wikiPageWikiLinkText "".
- Encompassment_ordering wikiPageWikiLinkText "Encompassment ordering".
- Encompassment_ordering wikiPageWikiLinkText "encompassment ordering".
- Encompassment_ordering wikiPageUsesTemplate Template:Comp-sci-stub.
- Encompassment_ordering wikiPageUsesTemplate Template:Reflist.
- Encompassment_ordering subject Category:Order_theory.
- Encompassment_ordering subject Category:Rewriting_systems.
- Encompassment_ordering hypernym T.
- Encompassment_ordering type MartialArtist.
- Encompassment_ordering comment "In theoretical computer science, in particular in automated theorem proving and term rewriting,the containment, or encompassment, preorder (≤) on the set of terms, is defined bys ≤ t if a subterm of t is a substitution instance of s.It is used e.g. in the Knuth–Bendix completion algorithm.".
- Encompassment_ordering label "Encompassment ordering".
- Encompassment_ordering sameAs Q18353532.
- Encompassment_ordering sameAs m.010r5mj_.
- Encompassment_ordering sameAs Q18353532.
- Encompassment_ordering wasDerivedFrom Encompassment_ordering?oldid=650609071.
- Encompassment_ordering depiction Encompassment_ordering_on_terms_s,t_svg.svg.
- Encompassment_ordering isPrimaryTopicOf Encompassment_ordering.
