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) - 00:14, 17 February 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) - 20:21, 31 May 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) - 04:13, 23 May 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
"Comparing Hierarchies of Primitive Recursive Sequence Functions". Zeitschrift für mathematische Logik und Grundlagen der Mathematik. 28 (27–32): 431–445...
18 KB (2,100 words) - 17:55, 17 February 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
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) - 13:23, 14 July 2024
Biometrical Journal (redirect from Biometrical Journal. Biometrische Zeitschrift)
the journal in Akademie Verlag in 1959 under the title Biometrische Zeitschrift, as the scientific journal of the IBS' German Region, which had been...
7 KB (521 words) - 11:31, 11 June 2024
Milisenda, C C (2005). "Rubine mit bleihaltigen Glasern gefullt". Zeitschrift der Deutschen Gemmologischen Gesellschaft (in German). 54 (1). Deutschen...
36 KB (3,857 words) - 06:13, 2 July 2024