{"entities":{"Q5893219":{"pageid":7931316,"ns":120,"title":"Item:Q5893219","lastrevid":32159916,"modified":"2024-03-19T21:21:50Z","type":"item","id":"Q5893219","labels":{"en":{"language":"en","value":"The universal quantifier in combinatory logic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2555093"}},"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":"Q5893219$1EF4F40E-E930-49D2-97EC-69001773E27D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7fbc26e8117d42e635bceaa0cfbfefe86ab0920","datavalue":{"value":{"text":"The universal quantifier in combinatory logic.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5893219$5A39A498-66D1-4018-A795-2214E712016F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2993fca81315d66d2e443f1662a8b5f260abd294","datavalue":{"value":"57.0057.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5893219$04EB8C8E-9AD6-43DD-AC94-31FC9FDE32A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df05d40e691e494aa770346601c00b0583908504","datavalue":{"value":"10.2307/1968422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5893219$4CC785C0-6F92-4277-92E5-2EDC763D084A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5893219$AE1FCB6B-F5FC-4960-9F69-549010A16FA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0130902a9dcdeca58c7452ef77c67f7d7741a88","datavalue":{"value":{"time":"+1931-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":"Q5893219$0D20B191-A9F9-4998-9E4A-B60A69C3DB89","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c823f2469879ecbf73e2a74cdb5cfcd18d7e2c46","datavalue":{"value":"Verf. beweist in dieser Arbeit einige weitere S\u00e4tze \u00fcber die sogenannten Kombinatoren, die er in zwei fr\u00fcheren Arbeiten behandelt hat (1930; JFM 56.0048.*). Diese S\u00e4tze werden benutzt zu einem formalen Beweis des intuitiv als richtig erkannten Prinzips: Wenn ein Ausdruck, der gewisse Variablen enth\u00e4lt, f\u00fcr alle Werte dieser Variablen eine wahre Aussage darstellt, und wenn man einen neuen Ausdruck bildet durch Einsetzung andrer Ausdr\u00fccke, die wieder Variablen enthalten, oder wenn man die Variablen transformiert, so ist der neue Ausdruck wahr f\u00fcr beliebige Werte der neuen Variablen. Er stellt zuerst eine rekurrierende Definition des Quantifikators \\(\\prod_n\\) auf mittels der Kombinatoren \\(I\\) und \\(B\\) und beweist, da\u00df \\(\\prod_n\\) tats\u00e4chlich die Bedeutung eines Pr\u00e4fixes mit n Allzeichen hat. Sp\u00e4ter definiert er, ebenfalls rekurrierend, den ``formalisierenden'' Kombinator \\(\\varPhi_n\\), mit dessen Hilfe er die Beziehung der Implikation f\u00fcr Funktionen mehrerer Variablen auf die gew\u00f6hnliche einfache Implikation zur\u00fcckf\u00fchren kann. Bei der genaueren Untersuchung \u00fcber die Eigenschaften der Implikation sieht er sich gen\u00f6tigt, einige Axiome einzuf\u00fchren, wie z. B. ein Axiom, dessen Interpretation  \\[  (f)\\left[(x)f(x)\\rightarrow (g,x)f(g(x))\\right]  \\]  ist. Zum Schl\u00fcsse wird das Substitutionsprinzip bewiesen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5893219$0EA37A4F-77C9-41A3-9128-FEEFF69A49CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56084d243b4b46a0ad2110eabf5f40b0482c292b","datavalue":{"value":"2555093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5893219$3061827B-4DB6-4D98-9328-B2F61F9B59C5","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":"Q5893219$DF2E87BC-047B-4F90-8121-DFE9061D68E7","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":"Q5893219$0F5FA0A7-3D4E-46AB-B5BB-DF4D7921FB36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e9d04a817b7723c40608ea9c378d7fa267d9f43","datavalue":{"value":"https://doi.org/10.2307/1968422","type":"string"},"datatype":"url"},"type":"statement","id":"Q5893219$6890BCBC-84A6-4EA1-A31D-00CE0BCE68EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d52ff6e299d2a56a1a9ff56719462b5dcf800f7","datavalue":{"value":"W2326394178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5893219$B1B50BCB-E435-48B3-A3D4-EF3CA265EAD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5893219","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5893219"}}}}}