{"entities":{"Q1765158":{"pageid":1775900,"ns":120,"title":"Item:Q1765158","lastrevid":72479625,"modified":"2026-04-14T05:12:18Z","type":"item","id":"Q1765158","labels":{"en":{"language":"en","value":"Independence results around constructive ZF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2137208"}},"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":"Q1765158$58083154-CAB0-4BD5-BD0A-FAAC37CF3560","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b90ba6d642421444c8c263312ad599527952fb46","datavalue":{"value":{"text":"Independence results around constructive ZF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1765158$26102F9B-427B-4804-B526-25E9FAE40332","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e175ddb5a2bddb0b03af7eb8fa06303083a8b37","datavalue":{"value":"1068.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765158$5B71B1BE-964E-4C8B-A841-ADB69BF5E6C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba7d32203c7bfbebbe66cfd891119ca73c5bbe19","datavalue":{"value":{"entity-type":"item","numeric-id":408536,"id":"Q408536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765158$A5F11FA9-0C67-4700-B793-77339F001608","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765158$180AA0E9-74C7-40A2-80C3-B176E9872D58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f8b72aeee9429c75f6d2c214b1fe1fedeb47fc2","datavalue":{"value":{"time":"+2005-02-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":"Q1765158$C3E82753-546D-42AA-B8FD-9507E53540F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79107edb308fd1514fa80dcac365da4edbb8046c","datavalue":{"value":"https://arxiv.org/abs/1510.00465","type":"string"},"datatype":"url"},"type":"statement","id":"Q1765158$D17FB6A4-E3B2-49B2-9375-AEE3B7E8312F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765158$AA5C3CF8-FE68-4D19-8677-0975346D4812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765158$AAEFFAF3-F5FB-4971-943D-9E130D2DFC97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"970015e8fe7fe263460aefd192c397da45489410","datavalue":{"value":"2137208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765158$8CCB52E2-DB34-462A-8F2B-30317A1D0813","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765158$8198BF2E-7004-4960-99BB-A928F61CF1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a4417fbe70cb1930908552c1d0852a4de386ed6","datavalue":{"value":"power set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765158$24CAA1A8-6D92-4B25-99E7-8ECA50486C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"757f55258980434ba649d2ccd2dcd05a759a62a2","datavalue":{"value":"subset collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765158$C46562CC-E568-40F2-AD37-70589465035F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765158$0689F80D-574E-400F-95B6-D03931D37CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d2e0989b712fc2b3b968403b4a2a3f8e168b345","datavalue":{"value":"exponentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765158$088657D7-EA8B-497F-A680-F61696492557","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":"Q1765158$D112BAA7-4BE4-4EEB-9190-05A830D93676","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a9314626e96aeb78630d785ec61ca1d1b97c288","datavalue":{"value":"W2963036596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765158$7B967EC6-87A8-4D5E-A825-B2EE8067DB20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765158$8688E023-BF45-42E3-9004-94A532A57A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9779d2f20504dba38f482f942c0abc04f8e04e14","datavalue":{"value":{"entity-type":"item","numeric-id":3310616,"id":"Q3310616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765158$208E5AE5-9B29-4945-83D3-127EA92DDDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765158$3AA0CD7A-EAB9-4462-97B4-9B87093128BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3915a4a137f651afdbc1462ae531061b82fed5d8","datavalue":{"value":{"entity-type":"item","numeric-id":1071017,"id":"Q1071017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765158$1186FC02-C6CA-4AFB-BAE4-B3376E6C0844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5991726cac52e4d83f50c4669884909acb3474da","datavalue":{"value":{"entity-type":"item","numeric-id":2498896,"id":"Q2498896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765158$D691B5B9-B8E1-4F78-B12E-5ED28F59BBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765158$3E6AF8FD-F3C4-47C2-9883-F74ADE370D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765158$D12AB418-63C8-44AE-BCD0-8027BCBF5A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765158$E1D545BF-49FB-4A00-9E1F-B1E4B2E36C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772f22db8726abc1b17c66467dc58d8102a542e4","datavalue":{"value":{"entity-type":"item","numeric-id":1344548,"id":"Q1344548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765158$BB67B87B-BF6B-4B2B-B869-D5F28A4C41F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3a7eafe52e56bd4d106cc98c2bef8a475cab39","datavalue":{"value":{"entity-type":"item","numeric-id":4381421,"id":"Q4381421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765158$0BCC4DA4-F426-4DDC-800F-67AAE9263AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9f3dfde8ee69d10b8cc5f70a9d616428a2aeb4","datavalue":{"value":{"entity-type":"item","numeric-id":5718562,"id":"Q5718562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765158$82ED7AF0-D4F6-4149-8DAD-DF47D341BB39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a59f1409d39ff88583d0be969d1c4134fc0fcb61","datavalue":{"value":"10.1016/J.APAL.2004.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765158$A6C9608E-8DFA-4052-B058-127D14C4CA02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db6d5a1c9a37a03d1d65a80bdd581c690c5cec3b","datavalue":{"value":{"entity-type":"item","numeric-id":2267746,"id":"Q2267746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b86dd87cc63f741ee6d0d7414fe27b5f48a250f","datavalue":{"value":{"amount":"+0.8198624849319458","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":"Q1765158$56AA33D0-FC98-4177-B62F-AB0392C4E8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a06a118e525f62d2a195296ad3c9186e936cf64","datavalue":{"value":{"entity-type":"item","numeric-id":5253934,"id":"Q5253934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24b34d12240b463de9d582f9e364655c59afcf8","datavalue":{"value":{"amount":"+0.7897925972938538","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":"Q1765158$C1978E9E-EE3D-40E7-A72D-006054BF713A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db39a8b5c396522f2dbd37c4d17007eeb173c8ad","datavalue":{"value":{"entity-type":"item","numeric-id":1902734,"id":"Q1902734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4124d000c0d70526eda3b198696336540b079b","datavalue":{"value":{"amount":"+0.7723027467727661","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":"Q1765158$E8C18B14-A30E-467E-968B-61F0DF521918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab66c10e13f74620788bada434726c825028057a","datavalue":{"value":{"entity-type":"item","numeric-id":2566070,"id":"Q2566070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0801c2118093171cd62911cb300d1895b94ef7d2","datavalue":{"value":{"amount":"+0.7702637910842896","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":"Q1765158$24298A96-07C5-4498-8312-F1081992D5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcb7b032c2aa94ae358df0838a3d81d40a7a65d2","datavalue":{"value":{"entity-type":"item","numeric-id":5434519,"id":"Q5434519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a20f05e36d5f0f44289f0ba863dd767e0428d7","datavalue":{"value":{"amount":"+0.7660714983940125","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":"Q1765158$5D0C8630-BC46-4C81-9FDD-020748A3889B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Independence results around constructive ZF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Independence_results_around_constructive_ZF"}}}}}