Matches in SemOpenAlex for { <https://semopenalex.org/work/W2143444807> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2143444807 endingPage "220" @default.
- W2143444807 startingPage "193" @default.
- W2143444807 abstract "A small project in which I encoded a proof of Arrow’s theorem—probably the most famous results in the economics field of social choice theory—in the computer using the Mizar system is presented here. The details of this specific project, as well as the process of formalization (encoding proofs in the computer) in general are discussed." @default.
- W2143444807 created "2016-06-24" @default.
- W2143444807 creator A5034010131 @default.
- W2143444807 date "2009-02-01" @default.
- W2143444807 modified "2023-10-16" @default.
- W2143444807 title "Formalizing Arrow’s theorem" @default.
- W2143444807 cites W1500133066 @default.
- W2143444807 cites W1514489656 @default.
- W2143444807 cites W1551363727 @default.
- W2143444807 cites W1552921094 @default.
- W2143444807 cites W1854197585 @default.
- W2143444807 cites W1881760753 @default.
- W2143444807 cites W188775843 @default.
- W2143444807 cites W2017527449 @default.
- W2143444807 cites W2043278166 @default.
- W2143444807 cites W2084073060 @default.
- W2143444807 cites W2100550434 @default.
- W2143444807 cites W2129695855 @default.
- W2143444807 cites W4361738048 @default.
- W2143444807 doi "https://doi.org/10.1007/s12046-009-0005-1" @default.
- W2143444807 hasPublicationYear "2009" @default.
- W2143444807 type Work @default.
- W2143444807 sameAs 2143444807 @default.
- W2143444807 citedByCount "18" @default.
- W2143444807 countsByYear W21434448072012 @default.
- W2143444807 countsByYear W21434448072013 @default.
- W2143444807 countsByYear W21434448072014 @default.
- W2143444807 countsByYear W21434448072016 @default.
- W2143444807 countsByYear W21434448072018 @default.
- W2143444807 countsByYear W21434448072019 @default.
- W2143444807 crossrefType "journal-article" @default.
- W2143444807 hasAuthorship W2143444807A5034010131 @default.
- W2143444807 hasBestOaLocation W21434448072 @default.
- W2143444807 hasConcept C108710211 @default.
- W2143444807 hasConcept C125411270 @default.
- W2143444807 hasConcept C144237770 @default.
- W2143444807 hasConcept C154945302 @default.
- W2143444807 hasConcept C189352744 @default.
- W2143444807 hasConcept C199343813 @default.
- W2143444807 hasConcept C199360897 @default.
- W2143444807 hasConcept C202444582 @default.
- W2143444807 hasConcept C2524010 @default.
- W2143444807 hasConcept C2777686260 @default.
- W2143444807 hasConcept C2780339515 @default.
- W2143444807 hasConcept C33923547 @default.
- W2143444807 hasConcept C41008148 @default.
- W2143444807 hasConcept C71924100 @default.
- W2143444807 hasConcept C9652623 @default.
- W2143444807 hasConceptScore W2143444807C108710211 @default.
- W2143444807 hasConceptScore W2143444807C125411270 @default.
- W2143444807 hasConceptScore W2143444807C144237770 @default.
- W2143444807 hasConceptScore W2143444807C154945302 @default.
- W2143444807 hasConceptScore W2143444807C189352744 @default.
- W2143444807 hasConceptScore W2143444807C199343813 @default.
- W2143444807 hasConceptScore W2143444807C199360897 @default.
- W2143444807 hasConceptScore W2143444807C202444582 @default.
- W2143444807 hasConceptScore W2143444807C2524010 @default.
- W2143444807 hasConceptScore W2143444807C2777686260 @default.
- W2143444807 hasConceptScore W2143444807C2780339515 @default.
- W2143444807 hasConceptScore W2143444807C33923547 @default.
- W2143444807 hasConceptScore W2143444807C41008148 @default.
- W2143444807 hasConceptScore W2143444807C71924100 @default.
- W2143444807 hasConceptScore W2143444807C9652623 @default.
- W2143444807 hasIssue "1" @default.
- W2143444807 hasLocation W21434448071 @default.
- W2143444807 hasLocation W21434448072 @default.
- W2143444807 hasLocation W21434448073 @default.
- W2143444807 hasOpenAccess W2143444807 @default.
- W2143444807 hasPrimaryLocation W21434448071 @default.
- W2143444807 hasRelatedWork W1997006933 @default.
- W2143444807 hasRelatedWork W2024780235 @default.
- W2143444807 hasRelatedWork W2072852712 @default.
- W2143444807 hasRelatedWork W3123461587 @default.
- W2143444807 hasRelatedWork W3125498547 @default.
- W2143444807 hasRelatedWork W4206917680 @default.
- W2143444807 hasRelatedWork W4207002058 @default.
- W2143444807 hasRelatedWork W4210570948 @default.
- W2143444807 hasRelatedWork W4210580915 @default.
- W2143444807 hasRelatedWork W4230856600 @default.
- W2143444807 hasVolume "34" @default.
- W2143444807 isParatext "false" @default.
- W2143444807 isRetracted "false" @default.
- W2143444807 magId "2143444807" @default.
- W2143444807 workType "article" @default.