Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489285562> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1489285562 endingPage "6" @default.
- W1489285562 startingPage "1" @default.
- W1489285562 abstract "Given a first-order theory and a proof that it is consistent, can we design a proof-search method for this theory that fails in finite time when it attempts to prove the formula ⊥?" @default.
- W1489285562 created "2016-06-24" @default.
- W1489285562 creator A5073164575 @default.
- W1489285562 date "2005-01-01" @default.
- W1489285562 modified "2023-10-17" @default.
- W1489285562 title "What Do We Know When We Know That a Theory Is Consistent?" @default.
- W1489285562 cites W1505627668 @default.
- W1489285562 cites W1543368753 @default.
- W1489285562 cites W1562743487 @default.
- W1489285562 cites W1977882652 @default.
- W1489285562 cites W2023145007 @default.
- W1489285562 cites W2056016391 @default.
- W1489285562 cites W2090663022 @default.
- W1489285562 cites W4237061074 @default.
- W1489285562 doi "https://doi.org/10.1007/11532231_1" @default.
- W1489285562 hasPublicationYear "2005" @default.
- W1489285562 type Work @default.
- W1489285562 sameAs 1489285562 @default.
- W1489285562 citedByCount "0" @default.
- W1489285562 crossrefType "book-chapter" @default.
- W1489285562 hasAuthorship W1489285562A5073164575 @default.
- W1489285562 hasConcept C10138342 @default.
- W1489285562 hasConcept C108710211 @default.
- W1489285562 hasConcept C162324750 @default.
- W1489285562 hasConcept C182306322 @default.
- W1489285562 hasConcept C199343813 @default.
- W1489285562 hasConcept C206880738 @default.
- W1489285562 hasConcept C2318724 @default.
- W1489285562 hasConcept C2524010 @default.
- W1489285562 hasConcept C2777686260 @default.
- W1489285562 hasConcept C33923547 @default.
- W1489285562 hasConcept C41008148 @default.
- W1489285562 hasConcept C71924100 @default.
- W1489285562 hasConcept C80444323 @default.
- W1489285562 hasConceptScore W1489285562C10138342 @default.
- W1489285562 hasConceptScore W1489285562C108710211 @default.
- W1489285562 hasConceptScore W1489285562C162324750 @default.
- W1489285562 hasConceptScore W1489285562C182306322 @default.
- W1489285562 hasConceptScore W1489285562C199343813 @default.
- W1489285562 hasConceptScore W1489285562C206880738 @default.
- W1489285562 hasConceptScore W1489285562C2318724 @default.
- W1489285562 hasConceptScore W1489285562C2524010 @default.
- W1489285562 hasConceptScore W1489285562C2777686260 @default.
- W1489285562 hasConceptScore W1489285562C33923547 @default.
- W1489285562 hasConceptScore W1489285562C41008148 @default.
- W1489285562 hasConceptScore W1489285562C71924100 @default.
- W1489285562 hasConceptScore W1489285562C80444323 @default.
- W1489285562 hasLocation W14892855621 @default.
- W1489285562 hasOpenAccess W1489285562 @default.
- W1489285562 hasPrimaryLocation W14892855621 @default.
- W1489285562 hasRelatedWork W1482715091 @default.
- W1489285562 hasRelatedWork W1500286044 @default.
- W1489285562 hasRelatedWork W2311477397 @default.
- W1489285562 hasRelatedWork W2591349272 @default.
- W1489285562 hasRelatedWork W2962708962 @default.
- W1489285562 hasRelatedWork W2977767789 @default.
- W1489285562 hasRelatedWork W3157498506 @default.
- W1489285562 hasRelatedWork W3177831581 @default.
- W1489285562 hasRelatedWork W4287199394 @default.
- W1489285562 hasRelatedWork W600370818 @default.
- W1489285562 isParatext "false" @default.
- W1489285562 isRetracted "false" @default.
- W1489285562 magId "1489285562" @default.
- W1489285562 workType "book-chapter" @default.