{"entities":{"Q4382475":{"pageid":6412074,"ns":120,"title":"Item:Q4382475","lastrevid":46538142,"modified":"2025-12-25T00:05:26Z","type":"item","id":"Q4382475","labels":{"en":{"language":"en","value":"Zorn's lemma and complete Boolean algebras in intuitionistic type theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1130655"}},"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":"Q4382475$97DEC8DF-FD61-41F0-A2A2-1A9C2EF6A542","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a91eae1b73c3439c184e8795f7ebff8b0211a224","datavalue":{"value":{"text":"Zorn's lemma and complete Boolean algebras in intuitionistic type theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4382475$8E3762F7-E731-41DF-A051-BE897634259F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae4be8cb968d05f8ba1bd984fe2a8c5b5d782eff","datavalue":{"value":"0896.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382475$8310A63E-E3F8-4401-A31B-FD11181A6930","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cd850a3072e2408ed1eec4575f5ec26765d3338","datavalue":{"value":"10.2307/2275642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382475$627EA6E5-A002-4AD8-ACEB-8162E41521EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382475$DE5F9F27-6D24-4FFE-B899-A5382E8B9392","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b45602d520d2a372d4a35334391b31b407de877","datavalue":{"value":{"time":"+1998-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4382475$8BCBA1DB-68E7-4E26-BBBB-11833F870C9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382475$AB6DC25F-F4DD-41FB-9192-5F8214F23A2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6cf2b6169ddec3b4002ce3a00b7fa6c14416229","datavalue":{"value":"1130655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382475$E9411E29-6B2D-4067-B67B-A97D5363C339","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"784b8bfa87a8f495f37d89c0f713645b8e1b69d4","datavalue":{"value":"Zorn's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382475$D6D4844E-2CB2-4A1E-B614-4630D264A866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3b4ee9400ab1f67d55df343ed038cb38292301e","datavalue":{"value":"Sikorski extension theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382475$D413C991-BC40-43E0-9BE6-3B10E298FDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"188777fe07aea93356fc3c9a70e23029a4d931b5","datavalue":{"value":"extension principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382475$68C4B2BA-346C-4A54-BE31-AD68FE4A17E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382475$0090B456-4D5F-4B28-AF81-966A1DE5DAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382475$38220287-3180-4702-8942-06D8CFD0AC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c01883259e404fee2a5dce79ae616b75b133ae8","datavalue":{"value":"intuitionistic type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382475$BFFDE2A4-815F-42FF-867E-5D2CA846D9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b086748560b23632edc941ffb14a5c442355b83c","datavalue":{"value":"complete Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382475$4DC11453-6A2E-46C2-90E7-59BF81F45B78","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":"Q4382475$DCDB6D02-40A2-407A-A701-864D6395100B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c15d891423021ded2c25c75111a1aeb863ff0690","datavalue":{"value":"https://doi.org/10.2307/2275642","type":"string"},"datatype":"url"},"type":"statement","id":"Q4382475$0BB5E272-E906-443D-B6D7-E854D0B01458","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12cd6d86aad5f072f2878b466c9bf6970781a62a","datavalue":{"value":"W2124870057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382475$5F5B982E-051B-4F54-AEF4-1B1DAC61834C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"39fef812186705b6218ffcc17d394eaa92d4ca26","datavalue":{"value":"Q125024632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382475$870A6F92-DC09-45AD-837D-6F600CD60A15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84d2b71085ae6649dcfdae3a7b11e7856659c7fd","datavalue":{"value":{"entity-type":"item","numeric-id":3322090,"id":"Q3322090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382475$CABBD27B-F6B7-44B4-8AA7-C23D30A70201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98141125be31996849e891c761d36b4a1bc1d194","datavalue":{"value":{"entity-type":"item","numeric-id":5903203,"id":"Q5903203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382475$7451EFD8-7295-47D2-9FEC-1F709D5D9E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f44b2f48c7558bc7f3a85caf4b8ce4d20efa5a","datavalue":{"value":{"entity-type":"item","numeric-id":5721231,"id":"Q5721231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382475$26A7B707-870C-4434-9C55-1F85E890AFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344479c6fdfabaca14baa31cdbd035d071175c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4039735,"id":"Q4039735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382475$41C54B06-9BF7-438E-989D-A0D1CE8DBA54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a83851fc7bada4ff1890c0abd85929cc725f54c6","datavalue":{"value":{"entity-type":"item","numeric-id":6481058,"id":"Q6481058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382475$D8F9A2A2-6F5B-42FF-AA63-1D41057274A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f29c48da1aa13211ba7e25a771e8fb53c4a705dc","datavalue":{"value":{"entity-type":"item","numeric-id":1423638,"id":"Q1423638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce38bc07660963fb8cc51f6c0da984be27c229e","datavalue":{"value":{"amount":"+0.7812263369560242","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":"Q4382475$98BA56EE-CC95-48FA-AA96-892A67988C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd2172040ac463e38700b10fca278458ac1f8de1","datavalue":{"value":{"entity-type":"item","numeric-id":3586990,"id":"Q3586990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f5724127c48b6468c7fc0779a29b519e103e13","datavalue":{"value":{"amount":"+0.7556210160255432","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":"Q4382475$0696F08F-B5BD-4D8E-8EBE-246B3FD962B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76dde0a3bad27070590c1c17508eb7a07e43f83b","datavalue":{"value":{"entity-type":"item","numeric-id":5121422,"id":"Q5121422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1154b95d3fc9ce88720f3de9d2eacd0aa16b896","datavalue":{"value":{"amount":"+0.7502620220184326","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":"Q4382475$9E962D04-5AAF-4372-81B2-13DBC59B4513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d827153ad894aed21dd71a86bccb66d15d49ca1","datavalue":{"value":{"entity-type":"item","numeric-id":418812,"id":"Q418812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96348e530ce4e024ce1aaa476b5e5c6379c109a5","datavalue":{"value":{"amount":"+0.7422652840614319","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":"Q4382475$442351A1-9669-454C-BBF3-0394707BD723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3610f91a40b3c26e2cd1dd7cda1a061c60845fcc","datavalue":{"value":{"entity-type":"item","numeric-id":5145679,"id":"Q5145679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfa7279a2b8c728071f82558225f438deaa6d735","datavalue":{"value":{"amount":"+0.7402790188789368","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":"Q4382475$914DD502-AD61-4EE8-844D-84DF6312B128","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4382475","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4382475"}}}}}