Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012017461> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2012017461 endingPage "768" @default.
- W2012017461 startingPage "763" @default.
- W2012017461 abstract "The decision problem for provability logic remains PSPACE-complete even if the number of propositional atoms is restricted to one." @default.
- W2012017461 created "2016-06-24" @default.
- W2012017461 creator A5055871345 @default.
- W2012017461 date "2003-06-13" @default.
- W2012017461 modified "2023-09-27" @default.
- W2012017461 title "The decision problem of provability logic with only one atom" @default.
- W2012017461 cites W2007671683 @default.
- W2012017461 cites W2059933820 @default.
- W2012017461 cites W2073491323 @default.
- W2012017461 cites W2074283846 @default.
- W2012017461 cites W4250241526 @default.
- W2012017461 cites W4253934133 @default.
- W2012017461 doi "https://doi.org/10.1007/s00153-003-0180-4" @default.
- W2012017461 hasPublicationYear "2003" @default.
- W2012017461 type Work @default.
- W2012017461 sameAs 2012017461 @default.
- W2012017461 citedByCount "17" @default.
- W2012017461 countsByYear W20120174612012 @default.
- W2012017461 countsByYear W20120174612014 @default.
- W2012017461 countsByYear W20120174612018 @default.
- W2012017461 countsByYear W20120174612019 @default.
- W2012017461 countsByYear W20120174612020 @default.
- W2012017461 countsByYear W20120174612022 @default.
- W2012017461 countsByYear W20120174612023 @default.
- W2012017461 crossrefType "journal-article" @default.
- W2012017461 hasAuthorship W2012017461A5055871345 @default.
- W2012017461 hasBestOaLocation W20120174612 @default.
- W2012017461 hasConcept C118615104 @default.
- W2012017461 hasConcept C136119220 @default.
- W2012017461 hasConcept C149635348 @default.
- W2012017461 hasConcept C202444582 @default.
- W2012017461 hasConcept C33923547 @default.
- W2012017461 hasConcept C41008148 @default.
- W2012017461 hasConcept C58312451 @default.
- W2012017461 hasConcept C94375191 @default.
- W2012017461 hasConceptScore W2012017461C118615104 @default.
- W2012017461 hasConceptScore W2012017461C136119220 @default.
- W2012017461 hasConceptScore W2012017461C149635348 @default.
- W2012017461 hasConceptScore W2012017461C202444582 @default.
- W2012017461 hasConceptScore W2012017461C33923547 @default.
- W2012017461 hasConceptScore W2012017461C41008148 @default.
- W2012017461 hasConceptScore W2012017461C58312451 @default.
- W2012017461 hasConceptScore W2012017461C94375191 @default.
- W2012017461 hasIssue "8" @default.
- W2012017461 hasLocation W20120174611 @default.
- W2012017461 hasLocation W20120174612 @default.
- W2012017461 hasOpenAccess W2012017461 @default.
- W2012017461 hasPrimaryLocation W20120174611 @default.
- W2012017461 hasRelatedWork W2090649758 @default.
- W2012017461 hasRelatedWork W2135173043 @default.
- W2012017461 hasRelatedWork W2319007069 @default.
- W2012017461 hasRelatedWork W2324899973 @default.
- W2012017461 hasRelatedWork W2335699373 @default.
- W2012017461 hasRelatedWork W241866648 @default.
- W2012017461 hasRelatedWork W2600284381 @default.
- W2012017461 hasRelatedWork W2963339245 @default.
- W2012017461 hasRelatedWork W4232640560 @default.
- W2012017461 hasRelatedWork W4253321761 @default.
- W2012017461 hasVolume "42" @default.
- W2012017461 isParatext "false" @default.
- W2012017461 isRetracted "false" @default.
- W2012017461 magId "2012017461" @default.
- W2012017461 workType "article" @default.