{"entities":{"Q1828982":{"pageid":1839724,"ns":120,"title":"Item:Q1828982","lastrevid":69042033,"modified":"2026-04-13T04:00:05Z","type":"item","id":"Q1828982","labels":{"en":{"language":"en","value":"Grundlagen der kombinatorischen Logik. II."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2562393"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1828982$7CF4EDC7-458B-4EC0-919D-1AEBAE748DC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82b87c734d3e5b58719d1685f0f62d381f6348ff","datavalue":{"value":{"text":"Grundlagen der kombinatorischen Logik. II.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1828982$E8606622-BD48-4605-ACF0-1DBE7211F579","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3c4dab2d6d5773d8ac2c36c96bf6d62b849754f","datavalue":{"value":"56.0048.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1828982$F08101B2-8E92-4195-B7E3-C86A074788D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b415b637facd9b1f6a01d4726ebf7af49c283263","datavalue":{"value":"10.2307/2370716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1828982$50CB9DAB-9426-42FE-9537-93AD6B588132","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1add02162fef49a66552187e850c2369475498a6","datavalue":{"value":{"entity-type":"item","numeric-id":559377,"id":"Q559377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1828982$7BAAEBBB-8386-4682-9D84-F3E3ECCCDC63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa7b89c2fb45b2a4b2542838fa1207277c05a6db","datavalue":{"value":{"time":"+1930-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1828982$BE734D11-7CAD-4C57-B0F8-648B6E9598C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"16378d4b39f9d982a68f42cef6135400c0527c74","datavalue":{"value":"Dieser zweite Teil der Arbeit f\u00e4ngt mit Kap. II, (C) an. Hier wird zuerst ein allgemeiner Reduktionsproze\u00df f\u00fcr Kombinationen, worin auch Kombinatoren auftreten, aufgestellt und erkl\u00e4rt, was es hei\u00dft, da\u00df ein Ausdruck \\(X\\) einer Folge \\(\\mathfrak X\\) von Variabeln entspricht; darauf wird die Definition von vier Arten von \u00c4quivalenz gegr\u00fcndet. Es folgen einige \u00c4quivalenzs\u00e4tze, die in dem Satz 13, \\S\\ 1, gipfeln, der aussagt, da\u00df ein Kombinator h\u00f6chstens eine Kombination von \\(x_1,\\ldots, x_n\\) darstellen kann. Danach werden die ``normalen'' Kombinationen und Folgen definiert. Verf. zeigt, wie die Folgen von lauter Variablen alg Produkte von ``Gruppierungen'', ``Umwandlungen'' und ``Permutationsfolgen'' darstellbar sind, und beweist dadurch den weiteren Satz, da\u00df jeder normalen Folge mindestens ein Kombinator einer besonderen Form entspricht (Satz 2, \\S\\ 5).  In (D) werden die ``regul\u00e4ren'' und die ''normalen'' Kombinatoren eingef\u00fchrt. Nach einigen S\u00e4tzen \u00fcber regul\u00e4re Kombinatoren verschiedener Formen und \u00fcber Umformungen von solchen gelingt es dem Verf. zum Schlusse zu zeigen, da\u00df jede normale Kombination von lauter Variablen durch einen normalen Kombinator dargestellt werden kann (Satz 7, \\S\\ 6).  In (E) werden S\u00e4tze bewiesen \u00fcber die ``eigentlichen'' Kombinatoren, d. h. solche, die Folgen von lauter Variablen entsprechen, und \u00fcber ``regulierbare'' Kombinatoren, d. h. solche, welche regul\u00e4ren Kombinatoren gleich sind. Satz 8 in \\S\\ 1 sagt aus, da\u00df jede Kombination von lauter Variablen von einem Kombinator dargestellt wird. In \\S\\ 3 gelangt Verf. endlich zu dem Satze, da\u00df \\(Y_1 = Y_2\\) ist, wenn \\(Y_1\\) und \\(Y_2\\) dieselbe Kombination von lauter Variablen darstellen (Satz 5). In \\S\\ 4 werden einige S\u00e4tze \u00fcber das Verh\u00e4ltnis der Substitutionsprozesse zu den Kombinatoren kurz bewiesen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1828982$A7812BA9-5F69-4149-8018-9A60441DA7A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ad372db7fc583ecfa8c1fdca5d5a1b9d69a72bc","datavalue":{"value":"2562393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1828982$DA0E1F47-CF5B-4A6F-AA4D-D7F2F665C0A6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"58f74083fe4b30dec1fdca9dc0eae699345388f6","datavalue":{"value":"Q57074390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1828982$2089177B-B3A5-4BB7-B480-5B31AAB05A85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7119532effe095ac0ad4ad19f7f7e1492a6f80f","datavalue":{"value":{"entity-type":"item","numeric-id":769599,"id":"Q769599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1828982$4FBF6BF6-0CCB-4AA5-868C-92DCF14A73BA","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1828982$601951F1-F49C-4583-9327-22D2E7646E64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98763335e49a4cf44844a47c3233cb3d55196d86","datavalue":{"value":"https://doi.org/10.2307/2370716","type":"string"},"datatype":"url"},"type":"statement","id":"Q1828982$8B179BA6-5173-4F2E-9E7D-93A4987B3D51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"072fc3dd69d1309b9753aef87190f83ea1079cab","datavalue":{"value":"W4234418851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1828982$FAADB0B7-D4B9-4A30-85AD-5D512FA2BC97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Grundlagen der kombinatorischen Logik. II.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Grundlagen_der_kombinatorischen_Logik._II."}}}}}