Matches in SemOpenAlex for { <https://semopenalex.org/work/W2123232421> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2123232421 endingPage "492" @default.
- W2123232421 startingPage "477" @default.
- W2123232421 abstract "Recent improvements in satisfiability algorithms for propositional logic have made partial instantiation methods for first order predicate logic computationally more attractive. Two such methods have been proposed, one by Jeroslow and a hypergraph method for datalog formulas by Gallo and Rago. We show that they are instances of two general approaches to partial instantiation, and we develop these approaches for a large decidable fragment of first order logic (the ∃∀ fragment)." @default.
- W2123232421 created "2016-06-24" @default.
- W2123232421 creator A5059159928 @default.
- W2123232421 date "1993-09-01" @default.
- W2123232421 modified "2023-10-16" @default.
- W2123232421 title "New methods for computing inferences in first order logic" @default.
- W2123232421 cites W1965892141 @default.
- W2123232421 cites W1966614680 @default.
- W2123232421 cites W1976816453 @default.
- W2123232421 cites W1977946745 @default.
- W2123232421 cites W2017351350 @default.
- W2123232421 cites W2040475127 @default.
- W2123232421 cites W2054971774 @default.
- W2123232421 cites W2064811181 @default.
- W2123232421 cites W2084642537 @default.
- W2123232421 cites W2085301456 @default.
- W2123232421 cites W2088377032 @default.
- W2123232421 cites W2092931458 @default.
- W2123232421 cites W2152426072 @default.
- W2123232421 cites W2153401251 @default.
- W2123232421 cites W2912748054 @default.
- W2123232421 cites W2914728526 @default.
- W2123232421 cites W2914795094 @default.
- W2123232421 doi "https://doi.org/10.1007/bf02027814" @default.
- W2123232421 hasPublicationYear "1993" @default.
- W2123232421 type Work @default.
- W2123232421 sameAs 2123232421 @default.
- W2123232421 citedByCount "10" @default.
- W2123232421 countsByYear W21232324212019 @default.
- W2123232421 crossrefType "journal-article" @default.
- W2123232421 hasAuthorship W2123232421A5059159928 @default.
- W2123232421 hasBestOaLocation W21232324212 @default.
- W2123232421 hasConcept C100481476 @default.
- W2123232421 hasConcept C102993220 @default.
- W2123232421 hasConcept C11413529 @default.
- W2123232421 hasConcept C118615104 @default.
- W2123232421 hasConcept C148230440 @default.
- W2123232421 hasConcept C153269930 @default.
- W2123232421 hasConcept C168773769 @default.
- W2123232421 hasConcept C19689857 @default.
- W2123232421 hasConcept C199360897 @default.
- W2123232421 hasConcept C24858836 @default.
- W2123232421 hasConcept C2776235265 @default.
- W2123232421 hasConcept C2781221856 @default.
- W2123232421 hasConcept C33923547 @default.
- W2123232421 hasConcept C41008148 @default.
- W2123232421 hasConcept C69562738 @default.
- W2123232421 hasConcept C80444323 @default.
- W2123232421 hasConceptScore W2123232421C100481476 @default.
- W2123232421 hasConceptScore W2123232421C102993220 @default.
- W2123232421 hasConceptScore W2123232421C11413529 @default.
- W2123232421 hasConceptScore W2123232421C118615104 @default.
- W2123232421 hasConceptScore W2123232421C148230440 @default.
- W2123232421 hasConceptScore W2123232421C153269930 @default.
- W2123232421 hasConceptScore W2123232421C168773769 @default.
- W2123232421 hasConceptScore W2123232421C19689857 @default.
- W2123232421 hasConceptScore W2123232421C199360897 @default.
- W2123232421 hasConceptScore W2123232421C24858836 @default.
- W2123232421 hasConceptScore W2123232421C2776235265 @default.
- W2123232421 hasConceptScore W2123232421C2781221856 @default.
- W2123232421 hasConceptScore W2123232421C33923547 @default.
- W2123232421 hasConceptScore W2123232421C41008148 @default.
- W2123232421 hasConceptScore W2123232421C69562738 @default.
- W2123232421 hasConceptScore W2123232421C80444323 @default.
- W2123232421 hasIssue "9" @default.
- W2123232421 hasLocation W21232324211 @default.
- W2123232421 hasLocation W21232324212 @default.
- W2123232421 hasOpenAccess W2123232421 @default.
- W2123232421 hasPrimaryLocation W21232324211 @default.
- W2123232421 hasRelatedWork W108377115 @default.
- W2123232421 hasRelatedWork W1249507685 @default.
- W2123232421 hasRelatedWork W2123232421 @default.
- W2123232421 hasRelatedWork W2169158271 @default.
- W2123232421 hasRelatedWork W2571595555 @default.
- W2123232421 hasRelatedWork W3012562581 @default.
- W2123232421 hasRelatedWork W3157697571 @default.
- W2123232421 hasRelatedWork W36592441 @default.
- W2123232421 hasRelatedWork W4287196460 @default.
- W2123232421 hasRelatedWork W4377031873 @default.
- W2123232421 hasVolume "43" @default.
- W2123232421 isParatext "false" @default.
- W2123232421 isRetracted "false" @default.
- W2123232421 magId "2123232421" @default.
- W2123232421 workType "article" @default.