{"entities":{"Q5384979":{"pageid":7414553,"ns":120,"title":"Item:Q5384979","lastrevid":50346527,"modified":"2026-01-13T21:03:10Z","type":"item","id":"Q5384979","labels":{"en":{"language":"en","value":"Metamathematical properties of intuitionistic set theories with choice principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5269065"}},"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":"Q5384979$9257DB34-E505-467E-8576-92FBEE62E472","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4eedf68fe0ba6b0999e1ae36c73c942ef028d31","datavalue":{"value":"1137.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384979$CFB4AFB2-E8CC-4B21-8C73-9B9525FCAE9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384979$0AFD4269-EE92-4F21-9684-67148E125827","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"556750df24c21153fcb785f7068c27ffbf372e44","datavalue":{"value":{"time":"+2008-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5384979$43C9093E-5940-43E6-97DB-16C73D2C7911","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384979$FDA28729-4179-4650-9C33-A8B1C6C4C059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384979$0FFC7A3A-855E-42C1-945E-6082839B1C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384979$B95CA8F2-7F95-4EC1-B902-364013E3E45A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ac00436c9456ed874da2ec9a0df295494fe644e","datavalue":{"value":"5269065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384979$25E7A4C8-F30B-4D38-A02F-FAEDBFD0E3DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f06648b1ea4da55b0c763c34e8627b7b5af18ab2","datavalue":{"value":"intuitionistic Zermelo-Fraenkel set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384979$50FD5A20-EF58-4BF9-842E-5AF5D9DF185D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384979$597E21FF-DCCA-4844-8F17-A5663F02D952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"487ccd54a929d375cb0a8d58ff59a287e9dcdb9a","datavalue":{"value":"numerical existence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384979$714C9924-173B-4065-B631-A7A29368B5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a3fd2c9b607b2b4653edea36a8abef1fc2f3516","datavalue":{"value":"Church's rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384979$3D6BCEB6-BB11-46A3-8CCC-B5084986DE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e8289e17c4994d05e13bc05294791fe93ca8b83","datavalue":{"value":"constructive Zermelo-Fraenkel set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384979$F1736F04-729F-4B90-995A-C6E309E4CFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ed99d94397511bd8e22ab2437f30b726b49b0b","datavalue":{"value":"program extraction from proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384979$FC3A808A-B501-4315-B12C-9C15699C98F3","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":"Q5384979$BD4BA2FB-2B7C-452F-8012-B4882DA4400C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee89132d7b998afbc83c8c4afa220269b3a2065","datavalue":{"value":{"entity-type":"item","numeric-id":5486250,"id":"Q5486250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5520092788013db4e22192f954ef5fd49545859","datavalue":{"value":{"amount":"+0.8344918489456177","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":"Q5384979$478A29EB-301F-479D-A6C6-FCAB8FCCB844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77651a83d13f3dd6bd7395e0e1def5d8d0d19ab3","datavalue":{"value":{"entity-type":"item","numeric-id":793723,"id":"Q793723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95f637c80c3ebf90111002a1d525f1384ce2e3ca","datavalue":{"value":{"amount":"+0.7934800982475281","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":"Q5384979$BD55E1D0-CF04-4F93-BE8F-763C4FFB803A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a946135b63042f89461cdd3ae6b047743c12cf3","datavalue":{"value":{"entity-type":"item","numeric-id":5494237,"id":"Q5494237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f93d2ed81434d1902a7cff533ac6717c9d5a8769","datavalue":{"value":{"amount":"+0.7895455956459045","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":"Q5384979$4B469F66-241D-40C6-B45A-346082963732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d84fdb7e4290ac28ca8e4d46b03ffee51b82dc","datavalue":{"value":{"entity-type":"item","numeric-id":5241928,"id":"Q5241928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af97a3d8ecffdc6b5058ad31ee419880a724a86","datavalue":{"value":{"amount":"+0.7671366930007935","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":"Q5384979$947117B9-B8F3-4921-A3B5-0666934E719D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011316d428c9e4011f8c77d6d4d528a075be43f4","datavalue":{"value":{"entity-type":"item","numeric-id":2637709,"id":"Q2637709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bbe83b3f03d59ee3783460c132ca15190716124","datavalue":{"value":{"amount":"+0.7635343670845032","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":"Q5384979$10F9DE37-7EE3-4F09-933F-B6AD0427FB5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5384979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5384979"}}}}}