Matches in SemOpenAlex for { <https://semopenalex.org/work/W3199314379> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W3199314379 abstract "We show that the satisfiability problem for the quantifier-free theory of product structures with the equicardinality relation is in NP. As an application, we extend the combinatory array logic fragment to handle cardinality constraints. The resulting fragment is independent of the base element and index set theories." @default.
- W3199314379 created "2021-09-27" @default.
- W3199314379 creator A5008699657 @default.
- W3199314379 creator A5009548110 @default.
- W3199314379 date "2021-09-11" @default.
- W3199314379 modified "2023-10-01" @default.
- W3199314379 title "NP Satisfiability for Arrays as Powers." @default.
- W3199314379 cites W1511526676 @default.
- W3199314379 cites W1511737804 @default.
- W3199314379 cites W1513644114 @default.
- W3199314379 cites W1540595797 @default.
- W3199314379 cites W1607550340 @default.
- W3199314379 cites W1607928478 @default.
- W3199314379 cites W1638226618 @default.
- W3199314379 cites W1859059663 @default.
- W3199314379 cites W1968015483 @default.
- W3199314379 cites W2017654412 @default.
- W3199314379 cites W2026405784 @default.
- W3199314379 cites W2071228820 @default.
- W3199314379 cites W2102913701 @default.
- W3199314379 cites W2115134174 @default.
- W3199314379 cites W2124141583 @default.
- W3199314379 cites W2154032363 @default.
- W3199314379 cites W2170145744 @default.
- W3199314379 cites W2310431176 @default.
- W3199314379 cites W2606648105 @default.
- W3199314379 hasPublicationYear "2021" @default.
- W3199314379 type Work @default.
- W3199314379 sameAs 3199314379 @default.
- W3199314379 citedByCount "0" @default.
- W3199314379 crossrefType "posted-content" @default.
- W3199314379 hasAuthorship W3199314379A5008699657 @default.
- W3199314379 hasAuthorship W3199314379A5009548110 @default.
- W3199314379 hasConcept C11413529 @default.
- W3199314379 hasConcept C114614502 @default.
- W3199314379 hasConcept C118615104 @default.
- W3199314379 hasConcept C124101348 @default.
- W3199314379 hasConcept C134306372 @default.
- W3199314379 hasConcept C154945302 @default.
- W3199314379 hasConcept C168773769 @default.
- W3199314379 hasConcept C177264268 @default.
- W3199314379 hasConcept C199360897 @default.
- W3199314379 hasConcept C2524010 @default.
- W3199314379 hasConcept C25343380 @default.
- W3199314379 hasConcept C2776235265 @default.
- W3199314379 hasConcept C2778523021 @default.
- W3199314379 hasConcept C33923547 @default.
- W3199314379 hasConcept C41008148 @default.
- W3199314379 hasConcept C42058472 @default.
- W3199314379 hasConcept C6943359 @default.
- W3199314379 hasConcept C77088390 @default.
- W3199314379 hasConcept C87117476 @default.
- W3199314379 hasConcept C90673727 @default.
- W3199314379 hasConceptScore W3199314379C11413529 @default.
- W3199314379 hasConceptScore W3199314379C114614502 @default.
- W3199314379 hasConceptScore W3199314379C118615104 @default.
- W3199314379 hasConceptScore W3199314379C124101348 @default.
- W3199314379 hasConceptScore W3199314379C134306372 @default.
- W3199314379 hasConceptScore W3199314379C154945302 @default.
- W3199314379 hasConceptScore W3199314379C168773769 @default.
- W3199314379 hasConceptScore W3199314379C177264268 @default.
- W3199314379 hasConceptScore W3199314379C199360897 @default.
- W3199314379 hasConceptScore W3199314379C2524010 @default.
- W3199314379 hasConceptScore W3199314379C25343380 @default.
- W3199314379 hasConceptScore W3199314379C2776235265 @default.
- W3199314379 hasConceptScore W3199314379C2778523021 @default.
- W3199314379 hasConceptScore W3199314379C33923547 @default.
- W3199314379 hasConceptScore W3199314379C41008148 @default.
- W3199314379 hasConceptScore W3199314379C42058472 @default.
- W3199314379 hasConceptScore W3199314379C6943359 @default.
- W3199314379 hasConceptScore W3199314379C77088390 @default.
- W3199314379 hasConceptScore W3199314379C87117476 @default.
- W3199314379 hasConceptScore W3199314379C90673727 @default.
- W3199314379 hasLocation W31993143791 @default.
- W3199314379 hasOpenAccess W3199314379 @default.
- W3199314379 hasPrimaryLocation W31993143791 @default.
- W3199314379 hasRelatedWork W103116065 @default.
- W3199314379 hasRelatedWork W1498542449 @default.
- W3199314379 hasRelatedWork W1517830222 @default.
- W3199314379 hasRelatedWork W1553290931 @default.
- W3199314379 hasRelatedWork W1561657262 @default.
- W3199314379 hasRelatedWork W1600636537 @default.
- W3199314379 hasRelatedWork W1627056135 @default.
- W3199314379 hasRelatedWork W1830696394 @default.
- W3199314379 hasRelatedWork W2003216212 @default.
- W3199314379 hasRelatedWork W2027602125 @default.
- W3199314379 hasRelatedWork W2156117182 @default.
- W3199314379 hasRelatedWork W2165930340 @default.
- W3199314379 hasRelatedWork W2404289303 @default.
- W3199314379 hasRelatedWork W2571435091 @default.
- W3199314379 hasRelatedWork W2789687033 @default.
- W3199314379 hasRelatedWork W2896652110 @default.
- W3199314379 hasRelatedWork W3120153087 @default.
- W3199314379 hasRelatedWork W1979904465 @default.
- W3199314379 hasRelatedWork W2462672987 @default.
- W3199314379 hasRelatedWork W3095928539 @default.
- W3199314379 isParatext "false" @default.
- W3199314379 isRetracted "false" @default.
- W3199314379 magId "3199314379" @default.
- W3199314379 workType "article" @default.