Matches in SemOpenAlex for { <https://semopenalex.org/work/W4231362020> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W4231362020 endingPage "164" @default.
- W4231362020 startingPage "148" @default.
- W4231362020 created "2022-05-12" @default.
- W4231362020 creator A5052347289 @default.
- W4231362020 date "1994-03-01" @default.
- W4231362020 modified "2023-09-27" @default.
- W4231362020 title "Proof versus formalization" @default.
- W4231362020 cites W2007572995 @default.
- W4231362020 cites W2056816708 @default.
- W4231362020 cites W2104734478 @default.
- W4231362020 cites W2172307690 @default.
- W4231362020 doi "https://doi.org/10.1007/bf01935023" @default.
- W4231362020 hasPublicationYear "1994" @default.
- W4231362020 type Work @default.
- W4231362020 citedByCount "4" @default.
- W4231362020 countsByYear W42313620202023 @default.
- W4231362020 crossrefType "journal-article" @default.
- W4231362020 hasAuthorship W4231362020A5052347289 @default.
- W4231362020 hasConcept C105605280 @default.
- W4231362020 hasConcept C108710211 @default.
- W4231362020 hasConcept C11413529 @default.
- W4231362020 hasConcept C129844170 @default.
- W4231362020 hasConcept C136119220 @default.
- W4231362020 hasConcept C15744967 @default.
- W4231362020 hasConcept C169903001 @default.
- W4231362020 hasConcept C185592680 @default.
- W4231362020 hasConcept C199343813 @default.
- W4231362020 hasConcept C199360897 @default.
- W4231362020 hasConcept C202444582 @default.
- W4231362020 hasConcept C203265346 @default.
- W4231362020 hasConcept C206743973 @default.
- W4231362020 hasConcept C2524010 @default.
- W4231362020 hasConcept C2777686260 @default.
- W4231362020 hasConcept C2985583900 @default.
- W4231362020 hasConcept C33923547 @default.
- W4231362020 hasConcept C41008148 @default.
- W4231362020 hasConcept C55493867 @default.
- W4231362020 hasConcept C71924100 @default.
- W4231362020 hasConcept C77805123 @default.
- W4231362020 hasConcept C94461902 @default.
- W4231362020 hasConcept C98184364 @default.
- W4231362020 hasConceptScore W4231362020C105605280 @default.
- W4231362020 hasConceptScore W4231362020C108710211 @default.
- W4231362020 hasConceptScore W4231362020C11413529 @default.
- W4231362020 hasConceptScore W4231362020C129844170 @default.
- W4231362020 hasConceptScore W4231362020C136119220 @default.
- W4231362020 hasConceptScore W4231362020C15744967 @default.
- W4231362020 hasConceptScore W4231362020C169903001 @default.
- W4231362020 hasConceptScore W4231362020C185592680 @default.
- W4231362020 hasConceptScore W4231362020C199343813 @default.
- W4231362020 hasConceptScore W4231362020C199360897 @default.
- W4231362020 hasConceptScore W4231362020C202444582 @default.
- W4231362020 hasConceptScore W4231362020C203265346 @default.
- W4231362020 hasConceptScore W4231362020C206743973 @default.
- W4231362020 hasConceptScore W4231362020C2524010 @default.
- W4231362020 hasConceptScore W4231362020C2777686260 @default.
- W4231362020 hasConceptScore W4231362020C2985583900 @default.
- W4231362020 hasConceptScore W4231362020C33923547 @default.
- W4231362020 hasConceptScore W4231362020C41008148 @default.
- W4231362020 hasConceptScore W4231362020C55493867 @default.
- W4231362020 hasConceptScore W4231362020C71924100 @default.
- W4231362020 hasConceptScore W4231362020C77805123 @default.
- W4231362020 hasConceptScore W4231362020C94461902 @default.
- W4231362020 hasConceptScore W4231362020C98184364 @default.
- W4231362020 hasIssue "1" @default.
- W4231362020 hasLocation W42313620201 @default.
- W4231362020 hasOpenAccess W4231362020 @default.
- W4231362020 hasPrimaryLocation W42313620201 @default.
- W4231362020 hasRelatedWork W1496026483 @default.
- W4231362020 hasRelatedWork W1854197585 @default.
- W4231362020 hasRelatedWork W187835144 @default.
- W4231362020 hasRelatedWork W2084093324 @default.
- W4231362020 hasRelatedWork W2123860315 @default.
- W4231362020 hasRelatedWork W2186044446 @default.
- W4231362020 hasRelatedWork W3038211518 @default.
- W4231362020 hasRelatedWork W3044960660 @default.
- W4231362020 hasRelatedWork W4231362020 @default.
- W4231362020 hasRelatedWork W2491370528 @default.
- W4231362020 hasVolume "34" @default.
- W4231362020 isParatext "false" @default.
- W4231362020 isRetracted "false" @default.
- W4231362020 workType "article" @default.