{"entities":{"Q3576002":{"pageid":5605906,"ns":120,"title":"Item:Q3576002","lastrevid":58213833,"modified":"2026-04-04T06:29:45Z","type":"item","id":"Q3576002","labels":{"en":{"language":"en","value":"Classical combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5762575"}},"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":"Q3576002$F9141B38-6A81-4913-9383-27D61F640C5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd7f836bd25d7175478552d62913d291c5344a2a","datavalue":{"value":"1193.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576002$76488B91-D406-43BB-BE47-9BE932D40711","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db5779aca83fc6955aa16e220e67e96fbf4b9556","datavalue":{"value":{"time":"+2010-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3576002$D734947E-C0DB-4172-86FE-09693265AC33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bf781cc3740564a385f9b4cd10e37f4bdb1aeb3","datavalue":{"value":"https://arxiv.org/abs/0905.1100","type":"string"},"datatype":"url"},"type":"statement","id":"Q3576002$CCE80E43-1168-45CF-A8ED-A14C6E24F4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e40e82aee1e38a7845d60b8f3b50303bbd1bd3e7","datavalue":{"value":"https://www.dmtcs.org/dmtcs-ojs/index.php/proceedings/article/view/dmAF0107/0.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3576002$287D95BA-8D2D-402A-9915-9B6E28640287","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576002$161EA763-4045-4C13-9AB0-E064D5C78786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576002$194783B2-0AF0-447C-990C-713669EE7FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576002$6CF3D826-DF0A-47BA-8269-8DC0119089EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98c298858cddf6e557b2e0052876a417d8b48744","datavalue":{"value":"5762575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576002$72F1105E-CC6F-4E01-B573-E50CA757AD5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576002$2DDE363E-76CB-4502-A4D1-0198E3C266F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576002$E30B3841-104F-445A-8272-EBB51216D13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08510b555ee3cbfee3cdcc8ac01ee078015db1a","datavalue":{"value":"propositional classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576002$A2676824-4732-43FF-84CF-B8A3BDF6543C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3576002$EDAC76B8-29D8-42DE-B853-9AA71D2CB69E","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":"Q3576002$CE9F3B2F-7D91-4B30-BB63-4EA010A9E6F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a40b525022ec1dccaba201ae6fd7476bf823c4c","datavalue":{"value":{"entity-type":"item","numeric-id":4856946,"id":"Q4856946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc6b0af01b4b9ff7db43c5a4a2db8d043d2a26f7","datavalue":{"value":{"amount":"+0.7923482656478882","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3576002$B75D75FC-464D-43EB-9E49-B7E9A3C6A706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5769f620bb98b6476f50b95e4b054f5c296ed9a1","datavalue":{"value":{"entity-type":"item","numeric-id":4449007,"id":"Q4449007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53014106891ba7c0909dccb82c92eeb810c71711","datavalue":{"value":{"amount":"+0.7868961691856384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3576002$A2293FA6-8470-4381-913A-8227F2BB2CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5beb5ef0f34c2cc9d41336a291229f2a5d836e5","datavalue":{"value":{"entity-type":"item","numeric-id":4247311,"id":"Q4247311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a1ee4fe0afffd98ff9034c13fc1ff846116f98","datavalue":{"value":{"amount":"+0.7751550674438477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3576002$AD06BB3A-FF72-4E6C-8A34-A05019DAE8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930efb2740a28f6fd14c8e0f71afd074a4549066","datavalue":{"value":{"entity-type":"item","numeric-id":1826366,"id":"Q1826366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a1ee4fe0afffd98ff9034c13fc1ff846116f98","datavalue":{"value":{"amount":"+0.7751550674438477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3576002$8F37803E-35EE-4970-8973-587526BDB80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee4861cf54a2a9e79f25b12f80a4583bd495535","datavalue":{"value":{"entity-type":"item","numeric-id":3125737,"id":"Q3125737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91acc40e4b6d5d1c9d030f2d60315e39590f1f17","datavalue":{"value":{"amount":"+0.7666691541671753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3576002$3F26473A-4E54-4B20-B107-AC93B2EAFFAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3576002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3576002"}}}}}