Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Unification_(computer_science)> ?p ?o }
- Unification_(computer_science) wikiPageWikiLink File:Triangle_diagram_of_syntactic_unification_svg.svg.
- Unification_(computer_science) wikiPageWikiLink File:Unification_exponential_blow-up_svg.svg.
- Unification_(computer_science) wikiPageWikiLinkText "Unification (computer science)".
- Unification_(computer_science) wikiPageWikiLinkText "Unification (computer science)#A unification algorithm".
- Unification_(computer_science) wikiPageWikiLinkText "Unification (computer science)#E-unification".
- Unification_(computer_science) wikiPageWikiLinkText "Unification (computer science)#Narrowing".
- Unification_(computer_science) wikiPageWikiLinkText "Unification (computer science)#Syntactic unification of first-order terms".
- Unification_(computer_science) wikiPageWikiLinkText "solve equations".
- Unification_(computer_science) wikiPageWikiLinkText "substitution application".
- Unification_(computer_science) wikiPageWikiLinkText "substitution".
- Unification_(computer_science) wikiPageWikiLinkText "syntactic unification".
- Unification_(computer_science) wikiPageWikiLinkText "unifiability".
- Unification_(computer_science) wikiPageWikiLinkText "unification algorithm".
- Unification_(computer_science) wikiPageWikiLinkText "unification problem".
- Unification_(computer_science) wikiPageWikiLinkText "unification".
- Unification_(computer_science) wikiPageWikiLinkText "unified".
- Unification_(computer_science) wikiPageWikiLinkText "unifier".
- Unification_(computer_science) wikiPageWikiLinkText "unifiers".
- Unification_(computer_science) wikiPageWikiLinkText "unify".
- Unification_(computer_science) wikiPageWikiLinkText "unifying terms".
- Unification_(computer_science) wikiPageWikiLinkText "unifying".
- Unification_(computer_science) author "Alex Sakharov".
- Unification_(computer_science) quote "Symbols are ordered such that variables precede function symbols. Terms are ordered by increasing written length; equally long terms are ordered lexicographically. For a set T of terms, its disagreement path p is the lexicographically least path where two member terms of T differ. Its disagreement set is the set of subterms starting at p, formally: }. Algorithm: Given a set T of terms to be unified Let σ initially be the identity substitution do forever if Tσ is a singleton set then return σ fi let D be the disagreement set of Tσ let s, t be the two lexicographically least terms in D If s is not a variable or s occurs in t then return "NONUNIFIABLE" fi σ := σ { s↦t } done".
- Unification_(computer_science) title "Robinson's 1965 unification algorithm".
- Unification_(computer_science) title "Unification".
- Unification_(computer_science) urlname "Unification".
- Unification_(computer_science) wikiPageUsesTemplate Template:!.
- Unification_(computer_science) wikiPageUsesTemplate Template:=.
- Unification_(computer_science) wikiPageUsesTemplate Template:Cite_book.
- Unification_(computer_science) wikiPageUsesTemplate Template:Cite_journal.
- Unification_(computer_science) wikiPageUsesTemplate Template:Color.
- Unification_(computer_science) wikiPageUsesTemplate Template:Hidden_begin.
- Unification_(computer_science) wikiPageUsesTemplate Template:Hidden_end.
- Unification_(computer_science) wikiPageUsesTemplate Template:Main.
- Unification_(computer_science) wikiPageUsesTemplate Template:Math.
- Unification_(computer_science) wikiPageUsesTemplate Template:MathWorld.
- Unification_(computer_science) wikiPageUsesTemplate Template:Mset.
- Unification_(computer_science) wikiPageUsesTemplate Template:Mvar.
- Unification_(computer_science) wikiPageUsesTemplate Template:Pipe.
- Unification_(computer_science) wikiPageUsesTemplate Template:Quote_box.
- Unification_(computer_science) wikiPageUsesTemplate Template:Reflist.
- Unification_(computer_science) wikiPageUsesTemplate Template:Refn.
- Unification_(computer_science) wikiPageUsesTemplate Template:Tmath.
- Unification_(computer_science) wikiPageUsesTemplate Template:Underset.
- Unification_(computer_science) subject Category:Automated_theorem_proving.
- Unification_(computer_science) subject Category:Logic_in_computer_science.
- Unification_(computer_science) subject Category:Logic_programming.
- Unification_(computer_science) subject Category:Rewriting_systems.
- Unification_(computer_science) subject Category:Type_theory.
- Unification_(computer_science) subject Category:Unification_(computer_science).
- Unification_(computer_science) hypernym Process.
- Unification_(computer_science) type Election.
- Unification_(computer_science) type Method.
- Unification_(computer_science) type Proof.
- Unification_(computer_science) type Concept.
- Unification_(computer_science) comment "Unification, in computer science and logic, is an algorithmic process of solving equations between symbolic expressions.Depending on which expressions (also called terms) are allowed to occur in an equation set (also called unification problem), and which expressions are considered equal, several frameworks of unification are distinguished.".
- Unification_(computer_science) label "Unification (computer science)".
- Unification_(computer_science) sameAs Q609057.
- Unification_(computer_science) sameAs Унификация_(информатика).
- Unification_(computer_science) sameAs Unifikace_(logika).
- Unification_(computer_science) sameAs Unifikation_(Logik).
- Unification_(computer_science) sameAs یکسانسازی_(رایانه).
- Unification_(computer_science) sameAs Unification.
- Unification_(computer_science) sameAs ユニフィケーション.
- Unification_(computer_science) sameAs Unifikasjon.
- Unification_(computer_science) sameAs Unifikacja_(informatyka).
- Unification_(computer_science) sameAs Unificação.
- Unification_(computer_science) sameAs m.0f6v3.
- Unification_(computer_science) sameAs Частный_случай_формулы.
- Unification_(computer_science) sameAs Hợp_nhất_(phép_toán).
- Unification_(computer_science) sameAs Q609057.
- Unification_(computer_science) sameAs 合一.
- Unification_(computer_science) wasDerivedFrom Unification_(computer_science)?oldid=695579103.
- Unification_(computer_science) isPrimaryTopicOf Unification_(computer_science).
