The cut-elimination theorem (or Gentzen's Hauptsatz) is the central result establishing the significance of the sequent calculus. It was originally proved...
8 KB (1,051 words) - 20:08, 2 October 2023
Propagator (redirect from Cut propagator)
Jordan, Pascual (1928). "Zur Quantenelektrodynamik ladungsfreier Felder". Zeitschrift für Physik. 47 (3–4): 151–173. Bibcode:1928ZPhy...47..151J. doi:10.1007/BF02055793...
35 KB (6,207 words) - 07:25, 11 August 2024
Judgement of Solomon (redirect from Cut the baby in half)
who both claimed to be the mother of a child. Solomon ordered the baby be cut in half, with each woman to receive one half. The first woman accepted the...
49 KB (6,687 words) - 15:06, 31 July 2024
"Bretonische Elemente in der Arthursage des Gottfried von Monmouth". Zeitschrift für französische Sprache und Literatur. 12: 236. JSTOR 40612250. Le Roux...
33 KB (3,924 words) - 19:41, 30 July 2024
217. Carter, Michael (2001). "Artemidorus and the Arbelas Gladiator". Zeitschrift für Papyrologie und Epigraphik. 134: 109–115. JSTOR 20190801. (subscription...
3 KB (271 words) - 21:27, 19 December 2022
PMID 23209995. O'Rourke, Paul F. (1 February 2007). "The 'm't-Woman". Zeitschrift für Ägyptische Sprache und Altertumskunde. 134 (2): 166–172. doi:10.1524/zaes...
180 KB (19,889 words) - 14:33, 20 July 2024
"Untersuchungen über das logische Schließen. I, Mathematische Zeitschrift". Mathematische Zeitschrift (in German). 39 (1): 176–210. doi:10.1007/BF01201353. ISSN 0025-5874...
4 KB (583 words) - 10:34, 28 April 2024
türkischen Staatskalender für Syrien auf das Jahr 1288 der Flucht (1871)". Zeitschrift des Deutschen Palästina-Vereins. 6: 102–149. Hütteroth, Wolf-Dieter;...
82 KB (7,808 words) - 20:16, 3 August 2024
Milisenda, C C (2005). "Rubine mit bleihaltigen Glasern gefullt". Zeitschrift der Deutschen Gemmologischen Gesellschaft (in German). 54 (1). Deutschen...
37 KB (3,857 words) - 11:43, 6 August 2024
Ichneumonidae, Rhyssinae) in America, north of Mexico". Deutsche Entomologische Zeitschrift. 63 (1): 137–148. doi:10.3897/dez.63.7619. ISSN 1860-1324. Peter Haggard...
4 KB (462 words) - 03:01, 3 November 2023