{"entities":{"Q2619877":{"pageid":2630620,"ns":120,"title":"Item:Q2619877","lastrevid":44500920,"modified":"2025-11-23T09:17:25Z","type":"item","id":"Q2619877","labels":{"en":{"language":"en","value":"Some properties of equality and implication in combinatory logic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2539706"}},"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":"Q2619877$24B9FB00-9B84-4096-B765-23A7285822B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bbdd26acdbf5eb2610c0094a53af3fa69014069","datavalue":{"value":{"text":"Some properties of equality and implication in combinatory logic.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2619877$6946A2D6-249E-4171-B6CA-021166D4996F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bf34ba08c6f936e1a1b67c7bfb742ae80e0d482","datavalue":{"value":"60.0849.07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2619877$EB940AFA-87AD-4709-9614-49217379A590","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"079aa96b66a26120d0cbf1dc5e6a7edb49f30635","datavalue":{"value":"10.2307/1968498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2619877$3E113175-5A32-448E-92B2-8837C523507F","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":"Q2619877$CDD58CB3-137D-42F4-BED5-7DA7D370AEFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0545e869d8296a0b0654ccbe2e3181b7f2652da8","datavalue":{"value":{"time":"+1934-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":"Q2619877$E120D1F1-3835-4BBD-A81F-F4C481AD27F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"acadfb4e983f4103d3e7c3031b15d18522c3b587","datavalue":{"value":"Diese Abhandlung ist eine Erweiterung einer fr\u00fcheren Arbeit des Verf. (1933; F. d. M. \\(59_{\\text{II}}\\), 863). Die Erweiterung besteht darin, da\u00df gewisse Gleichheitsaxiome eingef\u00fchrt, und da\u00df einige Eigenschaften der Implikation, die fr\u00fcher nur als Hypothesen in gewissen Theoremen auftraten, hier ausdr\u00fccklich als Axiome formuliertwerden. In vorliegender Arbeit besch\u00e4ftigt sich Verf. mit den Folgerungen dieser neuen Axiome. Die Theoreme 1-10 enthalten einige der einfachsten Folgerungen; besonders wichtig ist Theorem 7, woraus viele der Theoreme der fr\u00fcheren Arbeit folgen. In den Theoremen 11-14 wird ein allgemeines Ergebnis hergeleitet \u00fcber die Beziehung zwischen gewissen Theoremen und den entsprechenden Formeln.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2619877$B2A4A10A-FA9B-4480-B85D-78048A794959","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f54bf8b99d920ce149f8f86a535fe765054611b5","datavalue":{"value":"2539706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2619877$602F4F3B-DB04-4D3C-B0F9-2D64B20612F1","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":"Q2619877$F3D514B8-312A-4E98-92CB-18824C000C75","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":"Q2619877$C80043B8-E615-45DE-986C-B273D5692D3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f5ecdc4702558362984dfb31aa34a5114719f9c","datavalue":{"value":"https://doi.org/10.2307/1968498","type":"string"},"datatype":"url"},"type":"statement","id":"Q2619877$33EF92CE-8726-435F-99FF-17F408646B78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0600ef325f8050e9bfe21b1aa4a9812c5f858cb","datavalue":{"value":"W2323724534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2619877$DA2E4B45-C9E0-4EC9-A1C1-E8B6B5993479","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2619877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2619877"}}}}}