MikelEganaAranguren
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Table
SPARQL
Graphs
6
6
Services
1
1
Assets
5
5
Insights
Schema
BETA
Class frequency
Class hierarchy
Unification (computer science)
Unification (computer science)
Concept
http://dbpedia.org/resource/Category:Unification_(computer_science)
Equation solving
Occurs check
Subsumption lattice
Anti-unification (computer science)
Dis-unification (computer science)
Term algebra
Unification (computer science)
subject
Substitution (logic)
broader
Unification (computer science)
Concept
http://dbpedia.org/resource/Category:Unification_(computer_science)
Wikipage page ID
39,298,486
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
714,264,277
http://www.w3.org/2001/XMLSchema#integer
type
Concept
label
Unification (computer science)
@en
sameAs
Q13299555
Q13299555
broader
Automated theorem proving
Equations
Logic in computer science
Logic programming
Rewriting systems
Type inference
prefLabel
Unification (computer science)
@en
wasDerivedFrom
Category:Unification_(computer_science)?oldid=714264277