Matches in SemOpenAlex for { <https://semopenalex.org/work/W2068729756> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2068729756 endingPage "123" @default.
- W2068729756 startingPage "119" @default.
- W2068729756 abstract "Summary In this article we formalize the Bertrand’s Ballot Theorem based on [17]. Suppose that in an election we have two candidates: A that receives n votes and B that receives k votes, and additionally n ≥ k . Then this theorem states that the probability of the situation where A maintains more votes than B throughout the counting of the ballots is equal to ( n − k )/( n + k ). This theorem is item #30 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/." @default.
- W2068729756 created "2016-06-24" @default.
- W2068729756 creator A5054103364 @default.
- W2068729756 date "2014-06-30" @default.
- W2068729756 modified "2023-10-12" @default.
- W2068729756 title "Bertrand’s Ballot Theorem" @default.
- W2068729756 cites W192809544 @default.
- W2068729756 cites W2098464720 @default.
- W2068729756 cites W2104238184 @default.
- W2068729756 cites W2105559527 @default.
- W2068729756 cites W2119096135 @default.
- W2068729756 cites W2134788705 @default.
- W2068729756 cites W2140479677 @default.
- W2068729756 cites W2150348213 @default.
- W2068729756 cites W2163641194 @default.
- W2068729756 cites W22141270 @default.
- W2068729756 cites W2296232473 @default.
- W2068729756 cites W2304533832 @default.
- W2068729756 cites W2492063382 @default.
- W2068729756 cites W2506139792 @default.
- W2068729756 cites W3143066732 @default.
- W2068729756 cites W141803834 @default.
- W2068729756 cites W180239714 @default.
- W2068729756 cites W260340778 @default.
- W2068729756 doi "https://doi.org/10.2478/forma-2014-0014" @default.
- W2068729756 hasPublicationYear "2014" @default.
- W2068729756 type Work @default.
- W2068729756 sameAs 2068729756 @default.
- W2068729756 citedByCount "0" @default.
- W2068729756 crossrefType "journal-article" @default.
- W2068729756 hasAuthorship W2068729756A5054103364 @default.
- W2068729756 hasBestOaLocation W20687297561 @default.
- W2068729756 hasConcept C114614502 @default.
- W2068729756 hasConcept C118615104 @default.
- W2068729756 hasConcept C144237770 @default.
- W2068729756 hasConcept C17744445 @default.
- W2068729756 hasConcept C199343813 @default.
- W2068729756 hasConcept C199539241 @default.
- W2068729756 hasConcept C2777094542 @default.
- W2068729756 hasConcept C2777686260 @default.
- W2068729756 hasConcept C33923547 @default.
- W2068729756 hasConcept C520049643 @default.
- W2068729756 hasConcept C71924100 @default.
- W2068729756 hasConcept C94625758 @default.
- W2068729756 hasConceptScore W2068729756C114614502 @default.
- W2068729756 hasConceptScore W2068729756C118615104 @default.
- W2068729756 hasConceptScore W2068729756C144237770 @default.
- W2068729756 hasConceptScore W2068729756C17744445 @default.
- W2068729756 hasConceptScore W2068729756C199343813 @default.
- W2068729756 hasConceptScore W2068729756C199539241 @default.
- W2068729756 hasConceptScore W2068729756C2777094542 @default.
- W2068729756 hasConceptScore W2068729756C2777686260 @default.
- W2068729756 hasConceptScore W2068729756C33923547 @default.
- W2068729756 hasConceptScore W2068729756C520049643 @default.
- W2068729756 hasConceptScore W2068729756C71924100 @default.
- W2068729756 hasConceptScore W2068729756C94625758 @default.
- W2068729756 hasIssue "2" @default.
- W2068729756 hasLocation W20687297561 @default.
- W2068729756 hasLocation W20687297562 @default.
- W2068729756 hasOpenAccess W2068729756 @default.
- W2068729756 hasPrimaryLocation W20687297561 @default.
- W2068729756 hasRelatedWork W1556067250 @default.
- W2068729756 hasRelatedWork W1978042415 @default.
- W2068729756 hasRelatedWork W2024842777 @default.
- W2068729756 hasRelatedWork W2287483166 @default.
- W2068729756 hasRelatedWork W2397095502 @default.
- W2068729756 hasRelatedWork W2905769398 @default.
- W2068729756 hasRelatedWork W3086542228 @default.
- W2068729756 hasRelatedWork W3100031014 @default.
- W2068729756 hasRelatedWork W3121939314 @default.
- W2068729756 hasRelatedWork W2030949877 @default.
- W2068729756 hasVolume "22" @default.
- W2068729756 isParatext "false" @default.
- W2068729756 isRetracted "false" @default.
- W2068729756 magId "2068729756" @default.
- W2068729756 workType "article" @default.