{"entities":{"Q1840146":{"pageid":1850888,"ns":120,"title":"Item:Q1840146","lastrevid":73888635,"modified":"2026-04-14T17:37:46Z","type":"item","id":"Q1840146","labels":{"en":{"language":"en","value":"Some properties of equality and implication in combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3014975"}},"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":"Q1840146$DCBC8574-6247-4DDB-A8C1-D25BD8040A0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3898efc055183fcdef259648cc912268519eda12","datavalue":{"value":{"text":"Some properties of equality and implication in combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1840146$044256AD-3010-4F74-8ED8-C5DC481647EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c0aa4e217dbfa3c759335208702b06c30b4082c","datavalue":{"value":"0010.14604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840146$47FE4005-17C9-4CD5-B963-BFD00F72E739","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"079aa96b66a26120d0cbf1dc5e6a7edb49f30635","datavalue":{"value":"10.2307/1968498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840146$38A0C59B-656A-4A7A-B9F0-E4EF3718D075","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":"Q1840146$135AAEE6-807A-4C57-8738-79AED9EE421B","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":"Q1840146$A0396065-5F7E-44C4-9B78-A0C1E5799F78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55ce5297db011d9bfe5101150dd99c5d02e9ad0f","datavalue":{"value":"3014975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840146$FAB45BEE-5A0D-444A-A025-EF7417C53043","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caf0eab1c6fd9a5511ddbd8b23b90181f169df13","datavalue":{"value":"foundations, philosophy, logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840146$4283D8A6-8A20-41B6-A559-5213A5FB1269","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":"Q1840146$C076AD65-BFD1-4E32-B1DA-2A352DDBFF8F","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":"Q1840146$6350D18D-2BD8-4E9A-9FD4-6FB775059A26","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":"Q1840146$0F7BD0C4-050F-4342-9C4B-0C99413A6A33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0600ef325f8050e9bfe21b1aa4a9812c5f858cb","datavalue":{"value":"W2323724534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840146$B57080CE-9612-4905-99A8-C58D2A0EFB56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some properties of equality and implication in combinatory logic","badges":[]}}}}}