{"entities":{"Q916636":{"pageid":918484,"ns":120,"title":"Item:Q916636","lastrevid":49395004,"modified":"2026-01-07T02:17:46Z","type":"item","id":"Q916636","labels":{"en":{"language":"en","value":"The completeness of provable realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4154406"}},"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":"Q916636$61DA455F-6E52-4262-8993-717C23FC504C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bda12e95d6a4a842844eba1ab6855d4fc6355191","datavalue":{"value":{"text":"The completeness of provable realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q916636$C9310C80-83B5-4174-8F2E-6B9F332FAB50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9ff7f6774d4a71365d3d5d9347daee760014cce","datavalue":{"value":"0704.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916636$7EBC7BA6-5AD5-4C4B-B517-752FBAC3D2C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916636$EC01E55A-DD31-44EF-AE42-078C42DABAF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q916636$3FFFD9C1-8B73-4204-AB35-57C3CEABB82E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6e7938fd110069c350616a1cc1fbddae4d86240d","datavalue":{"value":"The paper gives a complete axiomatization for intuitionistic logic without disjunction but with so called strong conjunction \\& which is determined by the stipulation: \\(x\\) realizes \\(A\\&B\\) iff \\(x\\) realizes both \\(A\\) and \\(B\\). It is shown also that the provability of a formula \\(A\\) in this calculus coincides with the classical provability of the first order formula ``the \\(\\lambda\\)-term \\(t\\) realizes the formula \\(A\\)''. Realizing terms here are required to be untyped and the derivation of realizability is classical.","type":"string"},"datatype":"string"},"type":"statement","id":"Q916636$78199A02-7914-4FFA-B9CC-A929003477C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916636$323EE4D7-E55F-4AB7-B0A9-2C5773CDB509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916636$07C36F87-570D-4EA0-ADE4-3A4EEA989A92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"989fa1777c177df96239528bddeeab8cdbd27c72","datavalue":{"value":"4154406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916636$91E24A6E-5460-4925-BAF5-7AD65BAA6847","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c9d92cedc24507fb6046faae06d49c3e05743","datavalue":{"value":"complete axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q916636$1628FFFA-4D2D-4A68-96D1-CEEF45DD84D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q916636$B8B5B376-A7FB-4D92-AFCC-8091F53112B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q916636$FE07A544-4D7F-44DA-AC9C-C4DD86310E05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916636$E6F01E3C-9EE3-4CAB-9DB3-4A99CEB42AD6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8ed9eb7b5676e67d936495c86d88b4db3563325","datavalue":{"value":{"entity-type":"item","numeric-id":1317985,"id":"Q1317985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916636$D10DB708-5A2A-4D6B-8072-A9D1CFECA848","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":"Q916636$9C1E9350-9469-40CF-91F7-02CCCFD7ADDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96212215c32891e4b574f757d3ba988bc01f5bab","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635158","type":"string"},"datatype":"url"},"type":"statement","id":"Q916636$D464223E-E21C-4CC6-901F-8502D2AD5080","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23db98ab3de5969cbc27d4c9895812199fe0ce0d","datavalue":{"value":"W2016129710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916636$26235945-3806-467C-A23D-B8E4EE0B5642","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efe89b4679a0111b19b2178a3ea5f8578ba9908e","datavalue":{"value":"10.1305/NDJFL/1093635158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916636$11D47267-AEF5-45B4-BD89-0EAF8A6E6240","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415e542305bf8cc64714cd14298eb9b0892528ea","datavalue":{"value":{"entity-type":"item","numeric-id":1330311,"id":"Q1330311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8251ab7bdadfb7f86d1a3c3dc9670a97b6a326fc","datavalue":{"value":{"amount":"+0.7734425067901611","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":"Q916636$DEAF84FC-C94A-4988-BCAD-BB33CB13614D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9395d93ced324cdcedd5c63d2a9715547843d38b","datavalue":{"value":{"entity-type":"item","numeric-id":4499151,"id":"Q4499151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fafb9dde4e8a08d3a7b6eceb06208fa1f2c29aa7","datavalue":{"value":{"amount":"+0.7718093991279602","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":"Q916636$055E44B5-9260-4CB0-84D9-A0157755F5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73eabf2d7cc31c5ea584b0ffcad2471c34535138","datavalue":{"value":{"entity-type":"item","numeric-id":2320010,"id":"Q2320010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fed7cfb1efaaa0b587ae5e78bdc8a42d2708640","datavalue":{"value":{"amount":"+0.7716846466064453","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":"Q916636$9E9EF342-9E2E-4930-8A30-02E7BEE1C12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4637749458337e73d5c2487237c3e338e2d42773","datavalue":{"value":{"entity-type":"item","numeric-id":4681892,"id":"Q4681892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd75bed523a958812eba5eeb6c4c6cb0b7801288","datavalue":{"value":{"amount":"+0.7716357707977295","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":"Q916636$4480500D-77F9-4568-A7BC-6F354C7FC95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3730caeef5f657afff89553d6b6eeb732d93ea52","datavalue":{"value":{"entity-type":"item","numeric-id":4035227,"id":"Q4035227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6552e77c6e22aefc7127a54b4335a92f9cdb055f","datavalue":{"value":{"amount":"+0.7669534087181091","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":"Q916636$972F794D-839B-4A6C-A3A9-D3899F6F76F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:916636","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:916636"}}}}}