{"entities":{"Q4358052":{"pageid":6387651,"ns":120,"title":"Item:Q4358052","lastrevid":40995915,"modified":"2025-04-17T06:02:21Z","type":"item","id":"Q4358052","labels":{"en":{"language":"en","value":"Completeness of global intuitionistic set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1067267"}},"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":"Q4358052$AD436F6B-54D6-4EAA-A799-60E5980D631A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"535d6f05eed67302113bca4bf2835f9811b65ec4","datavalue":{"value":{"text":"Completeness of global intuitionistic set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4358052$9861716C-F424-4ED0-984C-1C9C0F1872ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"596a98bec941e4c264262b8146ae34afb8e6644c","datavalue":{"value":"0907.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358052$2573DBF8-E123-44D5-8A0F-108C0E0F2760","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebae2a0365a363deeb6d540e381ba6fb308e3c1c","datavalue":{"value":"10.2307/2275544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358052$F22644E5-EAF1-4959-9BCF-8EE04FDA324D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a444d6768b4d4bd87eadc8d3ed91106bd20b3d17","datavalue":{"value":{"entity-type":"item","numeric-id":361854,"id":"Q361854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358052$B47BAC5C-6D3D-4445-92AF-0A24F0EC97D9","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":"Q4358052$751EB281-F1AC-41B7-A7C8-FEC808E17B76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ca81668723b17b38fcd31dd2e967490600b6d1d","datavalue":{"value":{"time":"+1999-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4358052$9FA89F3A-7AF0-4338-B526-AACC93F57825","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358052$569C019B-E525-4CA9-8C47-3A6DDEEE2423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358052$5F8A04AA-CED3-4EB4-A785-3F8846E706F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f57ebb3a52fecb2563ec682aacff72b885183784","datavalue":{"value":"1067267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358052$FAA96A50-B5A8-408E-9909-F18BD0E37408","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358052$4F66B19A-9DCA-4870-9090-5454722E2A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ec52bb8e5d0a26908ab685fdc35a3d8c06c43b7","datavalue":{"value":"sheaf models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358052$7CFD822C-4E4E-496E-80D4-8A6DA2CE253D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358052$70977C3E-8332-4EBA-B1AD-3AC94FB24E66","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":"Q4358052$3EBD82DA-EF9F-4E83-A586-79DA5945F042","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6681e775571f19e6cce4fc71d1aaeed806b24338","datavalue":{"value":"https://doi.org/10.2307/2275544","type":"string"},"datatype":"url"},"type":"statement","id":"Q4358052$1186E8EA-41B3-4EB6-9172-B31D5E0AC9F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad0258366a97b13da69eb671480ec152eb232b46","datavalue":{"value":"W2152456478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358052$2B75B33B-7023-400E-8A0C-88656380129A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"919d5232793ecfe740e82355ea229d16248f620d","datavalue":{"value":{"entity-type":"item","numeric-id":1095903,"id":"Q1095903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358052$DF10CFD5-3767-42E1-A77E-7387A9A569E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd2995738d5efb382e56461a4163a9e0c5cb667","datavalue":{"value":{"entity-type":"item","numeric-id":4128815,"id":"Q4128815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358052$D436701B-2D5A-4F8F-B1AC-B72F2B5C0B60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18306ba6ce25f0a59a123708c4f4ae36bdf962b4","datavalue":{"value":{"entity-type":"item","numeric-id":4393167,"id":"Q4393167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb2b5726eefe087d5d55308f25d1f170de287503","datavalue":{"value":{"amount":"+0.9258556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4358052$255408DD-0605-49D2-9113-4B973E12CEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22eed11b0b0c9c9ec9c7b273fbd8edcda3ada453","datavalue":{"value":{"entity-type":"item","numeric-id":4397034,"id":"Q4397034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f92886e208a05b1c4019af0c1109db31e75052","datavalue":{"value":{"amount":"+0.91309536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4358052$0F5A20C3-F0E7-4423-8978-86C3E2BC7CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43999ffd57b30b38ed56de1ae3879b146bb128b1","datavalue":{"value":{"entity-type":"item","numeric-id":5148098,"id":"Q5148098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c21217780342a108b8ad5b14c06c2ea9cabcd9b3","datavalue":{"value":{"amount":"+0.9055855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4358052$C1F6F00C-4FB8-469E-BEA9-EE9D287FF027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bda8203e90c35ad1cc66854ea0db74d933291f4","datavalue":{"value":{"entity-type":"item","numeric-id":5502819,"id":"Q5502819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9e13c1612effd02a66d244432f48ae108bc24a","datavalue":{"value":{"amount":"+0.9041691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4358052$3C6142E6-EB6C-4117-AB26-AD1ECE969AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2f66716ea3cae6775dc59c9de749828666855a6","datavalue":{"value":{"entity-type":"item","numeric-id":1095903,"id":"Q1095903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86ac22beb5417ddc501f23545068ac08f987783","datavalue":{"value":{"amount":"+0.90057296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4358052$BDFF4EF9-AAB9-4027-A17D-A98A049C2620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ef599d2f05927f449d5b569e55c790c3b256b7f","datavalue":{"value":{"entity-type":"item","numeric-id":4663830,"id":"Q4663830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76bd1d62245902f2f21a4e919f390d255a5422f6","datavalue":{"value":{"amount":"+0.8915841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4358052$A72D19D5-E067-4770-9456-1FAB844B93F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04665e1a2ca84ce1e87cc6b03b59cb2ddc8d2f29","datavalue":{"value":{"entity-type":"item","numeric-id":4304130,"id":"Q4304130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0dc66834cff09884e4f7c93b80fd5c9d27e6199","datavalue":{"value":{"amount":"+0.88748413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4358052$F336B14E-D69A-4857-91C6-CD388958F6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b1ac08e0c6cf52fc8bbc2cd5f7227f15b05548","datavalue":{"value":{"entity-type":"item","numeric-id":3744155,"id":"Q3744155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97fd1078aa89b720a25af9a6cd12227a4a04b710","datavalue":{"value":{"amount":"+0.885482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4358052$448C8665-23A9-4DB4-94AB-0166DA79B98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8f96017947db886939948edcbc5368dc45920b","datavalue":{"value":{"entity-type":"item","numeric-id":3508165,"id":"Q3508165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496c32ffe5434676036b400649a9e620b38d289a","datavalue":{"value":{"amount":"+0.8854637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4358052$2D542B6D-45DE-4B0B-B626-B5DD7A5EA070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8acbcea615e143c05cb6b9979d4c7a0738f10cd","datavalue":{"value":{"entity-type":"item","numeric-id":1868240,"id":"Q1868240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8203da6a8154ef8fcf58525400e733798844a057","datavalue":{"value":{"amount":"+0.8832975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4358052$F05D168C-35D5-4CCC-A1DD-2664AE485113","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4358052","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4358052"}}}}}