{"entities":{"Q4635918":{"pageid":6665499,"ns":120,"title":"Item:Q4635918","lastrevid":53070983,"modified":"2026-01-24T04:11:17Z","type":"item","id":"Q4635918","labels":{"en":{"language":"en","value":"Hybrid realizability for intuitionistic and classical choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863527"}},"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":"Q4635918$E3002E5A-D723-4AD5-A641-18721CCD30E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f886b07141d15fbb491bddd00cdf3e976abb0167","datavalue":{"value":{"text":"Hybrid realizability for intuitionistic and classical choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635918$EE71505D-FE6D-48C9-825E-3D3466726E9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab83d7004d3f1be227156bcf3facadd42197e56d","datavalue":{"value":"1394.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635918$79536999-DB9D-48DD-B4A5-C3F372CAC6C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"346d18e30ece73c8cd24bdc5fce154020f9135d1","datavalue":{"value":"10.1145/2933575.2934511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635918$03E0B7BE-1543-46B3-BBE0-02C6DA308AA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6a7c9fa9dc3fdeaa7fa6fbe2fe38f9449434b88","datavalue":{"value":{"entity-type":"item","numeric-id":345703,"id":"Q345703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635918$1B6556D0-38FA-445F-B23D-31F2E519B002","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635918$C30C7FC2-55AE-4149-A6AF-F938801B4D5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635918$BC740C9E-1C3E-4D63-904E-D480AFE41DB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635918$7D47BD3F-8BE2-411E-AF6A-069F8037CCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635918$574698BC-E1D2-4FC0-AA3C-862DC586A0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635918$D07A97E3-7129-464C-B91F-290F009C3EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635918$4905FE8C-0D2A-4F03-87CF-372EE591E310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635918$77778680-30DD-471C-A477-017C57F0BFAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aed84f3beddab838306d7429bcba42675fc68770","datavalue":{"value":"6863527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635918$3F3C68DF-8E65-4BE9-A338-78DA84743124","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":"Q4635918$72F889F8-D59F-4F9A-A189-77A1948AD295","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e931980b0563a6020f38556ff429b28b55ad83b","datavalue":{"value":"https://doi.org/10.1145/2933575.2934511","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635918$2C74AA1D-11D2-4103-8064-DED05AD6A26B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54d0743b8ad4e068a812aec7f751e65fce3cef45","datavalue":{"value":"W2531070608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635918$1D25367A-4EC6-441C-9A31-7267F2EA951C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4c4734d659f93d2745046fe9762c21e168e528","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fe13c58638976fa2b6db0495d57e4d741b59e6a","datavalue":{"value":{"amount":"+0.7971184849739075","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":"Q4635918$13972436-80D6-4A45-9C24-32406FA39F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14338fac203005828e9642d20df6d731dbb3b644","datavalue":{"value":{"entity-type":"item","numeric-id":3024822,"id":"Q3024822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a389b0568eafb95f302d00ddabc7731a8d7b40cc","datavalue":{"value":{"amount":"+0.7935718894004822","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":"Q4635918$87B6347B-0C41-4AA8-A338-60AA81B26B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"556f9ea0386ca073eb50bec106e3334b9155c204","datavalue":{"value":{"entity-type":"item","numeric-id":2937797,"id":"Q2937797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de312a1076ee224bdfda312c46edcbb4addda262","datavalue":{"value":{"amount":"+0.7915008068084717","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":"Q4635918$6B9A1F87-6A1C-4BBE-93E9-D7ABDFC33A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba42c8b31e2765c0a227cbcb4e2d0116b353eed","datavalue":{"value":{"entity-type":"item","numeric-id":2986812,"id":"Q2986812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9e57b1a0b0c467c4021372768780d81abb6d3f","datavalue":{"value":{"amount":"+0.789348304271698","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":"Q4635918$57312D09-3E45-4472-B778-7A89A9DCCA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f7a9cee27635f48dbe32c2b39a0e90d50d8fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4212925,"id":"Q4212925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1813928e5f37c1ebd64c3d8afe4896e474184b9e","datavalue":{"value":{"amount":"+0.7864214777946472","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":"Q4635918$863595F9-5ECD-4D4D-8F6F-50DB35E77506","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635918"}}}}}