FRINK Linked Data Fragments server

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

• W2766891010 abstract "We investigate the computational complexity of the satisfiability problem of modal inclusion logic. We distinguish two variants of the problem: one for the strict and another one for the lax semantics. Both problems turn out to be EXPTIME-complete on general structures. Finally, we show how for a specific class of structures NEXPTIME-completeness for these problems under strict semantics can be achieved." @default.
• W2766891010 created "2017-11-10" @default.
• W2766891010 creator A5008982209 @default.
• W2766891010 creator A5025571978 @default.
• W2766891010 creator A5059829668 @default.
• W2766891010 creator A5078573449 @default.
• W2766891010 date "2015-04-24" @default.
• W2766891010 modified "2023-09-25" @default.
• W2766891010 title "Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics" @default.
• W2766891010 cites W1497287285 @default.
• W2766891010 cites W1901350436 @default.
• W2766891010 cites W1910036953 @default.
• W2766891010 cites W1973302434 @default.
• W2766891010 cites W1997817571 @default.
• W2766891010 cites W2018462672 @default.
• W2766891010 cites W2034690236 @default.
• W2766891010 cites W2156038678 @default.
• W2766891010 cites W2508330256 @default.
• W2766891010 cites W2610670723 @default.
• W2766891010 cites W2782381758 @default.
• W2766891010 cites W2952431426 @default.
• W2766891010 cites W83792636 @default.
• W2766891010 hasPublicationYear "2015" @default.
• W2766891010 type Work @default.
• W2766891010 sameAs 2766891010 @default.
• W2766891010 citedByCount "0" @default.
• W2766891010 crossrefType "posted-content" @default.
• W2766891010 hasAuthorship W2766891010A5008982209 @default.
• W2766891010 hasAuthorship W2766891010A5025571978 @default.
• W2766891010 hasAuthorship W2766891010A5059829668 @default.
• W2766891010 hasAuthorship W2766891010A5078573449 @default.
• W2766891010 hasConcept C102993220 @default.
• W2766891010 hasConcept C114092440 @default.
• W2766891010 hasConcept C11413529 @default.
• W2766891010 hasConcept C118615104 @default.
• W2766891010 hasConcept C121332964 @default.
• W2766891010 hasConcept C134306372 @default.
• W2766891010 hasConcept C154945302 @default.
• W2766891010 hasConcept C165801399 @default.
• W2766891010 hasConcept C168773769 @default.
• W2766891010 hasConcept C17231256 @default.
• W2766891010 hasConcept C172385210 @default.
• W2766891010 hasConcept C179799912 @default.
• W2766891010 hasConcept C184337299 @default.
• W2766891010 hasConcept C185592680 @default.
• W2766891010 hasConcept C188027245 @default.
• W2766891010 hasConcept C197685441 @default.
• W2766891010 hasConcept C199360897 @default.
• W2766891010 hasConcept C203659156 @default.
• W2766891010 hasConcept C27508121 @default.
• W2766891010 hasConcept C2777212361 @default.
• W2766891010 hasConcept C2777796570 @default.
• W2766891010 hasConcept C33923547 @default.
• W2766891010 hasConcept C41008148 @default.
• W2766891010 hasConcept C56049555 @default.
• W2766891010 hasConcept C62520636 @default.
• W2766891010 hasConcept C6943359 @default.
• W2766891010 hasConcept C71139939 @default.
• W2766891010 hasConcept C80444323 @default.
• W2766891010 hasConceptScore W2766891010C102993220 @default.
• W2766891010 hasConceptScore W2766891010C114092440 @default.
• W2766891010 hasConceptScore W2766891010C11413529 @default.
• W2766891010 hasConceptScore W2766891010C118615104 @default.
• W2766891010 hasConceptScore W2766891010C121332964 @default.
• W2766891010 hasConceptScore W2766891010C134306372 @default.
• W2766891010 hasConceptScore W2766891010C154945302 @default.
• W2766891010 hasConceptScore W2766891010C165801399 @default.
• W2766891010 hasConceptScore W2766891010C168773769 @default.
• W2766891010 hasConceptScore W2766891010C17231256 @default.
• W2766891010 hasConceptScore W2766891010C172385210 @default.
• W2766891010 hasConceptScore W2766891010C179799912 @default.
• W2766891010 hasConceptScore W2766891010C184337299 @default.
• W2766891010 hasConceptScore W2766891010C185592680 @default.
• W2766891010 hasConceptScore W2766891010C188027245 @default.
• W2766891010 hasConceptScore W2766891010C197685441 @default.
• W2766891010 hasConceptScore W2766891010C199360897 @default.
• W2766891010 hasConceptScore W2766891010C203659156 @default.
• W2766891010 hasConceptScore W2766891010C27508121 @default.
• W2766891010 hasConceptScore W2766891010C2777212361 @default.
• W2766891010 hasConceptScore W2766891010C2777796570 @default.
• W2766891010 hasConceptScore W2766891010C33923547 @default.
• W2766891010 hasConceptScore W2766891010C41008148 @default.
• W2766891010 hasConceptScore W2766891010C56049555 @default.
• W2766891010 hasConceptScore W2766891010C62520636 @default.
• W2766891010 hasConceptScore W2766891010C6943359 @default.
• W2766891010 hasConceptScore W2766891010C71139939 @default.
• W2766891010 hasConceptScore W2766891010C80444323 @default.
• W2766891010 hasLocation W27668910101 @default.
• W2766891010 hasOpenAccess W2766891010 @default.
• W2766891010 hasPrimaryLocation W27668910101 @default.
• W2766891010 hasRelatedWork W1491519449 @default.
• W2766891010 hasRelatedWork W1663679272 @default.
• W2766891010 hasRelatedWork W188994241 @default.
• W2766891010 hasRelatedWork W2038813971 @default.
• W2766891010 hasRelatedWork W2069462712 @default.
• W2766891010 hasRelatedWork W2082729761 @default.
• W2766891010 hasRelatedWork W2100973900 @default.
• W2766891010 hasRelatedWork W2111763696 @default.
• W2766891010 hasRelatedWork W2735861951 @default.
• W2766891010 hasRelatedWork W2743286910 @default.

• next