Matches in DBpedia 2014 for { ?s ?p In which lattice precisely? Unification maps two terms to a substitution, while term lattice meet maps two terms to a term, and substitution lattice meet maps two substitutions to a substitution.. }
Showing items 1 to 1 of
1
with 100 items per page.