FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1703867046> ?p ?o ?g. }

• W1703867046 endingPage "119" @default.
• W1703867046 startingPage "114" @default.
• W1703867046 abstract "Arrow's Impossibility Theorem is one of the landmark results in social choice theory. Over the years since the theorem was proved in 1950, quite a few alternative proofs have been put forward. In this paper, we propose yet another alternative proof of the theorem. The basic idea is to use induction to reduce the theorem to the base case with 3 alternatives and 2 agents and then use computers to verify the base case. This turns out to be an effective approach for proving other impossibility theorems such as Sen's and Muller-Satterthwaite's theorems as well. Furthermore, we believe this new proof opens an exciting prospect of using computers to discover similar impossibility or even possibility results." @default.
• W1703867046 created "2016-06-24" @default.
• W1703867046 creator A5013558969 @default.
• W1703867046 creator A5089419141 @default.
• W1703867046 date "2008-07-13" @default.
• W1703867046 modified "2023-09-26" @default.
• W1703867046 title "Computer-aided proofs of arrow's and other impossibility theorems" @default.
• W1703867046 cites W148708724 @default.
• W1703867046 cites W1519185989 @default.
• W1703867046 cites W1537435730 @default.
• W1703867046 cites W1545520695 @default.
• W1703867046 cites W1993313925 @default.
• W1703867046 cites W2015111306 @default.
• W1703867046 cites W2028999336 @default.
• W1703867046 cites W2038809129 @default.
• W1703867046 cites W2043278166 @default.
• W1703867046 cites W2043715088 @default.
• W1703867046 cites W2066849158 @default.
• W1703867046 cites W2122410182 @default.
• W1703867046 cites W2129678216 @default.
• W1703867046 cites W2142785340 @default.
• W1703867046 cites W2182586952 @default.
• W1703867046 cites W30680763 @default.
• W1703867046 cites W3123461587 @default.
• W1703867046 cites W3125493437 @default.
• W1703867046 cites W774706792 @default.
• W1703867046 hasPublicationYear "2008" @default.
• W1703867046 type Work @default.
• W1703867046 sameAs 1703867046 @default.
• W1703867046 citedByCount "3" @default.
• W1703867046 crossrefType "proceedings-article" @default.
• W1703867046 hasAuthorship W1703867046A5013558969 @default.
• W1703867046 hasAuthorship W1703867046A5089419141 @default.
• W1703867046 hasConcept C108710211 @default.
• W1703867046 hasConcept C118615104 @default.
• W1703867046 hasConcept C134306372 @default.
• W1703867046 hasConcept C142696051 @default.
• W1703867046 hasConcept C144237770 @default.
• W1703867046 hasConcept C171636804 @default.
• W1703867046 hasConcept C17566778 @default.
• W1703867046 hasConcept C17744445 @default.
• W1703867046 hasConcept C189352744 @default.
• W1703867046 hasConcept C194886279 @default.
• W1703867046 hasConcept C199343813 @default.
• W1703867046 hasConcept C199360897 @default.
• W1703867046 hasConcept C199539241 @default.
• W1703867046 hasConcept C2524010 @default.
• W1703867046 hasConcept C2776261394 @default.
• W1703867046 hasConcept C2777686260 @default.
• W1703867046 hasConcept C2780339515 @default.
• W1703867046 hasConcept C33923547 @default.
• W1703867046 hasConcept C41008148 @default.
• W1703867046 hasConcept C42058472 @default.
• W1703867046 hasConcept C45962547 @default.
• W1703867046 hasConcept C71924100 @default.
• W1703867046 hasConceptScore W1703867046C108710211 @default.
• W1703867046 hasConceptScore W1703867046C118615104 @default.
• W1703867046 hasConceptScore W1703867046C134306372 @default.
• W1703867046 hasConceptScore W1703867046C142696051 @default.
• W1703867046 hasConceptScore W1703867046C144237770 @default.
• W1703867046 hasConceptScore W1703867046C171636804 @default.
• W1703867046 hasConceptScore W1703867046C17566778 @default.
• W1703867046 hasConceptScore W1703867046C17744445 @default.
• W1703867046 hasConceptScore W1703867046C189352744 @default.
• W1703867046 hasConceptScore W1703867046C194886279 @default.
• W1703867046 hasConceptScore W1703867046C199343813 @default.
• W1703867046 hasConceptScore W1703867046C199360897 @default.
• W1703867046 hasConceptScore W1703867046C199539241 @default.
• W1703867046 hasConceptScore W1703867046C2524010 @default.
• W1703867046 hasConceptScore W1703867046C2776261394 @default.
• W1703867046 hasConceptScore W1703867046C2777686260 @default.
• W1703867046 hasConceptScore W1703867046C2780339515 @default.
• W1703867046 hasConceptScore W1703867046C33923547 @default.
• W1703867046 hasConceptScore W1703867046C41008148 @default.
• W1703867046 hasConceptScore W1703867046C42058472 @default.
• W1703867046 hasConceptScore W1703867046C45962547 @default.
• W1703867046 hasConceptScore W1703867046C71924100 @default.
• W1703867046 hasLocation W17038670461 @default.
• W1703867046 hasOpenAccess W1703867046 @default.
• W1703867046 hasPrimaryLocation W17038670461 @default.
• W1703867046 hasRelatedWork W137988827 @default.
• W1703867046 hasRelatedWork W1496894182 @default.
• W1703867046 hasRelatedWork W1525483008 @default.
• W1703867046 hasRelatedWork W1536458999 @default.
• W1703867046 hasRelatedWork W1575672296 @default.
• W1703867046 hasRelatedWork W1584539716 @default.
• W1703867046 hasRelatedWork W184402934 @default.
• W1703867046 hasRelatedWork W1946255743 @default.
• W1703867046 hasRelatedWork W1996158986 @default.
• W1703867046 hasRelatedWork W201022009 @default.
• W1703867046 hasRelatedWork W2024311864 @default.
• W1703867046 hasRelatedWork W2073911647 @default.
• W1703867046 hasRelatedWork W2182510607 @default.
• W1703867046 hasRelatedWork W2949079341 @default.
• W1703867046 hasRelatedWork W2963106249 @default.
• W1703867046 hasRelatedWork W3046630346 @default.
• W1703867046 hasRelatedWork W68097348 @default.
• W1703867046 hasRelatedWork W71070679 @default.

• next