Matches in SemOpenAlex for { <https://semopenalex.org/work/W2810508972> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2810508972 abstract "Given a logic (varvec{mathcal {L}}), the (varvec{mathcal {L}})-Definability Problem for finite structures takes as input a finite structure (varvec{A}) and a target relation T over the domain of (varvec{A}), and determines whether there is a formula of (varvec{mathcal {L}}) whose interpretation in (varvec{A}) coincides with T. In this note we present an algorithm that solves the definability problem for quantifier-free first order formulas. Our algorithm takes advantage of a semantic characterization of open definability via subisomorphisms, which is sound and complete. We also provide an empirical evaluation of its performance." @default.
- W2810508972 created "2018-07-10" @default.
- W2810508972 creator A5004342195 @default.
- W2810508972 creator A5022706489 @default.
- W2810508972 creator A5044086535 @default.
- W2810508972 date "2018-01-01" @default.
- W2810508972 modified "2023-10-02" @default.
- W2810508972 title "Deciding Open Definability via Subisomorphisms" @default.
- W2810508972 cites W1522877314 @default.
- W2810508972 cites W1565722675 @default.
- W2810508972 cites W1697263423 @default.
- W2810508972 cites W1850944545 @default.
- W2810508972 cites W198918365 @default.
- W2810508972 cites W1992639096 @default.
- W2810508972 cites W2065259180 @default.
- W2810508972 cites W2087515863 @default.
- W2810508972 cites W2105795736 @default.
- W2810508972 cites W2125447031 @default.
- W2810508972 cites W2347545322 @default.
- W2810508972 cites W4237721941 @default.
- W2810508972 doi "https://doi.org/10.1007/978-3-662-57669-4_5" @default.
- W2810508972 hasPublicationYear "2018" @default.
- W2810508972 type Work @default.
- W2810508972 sameAs 2810508972 @default.
- W2810508972 citedByCount "1" @default.
- W2810508972 countsByYear W28105089722020 @default.
- W2810508972 crossrefType "book-chapter" @default.
- W2810508972 hasAuthorship W2810508972A5004342195 @default.
- W2810508972 hasAuthorship W2810508972A5022706489 @default.
- W2810508972 hasAuthorship W2810508972A5044086535 @default.
- W2810508972 hasConcept C10138342 @default.
- W2810508972 hasConcept C11413529 @default.
- W2810508972 hasConcept C118615104 @default.
- W2810508972 hasConcept C120665830 @default.
- W2810508972 hasConcept C121332964 @default.
- W2810508972 hasConcept C134306372 @default.
- W2810508972 hasConcept C154945302 @default.
- W2810508972 hasConcept C162324750 @default.
- W2810508972 hasConcept C182306322 @default.
- W2810508972 hasConcept C199360897 @default.
- W2810508972 hasConcept C2778523021 @default.
- W2810508972 hasConcept C2780654840 @default.
- W2810508972 hasConcept C2780841128 @default.
- W2810508972 hasConcept C32278780 @default.
- W2810508972 hasConcept C33923547 @default.
- W2810508972 hasConcept C36503486 @default.
- W2810508972 hasConcept C41008148 @default.
- W2810508972 hasConcept C527412718 @default.
- W2810508972 hasConceptScore W2810508972C10138342 @default.
- W2810508972 hasConceptScore W2810508972C11413529 @default.
- W2810508972 hasConceptScore W2810508972C118615104 @default.
- W2810508972 hasConceptScore W2810508972C120665830 @default.
- W2810508972 hasConceptScore W2810508972C121332964 @default.
- W2810508972 hasConceptScore W2810508972C134306372 @default.
- W2810508972 hasConceptScore W2810508972C154945302 @default.
- W2810508972 hasConceptScore W2810508972C162324750 @default.
- W2810508972 hasConceptScore W2810508972C182306322 @default.
- W2810508972 hasConceptScore W2810508972C199360897 @default.
- W2810508972 hasConceptScore W2810508972C2778523021 @default.
- W2810508972 hasConceptScore W2810508972C2780654840 @default.
- W2810508972 hasConceptScore W2810508972C2780841128 @default.
- W2810508972 hasConceptScore W2810508972C32278780 @default.
- W2810508972 hasConceptScore W2810508972C33923547 @default.
- W2810508972 hasConceptScore W2810508972C36503486 @default.
- W2810508972 hasConceptScore W2810508972C41008148 @default.
- W2810508972 hasConceptScore W2810508972C527412718 @default.
- W2810508972 hasLocation W28105089721 @default.
- W2810508972 hasOpenAccess W2810508972 @default.
- W2810508972 hasPrimaryLocation W28105089721 @default.
- W2810508972 hasRelatedWork W1018377251 @default.
- W2810508972 hasRelatedWork W1494513799 @default.
- W2810508972 hasRelatedWork W1523699442 @default.
- W2810508972 hasRelatedWork W1539448119 @default.
- W2810508972 hasRelatedWork W157085726 @default.
- W2810508972 hasRelatedWork W1991188222 @default.
- W2810508972 hasRelatedWork W2000644799 @default.
- W2810508972 hasRelatedWork W2045225747 @default.
- W2810508972 hasRelatedWork W2094961759 @default.
- W2810508972 hasRelatedWork W2097212968 @default.
- W2810508972 hasRelatedWork W2531234554 @default.
- W2810508972 hasRelatedWork W2726560500 @default.
- W2810508972 hasRelatedWork W2903809398 @default.
- W2810508972 hasRelatedWork W2939776956 @default.
- W2810508972 hasRelatedWork W2949904570 @default.
- W2810508972 hasRelatedWork W2950454308 @default.
- W2810508972 hasRelatedWork W2953078492 @default.
- W2810508972 hasRelatedWork W3008129045 @default.
- W2810508972 hasRelatedWork W3106456356 @default.
- W2810508972 hasRelatedWork W2188703919 @default.
- W2810508972 isParatext "false" @default.
- W2810508972 isRetracted "false" @default.
- W2810508972 magId "2810508972" @default.
- W2810508972 workType "book-chapter" @default.