Matches in SemOpenAlex for { <https://semopenalex.org/work/W2743286910> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2743286910 endingPage "12" @default.
- W2743286910 startingPage "1" @default.
- W2743286910 abstract "A structure enjoys the Herbrand property if, whenever it satisfies an equality between some terms, these terms are unifiable. On such structures the expressive power of equalities becomes trivial, as their semantic satisfiability is reduced to a purely syntactic check.In this work, we introduce the notion of Herbrand property and develop it in a finite model-theoretic perspective. We provide, indeed, a canonical realization of the new concept by what we call quasi-Herbrand models and observe that, in stark contrast with the naive implementation of the property via standard Herbrand models, their universe can be finite even in presence of functions in the vocabulary. We exploit this feature to decide and collapse the general and finite version of the satisfiability and entailment problems for previously unsettled fragments of first-order logic.We take advantage of the Herbrand property also to establish novel and tight complexity results for the aforementioned decision questions. In particular, we show that the finite containment problem for quantified conjunctive queries is NPTime-complete, tightening along two dimensions the known 3ExpTime upper bound for the general version of the problem (Chen, Madelaine, and Martin, LICS'08). We finally present an alternative view on this result by generalizing to such queries the classic characterization of conjunctive query containment via polynomial-time verifiable homomorphisms (Chandra and Merlin, STOC'77)." @default.
- W2743286910 created "2017-08-17" @default.
- W2743286910 creator A5023349661 @default.
- W2743286910 creator A5052215915 @default.
- W2743286910 date "2017-06-20" @default.
- W2743286910 modified "2023-09-25" @default.
- W2743286910 title "Herbrand property, finite quasi-herbrand models, and a chandra-merlin theorem for quantified conjunctive queries" @default.
- W2743286910 cites W117467870 @default.
- W2743286910 cites W1549008998 @default.
- W2743286910 cites W1842133761 @default.
- W2743286910 cites W1972560931 @default.
- W2743286910 cites W1979514837 @default.
- W2743286910 cites W1991981864 @default.
- W2743286910 cites W2007102962 @default.
- W2743286910 cites W2043790764 @default.
- W2743286910 cites W2062893737 @default.
- W2743286910 cites W2086470346 @default.
- W2743286910 cites W2100738443 @default.
- W2743286910 cites W2113722134 @default.
- W2743286910 cites W2124580444 @default.
- W2743286910 cites W2252339295 @default.
- W2743286910 cites W2341631904 @default.
- W2743286910 cites W2403380599 @default.
- W2743286910 cites W2604456471 @default.
- W2743286910 cites W2915015834 @default.
- W2743286910 cites W3022449549 @default.
- W2743286910 cites W3099865299 @default.
- W2743286910 cites W78720960 @default.
- W2743286910 cites W97887531 @default.
- W2743286910 doi "https://doi.org/10.5555/3329995.3330008" @default.
- W2743286910 hasPublicationYear "2017" @default.
- W2743286910 type Work @default.
- W2743286910 sameAs 2743286910 @default.
- W2743286910 citedByCount "2" @default.
- W2743286910 countsByYear W27432869102019 @default.
- W2743286910 crossrefType "proceedings-article" @default.
- W2743286910 hasAuthorship W2743286910A5023349661 @default.
- W2743286910 hasAuthorship W2743286910A5052215915 @default.
- W2743286910 hasConcept C111472728 @default.
- W2743286910 hasConcept C118615104 @default.
- W2743286910 hasConcept C136119220 @default.
- W2743286910 hasConcept C138885662 @default.
- W2743286910 hasConcept C154690210 @default.
- W2743286910 hasConcept C16221470 @default.
- W2743286910 hasConcept C168773769 @default.
- W2743286910 hasConcept C189950617 @default.
- W2743286910 hasConcept C199360897 @default.
- W2743286910 hasConcept C202444582 @default.
- W2743286910 hasConcept C33923547 @default.
- W2743286910 hasConcept C41008148 @default.
- W2743286910 hasConcept C5655090 @default.
- W2743286910 hasConcept C65647387 @default.
- W2743286910 hasConcept C77088390 @default.
- W2743286910 hasConcept C80444323 @default.
- W2743286910 hasConceptScore W2743286910C111472728 @default.
- W2743286910 hasConceptScore W2743286910C118615104 @default.
- W2743286910 hasConceptScore W2743286910C136119220 @default.
- W2743286910 hasConceptScore W2743286910C138885662 @default.
- W2743286910 hasConceptScore W2743286910C154690210 @default.
- W2743286910 hasConceptScore W2743286910C16221470 @default.
- W2743286910 hasConceptScore W2743286910C168773769 @default.
- W2743286910 hasConceptScore W2743286910C189950617 @default.
- W2743286910 hasConceptScore W2743286910C199360897 @default.
- W2743286910 hasConceptScore W2743286910C202444582 @default.
- W2743286910 hasConceptScore W2743286910C33923547 @default.
- W2743286910 hasConceptScore W2743286910C41008148 @default.
- W2743286910 hasConceptScore W2743286910C5655090 @default.
- W2743286910 hasConceptScore W2743286910C65647387 @default.
- W2743286910 hasConceptScore W2743286910C77088390 @default.
- W2743286910 hasConceptScore W2743286910C80444323 @default.
- W2743286910 hasLocation W27432869101 @default.
- W2743286910 hasOpenAccess W2743286910 @default.
- W2743286910 hasPrimaryLocation W27432869101 @default.
- W2743286910 hasRelatedWork W1558807621 @default.
- W2743286910 hasRelatedWork W1563189470 @default.
- W2743286910 hasRelatedWork W1663679272 @default.
- W2743286910 hasRelatedWork W1887871432 @default.
- W2743286910 hasRelatedWork W2029183607 @default.
- W2743286910 hasRelatedWork W2038813971 @default.
- W2743286910 hasRelatedWork W2081791214 @default.
- W2743286910 hasRelatedWork W2103178808 @default.
- W2743286910 hasRelatedWork W2114438303 @default.
- W2743286910 hasRelatedWork W2123205690 @default.
- W2743286910 hasRelatedWork W2124742025 @default.
- W2743286910 hasRelatedWork W2157893030 @default.
- W2743286910 hasRelatedWork W2724928203 @default.
- W2743286910 hasRelatedWork W2735861951 @default.
- W2743286910 hasRelatedWork W2922620979 @default.
- W2743286910 hasRelatedWork W2952344609 @default.
- W2743286910 hasRelatedWork W2953274432 @default.
- W2743286910 hasRelatedWork W3039770073 @default.
- W2743286910 hasRelatedWork W3089623425 @default.
- W2743286910 hasRelatedWork W631641701 @default.
- W2743286910 isParatext "false" @default.
- W2743286910 isRetracted "false" @default.
- W2743286910 magId "2743286910" @default.
- W2743286910 workType "article" @default.