Matches in SemOpenAlex for { <https://semopenalex.org/work/W2055138800> ?p ?o ?g. }
- W2055138800 endingPage "749" @default.
- W2055138800 startingPage "711" @default.
- W2055138800 created "2016-06-24" @default.
- W2055138800 creator A5030206786 @default.
- W2055138800 creator A5034555443 @default.
- W2055138800 date "2005-07-18" @default.
- W2055138800 modified "2023-09-24" @default.
- W2055138800 title "Quantified propositional calculus and a second-order theory for NC1" @default.
- W2055138800 cites W1506378440 @default.
- W2055138800 cites W1983604941 @default.
- W2055138800 cites W1985854796 @default.
- W2055138800 cites W1988083342 @default.
- W2055138800 cites W1990360244 @default.
- W2055138800 cites W1997908783 @default.
- W2055138800 cites W2010055185 @default.
- W2055138800 cites W2036651904 @default.
- W2055138800 cites W2038247515 @default.
- W2055138800 cites W2045583484 @default.
- W2055138800 cites W2056827464 @default.
- W2055138800 cites W2103981148 @default.
- W2055138800 cites W2128026324 @default.
- W2055138800 cites W2136868774 @default.
- W2055138800 cites W2160804094 @default.
- W2055138800 cites W2161149481 @default.
- W2055138800 cites W2609995680 @default.
- W2055138800 cites W2908250557 @default.
- W2055138800 cites W3157713018 @default.
- W2055138800 cites W4206266376 @default.
- W2055138800 cites W4236835455 @default.
- W2055138800 cites W4248733413 @default.
- W2055138800 cites W9698083 @default.
- W2055138800 doi "https://doi.org/10.1007/s00153-005-0282-2" @default.
- W2055138800 hasPublicationYear "2005" @default.
- W2055138800 type Work @default.
- W2055138800 sameAs 2055138800 @default.
- W2055138800 citedByCount "24" @default.
- W2055138800 countsByYear W20551388002012 @default.
- W2055138800 countsByYear W20551388002013 @default.
- W2055138800 countsByYear W20551388002016 @default.
- W2055138800 countsByYear W20551388002017 @default.
- W2055138800 countsByYear W20551388002019 @default.
- W2055138800 countsByYear W20551388002020 @default.
- W2055138800 crossrefType "journal-article" @default.
- W2055138800 hasAuthorship W2055138800A5030206786 @default.
- W2055138800 hasAuthorship W2055138800A5034555443 @default.
- W2055138800 hasConcept C10138342 @default.
- W2055138800 hasConcept C105605280 @default.
- W2055138800 hasConcept C108710211 @default.
- W2055138800 hasConcept C11413529 @default.
- W2055138800 hasConcept C118615104 @default.
- W2055138800 hasConcept C134306372 @default.
- W2055138800 hasConcept C136119220 @default.
- W2055138800 hasConcept C162324750 @default.
- W2055138800 hasConcept C182306322 @default.
- W2055138800 hasConcept C199343813 @default.
- W2055138800 hasConcept C202444582 @default.
- W2055138800 hasConcept C206880738 @default.
- W2055138800 hasConcept C2524010 @default.
- W2055138800 hasConcept C2777686260 @default.
- W2055138800 hasConcept C33923547 @default.
- W2055138800 hasConcept C34388435 @default.
- W2055138800 hasConcept C69562738 @default.
- W2055138800 hasConcept C71924100 @default.
- W2055138800 hasConcept C90119067 @default.
- W2055138800 hasConceptScore W2055138800C10138342 @default.
- W2055138800 hasConceptScore W2055138800C105605280 @default.
- W2055138800 hasConceptScore W2055138800C108710211 @default.
- W2055138800 hasConceptScore W2055138800C11413529 @default.
- W2055138800 hasConceptScore W2055138800C118615104 @default.
- W2055138800 hasConceptScore W2055138800C134306372 @default.
- W2055138800 hasConceptScore W2055138800C136119220 @default.
- W2055138800 hasConceptScore W2055138800C162324750 @default.
- W2055138800 hasConceptScore W2055138800C182306322 @default.
- W2055138800 hasConceptScore W2055138800C199343813 @default.
- W2055138800 hasConceptScore W2055138800C202444582 @default.
- W2055138800 hasConceptScore W2055138800C206880738 @default.
- W2055138800 hasConceptScore W2055138800C2524010 @default.
- W2055138800 hasConceptScore W2055138800C2777686260 @default.
- W2055138800 hasConceptScore W2055138800C33923547 @default.
- W2055138800 hasConceptScore W2055138800C34388435 @default.
- W2055138800 hasConceptScore W2055138800C69562738 @default.
- W2055138800 hasConceptScore W2055138800C71924100 @default.
- W2055138800 hasConceptScore W2055138800C90119067 @default.
- W2055138800 hasIssue "6" @default.
- W2055138800 hasLocation W20551388001 @default.
- W2055138800 hasOpenAccess W2055138800 @default.
- W2055138800 hasPrimaryLocation W20551388001 @default.
- W2055138800 hasRelatedWork W104007018 @default.
- W2055138800 hasRelatedWork W1534554596 @default.
- W2055138800 hasRelatedWork W1548491836 @default.
- W2055138800 hasRelatedWork W1577976412 @default.
- W2055138800 hasRelatedWork W1676672341 @default.
- W2055138800 hasRelatedWork W2020589045 @default.
- W2055138800 hasRelatedWork W2055138800 @default.
- W2055138800 hasRelatedWork W2102098509 @default.
- W2055138800 hasRelatedWork W2117766234 @default.
- W2055138800 hasRelatedWork W2531336559 @default.
- W2055138800 hasVolume "44" @default.
- W2055138800 isParatext "false" @default.
- W2055138800 isRetracted "false" @default.