{"entities":{"Q2811650":{"pageid":2822388,"ns":120,"title":"Item:Q2811650","lastrevid":52553033,"modified":"2026-01-22T23:02:07Z","type":"item","id":"Q2811650","labels":{"en":{"language":"en","value":"On the definitional embeddability of the combinatory logic theory into the first-order predicate calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6592262"}},"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":"Q2811650$03850B80-448F-4544-9E55-073B16AFAC0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bbd6bb42a6caca176e42de1756990f318b83596","datavalue":{"value":"1370.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811650$EA40D574-21E2-48D1-8817-0A50DCBA57B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f3fac30dab814fb117b83a4f0e7d9c61fe3ff43","datavalue":{"value":{"entity-type":"item","numeric-id":2811649,"id":"Q2811649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811650$C6770CE8-AB87-41C2-9BA5-640FCDA57F2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2811650$355E4DBE-9930-4B90-949C-0E2C64E89732","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811650$271EEFC9-B79C-48BF-95BA-196F0A7B7378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811650$50F5311A-415F-400A-B966-65B96989D1B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4e775b0b4b1c84637b6d5439d26f1cb2eaaefe0","datavalue":{"value":"6592262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811650$7DC23E50-D5DE-41A6-8A0A-CF0D5034BB2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811650$D4618557-233C-4FDF-A9E6-02AAB10F72A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"815eac359e98c9f52da92b669667ea324d3c0ac4","datavalue":{"value":"definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811650$C1C22338-C60C-4C84-894C-8F730202D357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8eb59342a1ec9a45d032f5e9f102bb1970e976a","datavalue":{"value":"definitional embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811650$CD5C7036-CFB9-40CD-8A2D-A7A82D204352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811650$9D122E7F-E8A8-4DF7-853A-ECE3B2759A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94eb22cef142cd94fafd7e29182c87453d09d9c6","datavalue":{"value":"computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811650$C0189DCE-9847-4C0A-9555-DCA011D88D53","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":"Q2811650$65227A81-CEA6-4785-B12B-3BF28F3B8F17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55814c5ccad250fcef31daaed332c6ede14bafa1","datavalue":{"value":{"text":"On the definitional embeddability of the combinatory logic theory into the first-order predicate calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811650$98BD9A70-E4B3-40DC-BB54-4E60E73A222B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"149112218bdb038213a4d05b46a1244a47d21344","datavalue":{"value":{"entity-type":"item","numeric-id":6581940,"id":"Q6581940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811650$D296053F-84B2-440C-A9FE-EFC81C3FB578","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"644563f0f266dc8284edc5b0c106da7233c6c628","datavalue":{"value":{"entity-type":"item","numeric-id":2811651,"id":"Q2811651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dffb4bb74fc1fc48ae9da9e0f079109b3c43efc","datavalue":{"value":{"amount":"+0.756926953792572","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":"Q2811650$C5B612D6-0FDD-49F8-A4CF-7C4D7EAFB883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587a49a7daad5fa46ff89e84d9876af92480cc5b","datavalue":{"value":{"entity-type":"item","numeric-id":4276020,"id":"Q4276020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"007bfbf70ff9ebcaef6028ceb51a106e754f4539","datavalue":{"value":{"amount":"+0.7336771488189697","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":"Q2811650$41DCB051-82F8-42BF-8CDC-6A3CB7D2E46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf4f03a10edafe7cdc7913a54a58229f242d59a6","datavalue":{"value":{"entity-type":"item","numeric-id":1267843,"id":"Q1267843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e051ad98de8eebea5f6ac577faec374bd02cc95","datavalue":{"value":{"amount":"+0.7287323474884033","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":"Q2811650$D9F1EF3A-F9F9-48CE-9A7D-61DF8C0357FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f41a1e0a80d267f89cba30c0003b709ee17b43f","datavalue":{"value":{"entity-type":"item","numeric-id":4133599,"id":"Q4133599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26f7a4431289e091bb984dee7de8b0ea6f43e92","datavalue":{"value":{"amount":"+0.7158756852149963","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":"Q2811650$E956A776-C787-4DE6-A8D8-4F79070456AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a06ed4976b9b439ff439cc013460bb15e109065","datavalue":{"value":{"entity-type":"item","numeric-id":5501722,"id":"Q5501722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5533988f12cb1bb5fd5961620ea2d6c42d8cb4b","datavalue":{"value":{"amount":"+0.7123559713363647","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":"Q2811650$388AE6F7-A3D0-4032-B55A-199AC804BAE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811650","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811650"}}}}}