Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950316813> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2950316813 abstract "We classify the computational complexity of the satisfiability, validity and model-checking problems for propositional independence and inclusion logic and their extensions by the classical negation." @default.
- W2950316813 created "2019-06-27" @default.
- W2950316813 creator A5008982209 @default.
- W2950316813 creator A5031183978 @default.
- W2950316813 creator A5069777444 @default.
- W2950316813 creator A5073358565 @default.
- W2950316813 date "2015-04-23" @default.
- W2950316813 modified "2023-09-25" @default.
- W2950316813 title "Complexity of Propositional Independence and Inclusion Logic" @default.
- W2950316813 hasPublicationYear "2015" @default.
- W2950316813 type Work @default.
- W2950316813 sameAs 2950316813 @default.
- W2950316813 citedByCount "2" @default.
- W2950316813 countsByYear W29503168132016 @default.
- W2950316813 crossrefType "posted-content" @default.
- W2950316813 hasAuthorship W2950316813A5008982209 @default.
- W2950316813 hasAuthorship W2950316813A5031183978 @default.
- W2950316813 hasAuthorship W2950316813A5069777444 @default.
- W2950316813 hasAuthorship W2950316813A5073358565 @default.
- W2950316813 hasConcept C102993220 @default.
- W2950316813 hasConcept C105795698 @default.
- W2950316813 hasConcept C109359841 @default.
- W2950316813 hasConcept C110039528 @default.
- W2950316813 hasConcept C118615104 @default.
- W2950316813 hasConcept C144237770 @default.
- W2950316813 hasConcept C14523651 @default.
- W2950316813 hasConcept C15744967 @default.
- W2950316813 hasConcept C203659156 @default.
- W2950316813 hasConcept C33203268 @default.
- W2950316813 hasConcept C33923547 @default.
- W2950316813 hasConcept C35651441 @default.
- W2950316813 hasConcept C3845977 @default.
- W2950316813 hasConcept C41008148 @default.
- W2950316813 hasConcept C69562738 @default.
- W2950316813 hasConcept C77805123 @default.
- W2950316813 hasConcept C80444323 @default.
- W2950316813 hasConceptScore W2950316813C102993220 @default.
- W2950316813 hasConceptScore W2950316813C105795698 @default.
- W2950316813 hasConceptScore W2950316813C109359841 @default.
- W2950316813 hasConceptScore W2950316813C110039528 @default.
- W2950316813 hasConceptScore W2950316813C118615104 @default.
- W2950316813 hasConceptScore W2950316813C144237770 @default.
- W2950316813 hasConceptScore W2950316813C14523651 @default.
- W2950316813 hasConceptScore W2950316813C15744967 @default.
- W2950316813 hasConceptScore W2950316813C203659156 @default.
- W2950316813 hasConceptScore W2950316813C33203268 @default.
- W2950316813 hasConceptScore W2950316813C33923547 @default.
- W2950316813 hasConceptScore W2950316813C35651441 @default.
- W2950316813 hasConceptScore W2950316813C3845977 @default.
- W2950316813 hasConceptScore W2950316813C41008148 @default.
- W2950316813 hasConceptScore W2950316813C69562738 @default.
- W2950316813 hasConceptScore W2950316813C77805123 @default.
- W2950316813 hasConceptScore W2950316813C80444323 @default.
- W2950316813 hasLocation W29503168131 @default.
- W2950316813 hasOpenAccess W2950316813 @default.
- W2950316813 hasPrimaryLocation W29503168131 @default.
- W2950316813 hasRelatedWork W1494075507 @default.
- W2950316813 hasRelatedWork W1563887142 @default.
- W2950316813 hasRelatedWork W1571021997 @default.
- W2950316813 hasRelatedWork W1841408446 @default.
- W2950316813 hasRelatedWork W1864111407 @default.
- W2950316813 hasRelatedWork W1973124889 @default.
- W2950316813 hasRelatedWork W2002015997 @default.
- W2950316813 hasRelatedWork W2083810385 @default.
- W2950316813 hasRelatedWork W2100235980 @default.
- W2950316813 hasRelatedWork W2108532883 @default.
- W2950316813 hasRelatedWork W2124662710 @default.
- W2950316813 hasRelatedWork W2141422763 @default.
- W2950316813 hasRelatedWork W2780544470 @default.
- W2950316813 hasRelatedWork W2951395037 @default.
- W2950316813 hasRelatedWork W3033912683 @default.
- W2950316813 hasRelatedWork W3122242939 @default.
- W2950316813 hasRelatedWork W3141454231 @default.
- W2950316813 hasRelatedWork W3184898920 @default.
- W2950316813 hasRelatedWork W80737574 @default.
- W2950316813 hasRelatedWork W856013550 @default.
- W2950316813 isParatext "false" @default.
- W2950316813 isRetracted "false" @default.
- W2950316813 magId "2950316813" @default.
- W2950316813 workType "article" @default.