• List of minor planets: 4001–5000 (redirect from 4481 Herbelin)
    August 24, 1985 Nauchnij N. S. Chernykh NYS · 9.3 km MPC · JPL 4481 Herbelin 1985 RR Herbelin September 14, 1985 Anderson Mesa E. Bowell  · 4.2 km MPC · JPL...
    234 KB (275 words) - 17:57, 30 November 2023
  • Edward L. G. Bowell
    4447 Kirov 7 November 1985 list 4476 Bernstein 19 February 1983 list 4481 Herbelin 14 September 1985 list (4489) 1988 AK 15 January 1988 list 4522 Britastra...
    38 KB (204 words) - 04:09, 29 January 2024
  • Meanings of minor planet names: 4001–5000 (redirect from Herbelin)
    Gardens, founded in 1812, on the Crimean peninsula MPC · 4480 4481 Herbelin 1985 RR Claude Herbelin (born 1931), Swiss electrotechnical engineer of Neuchâtel...
    173 KB (420 words) - 14:45, 22 May 2024
  • List of named minor planets: H
    Heppenheim 103 Hera 5143 Heracles 5204 Herakleitos 3696 Herald 880 Herba 4481 Herbelin 23774 Herbelliott 1363 Herberta 295471 Herbertnitsch 7378 Herbertpalme...
    45 KB (2,477 words) - 17:31, 3 December 2023
  • List of named minor planets: 4000–4999
    Bernstein 4477 Kelley 4478 Blanco 4479 Charlieparker 4480 Nikitibotania 4481 Herbelin 4482 Frèrebasile 4483 Petöfi 4484 Sif 4485 Radonezhskij 4486 Mithra...
    38 KB (2,159 words) - 22:01, 26 January 2024
  • Ordinal analysis
    significantly weaker). Type theory C P R C {\displaystyle {\mathsf {CPRC}}} is the Herbelin-Patey Calculus of Primitive Recursive Constructions. M L n {\displaystyle...
    47 KB (4,379 words) - 10:51, 7 June 2024