{"entities":{"Q5367048":{"pageid":7396622,"ns":120,"title":"Item:Q5367048","lastrevid":96057914,"modified":"2026-06-05T10:19:08Z","type":"item","id":"Q5367048","labels":{"en":{"language":"en","value":"The independence of Markov's principle in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6790147"}},"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":"Q5367048$ACF0A790-D38D-4C73-BA8E-EA7838367ACB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e456265e7cad2b8c60db52cf31abf79fc0e58f8","datavalue":{"value":"1434.03136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367048$BEDC0B07-4A97-47D6-A736-9C3F569579F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"986bf57406fc5c495f200f2bcad83d7c9b1d07c5","datavalue":{"value":"10.23638/LMCS-13(3:10)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367048$356A0D1E-6DAB-466A-B5D5-F41D80CB5ACE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367048$F7CDED06-B160-4C12-9240-F842D42B9E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47ea6504d86a7b2bece6ba0c846fcd038e7b467c","datavalue":{"value":{"entity-type":"item","numeric-id":1675766,"id":"Q1675766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367048$1443EC2E-D759-4707-B65E-0983C7C2C9C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0381aec861f5a199f46f1776607b0e02f2cdf4","datavalue":{"value":{"time":"+2017-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5367048$C45F428B-02A3-44AE-8AAB-88E830301E0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab8a959091e72678dd54268849520a09b14c0ab9","datavalue":{"value":"https://arxiv.org/abs/1602.04530","type":"string"},"datatype":"url"},"type":"statement","id":"Q5367048$239CFEAF-24BF-4C43-9F79-D51952CF36CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367048$8CDADC7D-B24D-42BC-B481-CEB90A51CDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367048$44667C84-DF29-4888-A9FA-75721D29684B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367048$1659B090-F448-4C42-AA49-EFEEADAC52D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50bac14fd8ae5d3723d9f568f1f596acd4c00d75","datavalue":{"value":"6790147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367048$6672224E-28C5-4246-AA0B-B5253085CDB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367048$A7ECE5A3-1C09-4300-B88D-09595E0A33A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367048$459008D5-B8C7-4F8D-8C72-B7CD9FC6E35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe5670a6c6d1baa39a0a64ff77e086b1c9f1694a","datavalue":{"value":"Markov's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367048$E520A2D1-12E1-44EE-8A93-2F78D3E03911","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":"Q5367048$CAA702C7-373E-4EA2-AFF5-34F91339E949","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b064286ee51d049991f433cfed6462a5be33b140","datavalue":{"value":{"entity-type":"item","numeric-id":5369482,"id":"Q5369482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb2f692073bfe2c1595e5f3889942c954011831","datavalue":{"value":{"amount":"+0.9968119263648988","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":"Q5367048$5392AD1D-12B9-4CD0-BA6B-FE1593110B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac915318740a2078727118e33a25c1f76f36806","datavalue":{"value":{"entity-type":"item","numeric-id":4783332,"id":"Q4783332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86411dab53e4b13108df97ec2362efd117a6797d","datavalue":{"value":{"amount":"+0.8493214249610901","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":"Q5367048$8C594B31-FD61-47D1-A0C7-643BE09AB200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb1606410e789aa34a85f618dd2954e94a12d7c","datavalue":{"value":{"entity-type":"item","numeric-id":3315508,"id":"Q3315508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08935e9b35efb2e9f13a6c1035d37ef0387f2c03","datavalue":{"value":{"amount":"+0.749118983745575","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":"Q5367048$88BB11ED-C7E2-4A22-94F2-5A6179F973DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1d2a328de4393a6138737f57d51c482eacdb107","datavalue":{"value":{"entity-type":"item","numeric-id":2277259,"id":"Q2277259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e344711bb5a6534e94250236f23d1a99db7838","datavalue":{"value":{"amount":"+0.743990957736969","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":"Q5367048$E769A0C4-C625-4EA2-B7AC-78AF535B7CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"618df18a457f377baea80530122d19c937de0cc3","datavalue":{"value":{"entity-type":"item","numeric-id":3535125,"id":"Q3535125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9462b778501ceb1cd4e3f1741f73b1de200c25b4","datavalue":{"value":{"amount":"+0.7428306341171265","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":"Q5367048$71E43ADB-EC72-4A42-B9CF-04FC37A4D78D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The independence of Markov's principle in type theory","badges":[]}}}}}