FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1844468970> ?p ?o ?g. }

• W1844468970 abstract "Abstract datatypes can be viewed as sorted ground term algebras. Unification can be used to solve conjunctions of equations. We give a new algorithm to extend this to the full quantifier free fragment, i.e. including formulas with disjunction and negation. The algorithm is based on unification (to deal with equality) and DPLL (to deal with propositional logic). In this paper we present our algorithm as an instance of a generalized DPLL algorithm. We prove soundness and completeness of the class of generalized DPLL algorithms, in particular for the algorithm for ground term algebras." @default.
• W1844468970 created "2016-06-24" @default.
• W1844468970 creator A5011463106 @default.
• W1844468970 creator A5075284504 @default.
• W1844468970 creator A5079513619 @default.
• W1844468970 creator A5080214204 @default.
• W1844468970 date "2004-01-01" @default.
• W1844468970 modified "2023-09-23" @default.
• W1844468970 title "Solving satisfiability of ground term algebras using DPLL and unification" @default.
• W1844468970 cites W1489527380 @default.
• W1844468970 cites W1512564652 @default.
• W1844468970 cites W1534557881 @default.
• W1844468970 cites W1572729891 @default.
• W1844468970 cites W1583295953 @default.
• W1844468970 cites W1601833083 @default.
• W1844468970 cites W1602567617 @default.
• W1844468970 cites W1605860778 @default.
• W1844468970 cites W1667395620 @default.
• W1844468970 cites W2002015997 @default.
• W1844468970 cites W2021025450 @default.
• W1844468970 cites W2033074970 @default.
• W1844468970 cites W2038813971 @default.
• W1844468970 cites W2057361103 @default.
• W1844468970 cites W2062897452 @default.
• W1844468970 cites W2100738443 @default.
• W1844468970 cites W2109220893 @default.
• W1844468970 cites W2112197627 @default.
• W1844468970 cites W2136584020 @default.
• W1844468970 cites W2143556329 @default.
• W1844468970 cites W2157688865 @default.
• W1844468970 cites W2466528871 @default.
• W1844468970 cites W2915015834 @default.
• W1844468970 cites W60619409 @default.
• W1844468970 cites W2039160606 @default.
• W1844468970 hasPublicationYear "2004" @default.
• W1844468970 type Work @default.
• W1844468970 sameAs 1844468970 @default.
• W1844468970 citedByCount "1" @default.
• W1844468970 crossrefType "journal-article" @default.
• W1844468970 hasAuthorship W1844468970A5011463106 @default.
• W1844468970 hasAuthorship W1844468970A5075284504 @default.
• W1844468970 hasAuthorship W1844468970A5079513619 @default.
• W1844468970 hasAuthorship W1844468970A5080214204 @default.
• W1844468970 hasConcept C102993220 @default.
• W1844468970 hasConcept C11413529 @default.
• W1844468970 hasConcept C118615104 @default.
• W1844468970 hasConcept C121332964 @default.
• W1844468970 hasConcept C12707504 @default.
• W1844468970 hasConcept C134306372 @default.
• W1844468970 hasConcept C134652429 @default.
• W1844468970 hasConcept C143936061 @default.
• W1844468970 hasConcept C153269930 @default.
• W1844468970 hasConcept C154945302 @default.
• W1844468970 hasConcept C168773769 @default.
• W1844468970 hasConcept C17231256 @default.
• W1844468970 hasConcept C199360897 @default.
• W1844468970 hasConcept C203659156 @default.
• W1844468970 hasConcept C2185349 @default.
• W1844468970 hasConcept C2778523021 @default.
• W1844468970 hasConcept C33923547 @default.
• W1844468970 hasConcept C3845977 @default.
• W1844468970 hasConcept C39920170 @default.
• W1844468970 hasConcept C41008148 @default.
• W1844468970 hasConcept C61797465 @default.
• W1844468970 hasConcept C62520636 @default.
• W1844468970 hasConcept C76155785 @default.
• W1844468970 hasConcept C80444323 @default.
• W1844468970 hasConcept C96146094 @default.
• W1844468970 hasConceptScore W1844468970C102993220 @default.
• W1844468970 hasConceptScore W1844468970C11413529 @default.
• W1844468970 hasConceptScore W1844468970C118615104 @default.
• W1844468970 hasConceptScore W1844468970C121332964 @default.
• W1844468970 hasConceptScore W1844468970C12707504 @default.
• W1844468970 hasConceptScore W1844468970C134306372 @default.
• W1844468970 hasConceptScore W1844468970C134652429 @default.
• W1844468970 hasConceptScore W1844468970C143936061 @default.
• W1844468970 hasConceptScore W1844468970C153269930 @default.
• W1844468970 hasConceptScore W1844468970C154945302 @default.
• W1844468970 hasConceptScore W1844468970C168773769 @default.
• W1844468970 hasConceptScore W1844468970C17231256 @default.
• W1844468970 hasConceptScore W1844468970C199360897 @default.
• W1844468970 hasConceptScore W1844468970C203659156 @default.
• W1844468970 hasConceptScore W1844468970C2185349 @default.
• W1844468970 hasConceptScore W1844468970C2778523021 @default.
• W1844468970 hasConceptScore W1844468970C33923547 @default.
• W1844468970 hasConceptScore W1844468970C3845977 @default.
• W1844468970 hasConceptScore W1844468970C39920170 @default.
• W1844468970 hasConceptScore W1844468970C41008148 @default.
• W1844468970 hasConceptScore W1844468970C61797465 @default.
• W1844468970 hasConceptScore W1844468970C62520636 @default.
• W1844468970 hasConceptScore W1844468970C76155785 @default.
• W1844468970 hasConceptScore W1844468970C80444323 @default.
• W1844468970 hasConceptScore W1844468970C96146094 @default.
• W1844468970 hasOpenAccess W1844468970 @default.
• W1844468970 hasRelatedWork W1497109150 @default.
• W1844468970 hasRelatedWork W1521975091 @default.
• W1844468970 hasRelatedWork W1545039558 @default.
• W1844468970 hasRelatedWork W1550213970 @default.
• W1844468970 hasRelatedWork W1555569636 @default.
• W1844468970 hasRelatedWork W1586690077 @default.

• next