DBpedia – Linked Data Fragments

Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Unification_(computer_science)> ?p ?o }

• Unification_(computer_science) wikiPageWikiLink Semigroup.
• Unification_(computer_science) wikiPageWikiLink Sentence_(logic).
• Unification_(computer_science) wikiPageWikiLink Sentence_(mathematical_logic).
• Unification_(computer_science) wikiPageWikiLink Singleton_(mathematics).
• Unification_(computer_science) wikiPageWikiLink Singleton_set.
• Unification_(computer_science) wikiPageWikiLink Structural_induction.
• Unification_(computer_science) wikiPageWikiLink Substitution_(logic).
• Unification_(computer_science) wikiPageWikiLink Tautology_(logic).
• Unification_(computer_science) wikiPageWikiLink Template_(C++).
• Unification_(computer_science) wikiPageWikiLink Term_(first-order_logic).
• Unification_(computer_science) wikiPageWikiLink Term_(logic).
• Unification_(computer_science) wikiPageWikiLink Term_rewriting.
• Unification_(computer_science) wikiPageWikiLink Tobias_Nipkow.
• Unification_(computer_science) wikiPageWikiLink Tree_(set_theory).
• Unification_(computer_science) wikiPageWikiLink Twelf.
• Unification_(computer_science) wikiPageWikiLink Type_inference.
• Unification_(computer_science) wikiPageWikiLink Type_system.
• Unification_(computer_science) wikiPageWikiLink Undecidable_problem.
• Unification_(computer_science) wikiPageWikiLink Unification_(computer_science).
• Unification_(computer_science) wikiPageWikiLink Uninterpreted_function.
• Unification_(computer_science) wikiPageWikiLink Variable_(computer_science).
• Unification_(computer_science) wikiPageWikiLink Variable_(programming).
• Unification_(computer_science) wikiPageWikiLink Wayne_Snyder.
• Unification_(computer_science) wikiPageWikiLink ΛProlog.
• Unification_(computer_science) wikiPageWikiLink File:Triangle_diagram_of_narrowing_step_svg.svg.
• 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 "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) hasPhotoCollection Unification_(computer_science).
• Unification_(computer_science) title "Unification".
• Unification_(computer_science) urlname "Unification".
• 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:Main.
• Unification_(computer_science) wikiPageUsesTemplate Template:MathWorld.
• Unification_(computer_science) wikiPageUsesTemplate Template:Nobreak.
• Unification_(computer_science) wikiPageUsesTemplate Template:Reflist.
• Unification_(computer_science) wikiPageUsesTemplate Template:Refn.
• 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 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 Унификация_(информатика).
• 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 Q609057.
• Unification_(computer_science) sameAs 合一.
• Unification_(computer_science) wasDerivedFrom Unification_(computer_science)?oldid=676817166.
• Unification_(computer_science) isPrimaryTopicOf Unification_(computer_science).

• first
• previous