Matches in SemOpenAlex for { <https://semopenalex.org/work/W1964468701> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1964468701 endingPage "356" @default.
- W1964468701 startingPage "340" @default.
- W1964468701 abstract "We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs." @default.
- W1964468701 created "2016-06-24" @default.
- W1964468701 creator A5010357513 @default.
- W1964468701 date "2014-01-01" @default.
- W1964468701 modified "2023-09-26" @default.
- W1964468701 title "Proof internalization in generalized Frege systems for classical logic" @default.
- W1964468701 cites W1966647830 @default.
- W1964468701 cites W2003243270 @default.
- W1964468701 cites W2043468053 @default.
- W1964468701 cites W2093281783 @default.
- W1964468701 cites W86681704 @default.
- W1964468701 doi "https://doi.org/10.1016/j.apal.2013.07.017" @default.
- W1964468701 hasPublicationYear "2014" @default.
- W1964468701 type Work @default.
- W1964468701 sameAs 1964468701 @default.
- W1964468701 citedByCount "1" @default.
- W1964468701 countsByYear W19644687012019 @default.
- W1964468701 crossrefType "journal-article" @default.
- W1964468701 hasAuthorship W1964468701A5010357513 @default.
- W1964468701 hasBestOaLocation W19644687011 @default.
- W1964468701 hasConcept C102993220 @default.
- W1964468701 hasConcept C108710211 @default.
- W1964468701 hasConcept C118615104 @default.
- W1964468701 hasConcept C121375916 @default.
- W1964468701 hasConcept C139770010 @default.
- W1964468701 hasConcept C1491633281 @default.
- W1964468701 hasConcept C154945302 @default.
- W1964468701 hasConcept C178421362 @default.
- W1964468701 hasConcept C195653647 @default.
- W1964468701 hasConcept C199343813 @default.
- W1964468701 hasConcept C199360897 @default.
- W1964468701 hasConcept C2318724 @default.
- W1964468701 hasConcept C2524010 @default.
- W1964468701 hasConcept C2777686260 @default.
- W1964468701 hasConcept C28077239 @default.
- W1964468701 hasConcept C32241873 @default.
- W1964468701 hasConcept C33203268 @default.
- W1964468701 hasConcept C33923547 @default.
- W1964468701 hasConcept C41008148 @default.
- W1964468701 hasConcept C54355233 @default.
- W1964468701 hasConcept C71924100 @default.
- W1964468701 hasConcept C86803240 @default.
- W1964468701 hasConceptScore W1964468701C102993220 @default.
- W1964468701 hasConceptScore W1964468701C108710211 @default.
- W1964468701 hasConceptScore W1964468701C118615104 @default.
- W1964468701 hasConceptScore W1964468701C121375916 @default.
- W1964468701 hasConceptScore W1964468701C139770010 @default.
- W1964468701 hasConceptScore W1964468701C1491633281 @default.
- W1964468701 hasConceptScore W1964468701C154945302 @default.
- W1964468701 hasConceptScore W1964468701C178421362 @default.
- W1964468701 hasConceptScore W1964468701C195653647 @default.
- W1964468701 hasConceptScore W1964468701C199343813 @default.
- W1964468701 hasConceptScore W1964468701C199360897 @default.
- W1964468701 hasConceptScore W1964468701C2318724 @default.
- W1964468701 hasConceptScore W1964468701C2524010 @default.
- W1964468701 hasConceptScore W1964468701C2777686260 @default.
- W1964468701 hasConceptScore W1964468701C28077239 @default.
- W1964468701 hasConceptScore W1964468701C32241873 @default.
- W1964468701 hasConceptScore W1964468701C33203268 @default.
- W1964468701 hasConceptScore W1964468701C33923547 @default.
- W1964468701 hasConceptScore W1964468701C41008148 @default.
- W1964468701 hasConceptScore W1964468701C54355233 @default.
- W1964468701 hasConceptScore W1964468701C71924100 @default.
- W1964468701 hasConceptScore W1964468701C86803240 @default.
- W1964468701 hasIssue "1" @default.
- W1964468701 hasLocation W19644687011 @default.
- W1964468701 hasLocation W19644687012 @default.
- W1964468701 hasOpenAccess W1964468701 @default.
- W1964468701 hasPrimaryLocation W19644687011 @default.
- W1964468701 hasRelatedWork W1513155814 @default.
- W1964468701 hasRelatedWork W1999703197 @default.
- W1964468701 hasRelatedWork W2085305950 @default.
- W1964468701 hasRelatedWork W2139455935 @default.
- W1964468701 hasRelatedWork W2147302656 @default.
- W1964468701 hasRelatedWork W2249029578 @default.
- W1964468701 hasRelatedWork W31250260 @default.
- W1964468701 hasRelatedWork W4235732401 @default.
- W1964468701 hasRelatedWork W4312954372 @default.
- W1964468701 hasRelatedWork W2183851921 @default.
- W1964468701 hasVolume "165" @default.
- W1964468701 isParatext "false" @default.
- W1964468701 isRetracted "false" @default.
- W1964468701 magId "1964468701" @default.
- W1964468701 workType "article" @default.