{"entities":{"Q5382834":{"pageid":7412408,"ns":120,"title":"Item:Q5382834","lastrevid":92443559,"modified":"2026-06-05T01:44:01Z","type":"item","id":"Q5382834","labels":{"en":{"language":"en","value":"Preserving dependent choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7067799"}},"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":"Q5382834$8E24D390-CF1D-4838-AB60-10BA552CAF06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d5382463b50994cf6b687ca66f773fc0a8a4451","datavalue":{"value":{"text":"Preserving Dependent Choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5382834$5920B627-AE02-40FB-A80B-9010A9590266","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b344ff418c00225c3e445a395a76c2951d2322e7","datavalue":{"value":"1479.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382834$12409F85-19EC-44BE-BFAC-448C0195D6B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e253b27445c92d5126814a6a16a57df8ac0c14a7","datavalue":{"value":{"entity-type":"item","numeric-id":283095,"id":"Q283095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382834$ACDF9774-65E2-4710-BAFC-61DF9CDEF3E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"001edf23e586a650fb6b34425b0aaf644eda2260","datavalue":{"value":{"time":"+2019-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5382834$CBCC39E6-5A4F-47B9-A493-B4DD9CC21558","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ab1adcd29189059e3827b5e86067fa088fc4a3e","datavalue":{"value":"https://arxiv.org/abs/1810.11301","type":"string"},"datatype":"url"},"type":"statement","id":"Q5382834$09F4437E-DC0E-4D3B-994A-19CA8B6D5781","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382834$12C80418-34EA-4B04-AF81-1727B69351E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382834$9DDCD8B1-593A-410C-B65E-5D199F55759D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb6e216d0fef80fe6b0f0d292c125be3bf0bc7b7","datavalue":{"value":"7067799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382834$14214D15-7E6E-48FE-B526-1E8CAD31931A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa9f411475e8ac7beedca17409ad10e6adfb2fd4","datavalue":{"value":"symmetric extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382834$6F1C8DA0-EE22-4B93-BEF2-E036F2650950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b554279a6b3d2763e31e966664501fdd51a92def","datavalue":{"value":"dependent choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382834$6EAE546A-5BE7-47A7-9FCE-AA4902C970DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d32c3a902c11008c77b23203320e14139c60434","datavalue":{"value":"the axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382834$7747F42B-B260-408D-9864-61C5194EECC7","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":"Q5382834$675EC778-E276-4B99-9456-AA9DD3522505","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d5d86666fc8be4aa0046f9712d4ba063248ce26","datavalue":{"value":"W3099875334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382834$88F0DC82-7628-49B4-AEA1-F7B5D239A051","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04f3a978baa312872aef4bcdc71cb0ac98f03bb","datavalue":{"value":{"entity-type":"item","numeric-id":1938399,"id":"Q1938399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382834$834EBA9A-A718-46EF-B1A8-34B03B9FFF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c3534d4fc25c4fe0cea9886600f64ab6fea37d","datavalue":{"value":{"entity-type":"item","numeric-id":5001556,"id":"Q5001556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382834$5D798940-40AB-4EE3-B184-7700C598461E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810d80698e66a5db102507b3f47c7dc31bd09ecf","datavalue":{"value":{"entity-type":"item","numeric-id":1066892,"id":"Q1066892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382834$DADB3C56-990A-4F8C-BA15-DA8F05197645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc2c7f1183e945d8e5781f88811942ba7ea23af","datavalue":{"value":{"entity-type":"item","numeric-id":4563669,"id":"Q4563669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382834$78FF2AB5-6A0C-4B02-9FBE-A7F1ECF178CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb7d51ea028911877d256ae60269f520e76abec","datavalue":{"value":{"entity-type":"item","numeric-id":3861380,"id":"Q3861380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382834$403AB216-82A0-4EF8-8250-80CE910C4DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e17c934795dcd5ce894600514d66ecc5febd6d0","datavalue":{"value":{"entity-type":"item","numeric-id":5206479,"id":"Q5206479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382834$17EB9999-E3EE-4181-844F-6DFDBB5B024D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bdfb484d2291fd5aaef488a3a012b44ab1abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":1845031,"id":"Q1845031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382834$B05E5FEE-63CD-4A48-A55B-4384260CD792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d24b465e9e8ded91641c6b29da90d000b8dc8676","datavalue":{"value":{"entity-type":"item","numeric-id":4088906,"id":"Q4088906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382834$82C1B11D-B1B8-4F37-AFCA-C8C3CB226C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382834$96D4F4D0-E56D-447C-BEDB-14A13FA9B2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143a1e9b94b9ee5ce3f03d2edf8e4d348f3e55b1","datavalue":{"value":{"entity-type":"item","numeric-id":5420361,"id":"Q5420361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382834$EA954D62-EBDF-4C96-A8A6-C724F80E177D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e838e3351d1bb188a31e7ab86b531bd68e176ab","datavalue":{"value":{"entity-type":"item","numeric-id":4628676,"id":"Q4628676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382834$26CD738E-5FA5-416B-8D84-B8ED043E24DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865744e5b71cf7a49c91c488fc46297fdcf178ec","datavalue":{"value":{"entity-type":"item","numeric-id":4562437,"id":"Q4562437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382834$55AE338F-5AD5-4247-A742-EA2C2AB1B2CB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8fac315c90cf4e10c6d769d2c25cb5f9a2e9e517","datavalue":{"value":"Q128480831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382834$05156300-6BF9-4D80-A0E1-C4949D2A07BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6859780f4ab6a1fd403052b658c1c2adced6dd1","datavalue":{"value":"10.4064/BA8169-12-2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382834$BDC9EB94-48D0-47F5-B105-270004D1055F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b6aa42f07c45da864b06f97e3d006fc3789d6e4","datavalue":{"value":{"entity-type":"item","numeric-id":2787102,"id":"Q2787102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382834$574C1B8D-93F4-431F-BA4A-922E3AF75E67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b425d2f61a6be07cc72aff3d9e5dd4bdd9971cb","datavalue":{"value":{"entity-type":"item","numeric-id":5212436,"id":"Q5212436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f2dbeb50d28f651a9f560d23633a20d432e630b","datavalue":{"value":{"amount":"+0.7491979598999023","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":"Q5382834$DE708EB7-9CFE-4FFF-A98C-ED8A10A8E9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"105075917f696726c33d298f849782abd9e0a275","datavalue":{"value":{"entity-type":"item","numeric-id":4628676,"id":"Q4628676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d13e17459a05871298a9bbcd6dd10b6f99a2925","datavalue":{"value":{"amount":"+0.7443125247955322","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":"Q5382834$45492963-CBEA-4D4B-8C21-09F80A2F1FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feac0e89c86c9d55f61debc8de36c8304fbe7186","datavalue":{"value":{"entity-type":"item","numeric-id":3708796,"id":"Q3708796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bca1f0e336ec778efd2fe0c30a647d2abcaceeb","datavalue":{"value":{"amount":"+0.7369204163551331","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":"Q5382834$2EEDC46D-AABD-4ED7-B5B7-B21717C68F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741c4ad63319e68b8edfad678e5be54d03b9106e","datavalue":{"value":{"entity-type":"item","numeric-id":3682479,"id":"Q3682479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d45e769e7994d025e248ddeaf16963b3ebd56c3","datavalue":{"value":{"amount":"+0.7266985774040222","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":"Q5382834$90EBB1E4-22FC-4F54-AFBA-105553C1712A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46bc028fec08914a58afd553ea2feac85a93309d","datavalue":{"value":{"entity-type":"item","numeric-id":5108869,"id":"Q5108869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321b02c4e25bf663d44e48420350f9333401b51e","datavalue":{"value":{"amount":"+0.721958339214325","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":"Q5382834$C80D632E-6752-42B4-B0B4-80B6875CF7BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Preserving dependent choice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Preserving_dependent_choice"}}}}}