{"entities":{"Q4227871":{"pageid":6257472,"ns":120,"title":"Item:Q4227871","lastrevid":88581884,"modified":"2026-06-04T14:54:23Z","type":"item","id":"Q4227871","labels":{"en":{"language":"en","value":"Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1247638"}},"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":"Q4227871$25FB3D20-0D7D-4C48-9B0A-BE692FC7F6ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78fd61c081dbb00a22a50b647580cb65407b5b09","datavalue":{"value":{"text":"Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4227871$2499A42C-E958-4ED5-922B-020FF66900D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebede006f2eda6537baa03ac5ab5a158a687fbd7","datavalue":{"value":"0947.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227871$75D836F7-BB99-41E1-BDE5-1FA483C4646F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"999c02281ed2cece6408c2ca903a0843e1c6e026","datavalue":{"value":"10.2307/2586717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227871$816EB08B-456C-4266-A9D0-27A1E50E66D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"219a2f47f22fa561a103f4e2d26eaefd86ad9ae8","datavalue":{"value":{"entity-type":"item","numeric-id":1104310,"id":"Q1104310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227871$A23A6C1B-6825-44E8-BE69-229049B45260","rank":"normal"},{"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":"Q4227871$786B140D-EDB9-4A37-8ED4-04665DE05B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227871$A6A2F8DA-4AC0-40A0-B908-E7F1FC6021CC","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":"Q4227871$E1439FCB-B11B-4C5D-8C2F-E955C48F977E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fba0cf8f85f7b1ad95f7e924756131fda6f2c74","datavalue":{"value":{"time":"+1999-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4227871$A167A582-5651-4B40-BA97-398F7D8D3B7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227871$174DCBE7-C659-4886-963C-138A260CFEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227871$9D9BADB5-DD10-4FDB-8B19-610332588EEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b760281574358cc1f2c72dd3a6c71f82b348e55","datavalue":{"value":"1247638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227871$9FC6252F-A2DD-48D6-84C5-888C46109C0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227871$24B361D8-8582-4D2F-AB59-3ACB603926F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a9ff47011cf499cde45b688a474a4e491a2d637","datavalue":{"value":"completeness of translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227871$EC0DF1E4-5865-4F7B-A241-D28D99C5FB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83df4fb2317fb4f07167bab99677f36891f7fdb0","datavalue":{"value":"illative combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227871$9BDB36AA-DB92-44AC-B741-792E0D649401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f8715b749e92073cdb1d36ba749c80f339f8019","datavalue":{"value":"propositions-as-types paradigm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227871$C8F7CFDF-2025-4E82-96DF-F5E147724F60","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":"Q4227871$24FC7AB9-4CB9-48A7-9AED-B4A6825164C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7618bfb4ee438352d8bb4a4051057696abe13d1f","datavalue":{"value":"https://doi.org/10.2307/2586717","type":"string"},"datatype":"url"},"type":"statement","id":"Q4227871$CC664EE1-B665-43F4-998C-D9DCD631FCD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c30c53e5aa393e426312e3594540a88ae383d3d8","datavalue":{"value":"W2030678653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227871$C5BD4B9D-EF42-4931-BF9B-1117BCD8983F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5bca64e48ee9d52f87375a3999625e7989e931","datavalue":{"value":{"entity-type":"item","numeric-id":4276020,"id":"Q4276020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227871$75299CF7-3BE2-486F-8DB0-909CB8D8B858","rank":"normal"}],"P1643":[{"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":"a7ee2e0a9827a71aff4b9d1be12e38ecef656b59","datavalue":{"value":{"amount":"+0.894982099533081","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":"Q4227871$EC9FA565-7A8B-4548-B697-2EA7508BD486","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":"7a4a2e3f99bf3f796b49b88de44dbeb14b5b1e41","datavalue":{"value":{"amount":"+0.8739063739776611","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":"Q4227871$C8361196-5AB9-4AF0-8FEE-57A383B0EF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75cdbbf38d94910a9a0f0a17040a5b94ca453729","datavalue":{"value":{"entity-type":"item","numeric-id":2869904,"id":"Q2869904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"483348b8882b272bb99c85ff51c7f3c4325d1bb4","datavalue":{"value":{"amount":"+0.7889236211776733","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":"Q4227871$BED228CC-7D46-46F9-BD86-418B55542DAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_of_the_propositions-as-types_interpretation_of_intuitionistic_logic_into_illative_combinatory_logic"}}}}}