Search results
There is a page named "User:Hugo Herbelin" on Wikipedia
- may have no personal affiliation with any site other than Wikipedia. The original page is located at https://en.wikipedia.org/wiki/User:Hugo_Herbelin....12 bytes (0 words) - 19:22, 23 December 2007
- Constructive Proof of Dependent Choice, Compatible with Classical Logic (Hugo Herbelin 2012), formalises dPA^omega. Classical realizability and side-effects...674 bytes (68 words) - 16:30, 19 March 2019
- Boolean algebra has two meanings: 1. A special kind of algebraic structure whose most common models are the two-value domain {0,1}, and the fields of sets...6 KB (756 words) - 23:29, 25 March 2011
- Boolean algebra is a mathematical term used in different contexts. a Boolean algebra is an algebraic structure that abstractly characterizes the structure...1 KB (99 words) - 09:03, 7 July 2012
- Boolean algebra (mass noun) is about the equational properties of a large class of structures, called Boolean algebras (count noun), whose most prominent...9 KB (993 words) - 14:41, 20 March 2011
- Boolean algebra, also referred to as Boolean logic, might refer to the calculus made of truth values and operations on them, with applications to computer...1,013 bytes (110 words) - 09:03, 7 July 2012
- Yves Bertot Marc Bezem Thierry Coquand Eric Finster Daniel Grayson Hugo Herbelin André Joyal Dan Licata Peter Lumsdaine Assia Mahboubi Per Martin-Löf...34 KB (4,149 words) - 22:38, 16 December 2015
- Preuss Arthur Whealy Guido Nardini Leonard Taplin Dennis Latimer André Herbelin George Hackwill Joseph M. X. de Sévin Thomas Percy Middleton Spencer B...46 KB (4,810 words) - 13:00, 2 October 2022
- User:Imersion started at 18:46, 28 December 2007 Markov's principle by User:Hugo Herbelin started at 12:54, 28 December 2007 1990s (sociology) by User:ShakataGaNai...95 KB (14,977 words) - 17:27, 25 September 2009
- User:Thewheelbarrow started at 13:13, 28 December 2007 Markov's principle by User:Hugo Herbelin started at 12:54, 28 December 2007 List of people who died in their...94 KB (14,629 words) - 14:45, 10 April 2019
- Bernstein 4477 Kelley 4478 Blanco 4479 Charlieparker 4480 Nikitibotania 4481 Herbelin 4482 Frèrebasile 4483 Petöfi 4484 Sif 4485 Radonezhskij 4487 Pocahontas...112 KB (10,144 words) - 11:08, 8 September 2018
- Höcker by Drmies (talk · contribs) started at 15:39, 6 September 2010 André Herbelin by Georgejdorner (talk · contribs) started at 05:51, 6 September 2010 Wait...94 KB (16,116 words) - 19:03, 13 October 2011
- 4479 Charlieparker 448 Natalie 4480 Nikitibotania 448051 Pepisensi 4481 Herbelin 4482 Frerebasile 4482 Frèrebasile 44821 Amadora 4483 Petofi 4483 Petöfi...1.03 MB (117,360 words) - 13:09, 19 December 2020
- User:Wbfergus started at 16:14, 26 December 2007 Product type by User:Hugo Herbelin started at 16:03, 26 December 2007 Newark Priory by User:Buckygooner...113 KB (16,919 words) - 18:42, 25 September 2009
- User:MRSC started at 12:58, 28 December 2007 Markov's principle by User:Hugo Herbelin started at 12:54, 28 December 2007 Goatsnake/Burning Witch by User:BeastmasterGeneral...125 KB (19,380 words) - 18:42, 25 September 2009
- experiment Hughgrant Hughmaclean Huglin index Hugo (crater) Hugo Eckener Hugo Gernsback Hugo Gyldén Hugo de Garis Hugo von Seeliger Hugoclaus Hugowolf Huhunglick...1.11 MB (132,036 words) - 19:02, 9 February 2022
- Bernstein 4477 Kelley 4478 Blanco 4479 Charlieparker 4480 Nikitibotania 4481 Herbelin 4482 Frèrebasile 4483 Petöfi 4484 Sif 4485 Radonezhskij 4486 Mithra 4488...370 KB (42,255 words) - 15:51, 12 March 2023
- Boba by Fram (talk · contribs) started at 09:05, 6 September 2010 André Herbelin by Georgejdorner (talk · contribs) started at 05:51, 6 September 2010 Rack...94 KB (16,039 words) - 15:58, 13 October 2011
- Heppenheim 103 Hera 5143 Heracles 5204 Herakleitos 3696 Herald 880 Herba 4481 Herbelin 23774 Herbelliott 1363 Herberta 7378 Herbertpalme 9931 Herbhauptman 11754...1.92 MB (41,078 words) - 13:00, 1 November 2016
- Heppenheim 103 Hera 5143 Heracles 5204 Herakleitos 3696 Herald 880 Herba 4481 Herbelin 23774 Herbelliott 1363 Herberta 7378 Herbertpalme 9931 Herbhauptman 11754...402 KB (43,269 words) - 20:11, 6 September 2016