{"entities":{"Q3043111":{"pageid":3053827,"ns":120,"title":"Item:Q3043111","lastrevid":45322687,"modified":"2025-12-05T12:04:08Z","type":"item","id":"Q3043111","labels":{"en":{"language":"en","value":"A weak absolute consistency proof for some systems of illative combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3835993"}},"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":"Q3043111$1A6736EA-C63C-4F50-AFC0-54006C5A3CEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"feef01a97d5a7478813970c2191dec082766b1fe","datavalue":{"value":{"text":"A weak absolute consistency proof for some systems of illative combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3043111$FFE7A06C-429E-42E8-BE6B-88EA893F823C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db3e4230ffb39957a84daceb0bdd47eeb5a6ab39","datavalue":{"value":"0527.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3043111$F358E6E0-AB35-4684-9774-7DB36D1F9A11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95dd56c1779eafd73069aa0ba6b09952d9458fb2","datavalue":{"value":"10.2307/2273470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3043111$02E5D947-6D33-4C9C-ADB2-9DD61BBD4C5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3043111$60446D4D-5B66-42D5-852A-2DD56AC8D26F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3043111$54605740-7FE0-463B-AE1B-9786FBF27656","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3043111$F330D508-A1B8-426C-985D-AC9EC7A10F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3043111$42420BB1-DD2B-4255-ADF6-A471859A8CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3043111$0D13879B-3AB9-4155-937E-67E992621E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3043111$63E385BC-2641-48ED-8192-B39E82339AE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8939adb38722b2abdb599386fddef5d2c06267c5","datavalue":{"value":"3835993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3043111$57A2A57A-A516-454B-9A51-7667947D4751","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83df4fb2317fb4f07167bab99677f36891f7fdb0","datavalue":{"value":"illative combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3043111$AD4469F6-071C-475A-9357-FA642C96771F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3043111$A94D0379-5658-4854-B76A-2E11A49A12C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb985c870cb542c8ce9b9332cb20b0f0fb8b218","datavalue":{"value":"weak consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3043111$97F91F77-A9BA-4E32-9C89-A524D6FAE28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7b94a43f1b8df8bb7f01e9f8f2e398523b26419","datavalue":{"value":"strong consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3043111$D146684E-9E7C-4FD0-A765-CE5DB47844E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d7a7742b54ec2d03c259f24892f02db2125d6a2","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3043111$5ADFBE30-83CE-4AAC-B361-6503E9062DF9","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":"Q3043111$7D1BEEFE-F394-432E-9E9C-4B67F443807F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fc001f9d0706c21f9dadcbadf9aab10189a0245","datavalue":{"value":"https://doi.org/10.2307/2273470","type":"string"},"datatype":"url"},"type":"statement","id":"Q3043111$E8170D05-4666-433B-B0DD-E76E4B0ACDBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1a26b761e1e0a01b1569e395f3bb266d2024e9e","datavalue":{"value":"W2159676458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3043111$5FC46449-11E7-491B-A50E-BC7FEC65283E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5472d71f820e940332b9b93eecdb764501df6e","datavalue":{"value":{"entity-type":"item","numeric-id":1148305,"id":"Q1148305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3043111$24DE99A6-C7A0-417E-AC5E-3404A13A489B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee10ca65806275b3225f1a81a5b81ae8da67fd4","datavalue":{"value":{"entity-type":"item","numeric-id":3884084,"id":"Q3884084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3043111$303B5660-D8F4-4F11-9A01-BA517E6A9CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3043111$48027243-AE11-44F7-8DA7-907FB3C4B526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce0b4c43ba20dba026c38bc07f89ab730899ea1","datavalue":{"value":{"entity-type":"item","numeric-id":4722038,"id":"Q4722038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3043111$08D99BEE-738B-44D4-8719-FB63EDF8B213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509279cb06cd69e07a50336c6ac678e3285edf91","datavalue":{"value":{"entity-type":"item","numeric-id":3752369,"id":"Q3752369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3043111$86B9D8D2-BAD4-4990-95ED-E3C49517A567","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3043111","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3043111"}}}}}