Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024450183> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2024450183 endingPage "29" @default.
- W2024450183 startingPage "16" @default.
- W2024450183 abstract "We define propositional quantum Frege proof systems and compare them with classical Frege proof systems." @default.
- W2024450183 created "2016-06-24" @default.
- W2024450183 creator A5064016105 @default.
- W2024450183 date "2009-01-01" @default.
- W2024450183 modified "2023-09-29" @default.
- W2024450183 title "Quantum deduction rules" @default.
- W2024450183 cites W1988083342 @default.
- W2024450183 cites W1999069928 @default.
- W2024450183 cites W2001816903 @default.
- W2024450183 cites W2005170092 @default.
- W2024450183 cites W2010055185 @default.
- W2024450183 cites W2065276051 @default.
- W2024450183 cites W2068363706 @default.
- W2024450183 cites W3111297213 @default.
- W2024450183 cites W4248733413 @default.
- W2024450183 doi "https://doi.org/10.1016/j.apal.2008.09.017" @default.
- W2024450183 hasPublicationYear "2009" @default.
- W2024450183 type Work @default.
- W2024450183 sameAs 2024450183 @default.
- W2024450183 citedByCount "36" @default.
- W2024450183 countsByYear W20244501832012 @default.
- W2024450183 countsByYear W20244501832013 @default.
- W2024450183 countsByYear W20244501832016 @default.
- W2024450183 countsByYear W20244501832019 @default.
- W2024450183 crossrefType "journal-article" @default.
- W2024450183 hasAuthorship W2024450183A5064016105 @default.
- W2024450183 hasBestOaLocation W20244501831 @default.
- W2024450183 hasConcept C108710211 @default.
- W2024450183 hasConcept C199343813 @default.
- W2024450183 hasConcept C2524010 @default.
- W2024450183 hasConcept C2777686260 @default.
- W2024450183 hasConcept C33923547 @default.
- W2024450183 hasConcept C41008148 @default.
- W2024450183 hasConcept C65880906 @default.
- W2024450183 hasConcept C71924100 @default.
- W2024450183 hasConceptScore W2024450183C108710211 @default.
- W2024450183 hasConceptScore W2024450183C199343813 @default.
- W2024450183 hasConceptScore W2024450183C2524010 @default.
- W2024450183 hasConceptScore W2024450183C2777686260 @default.
- W2024450183 hasConceptScore W2024450183C33923547 @default.
- W2024450183 hasConceptScore W2024450183C41008148 @default.
- W2024450183 hasConceptScore W2024450183C65880906 @default.
- W2024450183 hasConceptScore W2024450183C71924100 @default.
- W2024450183 hasFunder F4320321005 @default.
- W2024450183 hasIssue "1" @default.
- W2024450183 hasLocation W20244501831 @default.
- W2024450183 hasOpenAccess W2024450183 @default.
- W2024450183 hasPrimaryLocation W20244501831 @default.
- W2024450183 hasRelatedWork W1571143587 @default.
- W2024450183 hasRelatedWork W1574493518 @default.
- W2024450183 hasRelatedWork W1987945064 @default.
- W2024450183 hasRelatedWork W2009791150 @default.
- W2024450183 hasRelatedWork W2137780954 @default.
- W2024450183 hasRelatedWork W2351433375 @default.
- W2024450183 hasRelatedWork W3090765541 @default.
- W2024450183 hasRelatedWork W4230623537 @default.
- W2024450183 hasRelatedWork W4251049234 @default.
- W2024450183 hasRelatedWork W4289719533 @default.
- W2024450183 hasVolume "157" @default.
- W2024450183 isParatext "false" @default.
- W2024450183 isRetracted "false" @default.
- W2024450183 magId "2024450183" @default.
- W2024450183 workType "article" @default.