{"entities":{"Q5486250":{"pageid":7515810,"ns":120,"title":"Item:Q5486250","lastrevid":49910230,"modified":"2026-01-11T23:21:02Z","type":"item","id":"Q5486250","labels":{"en":{"language":"en","value":"The disjunction and related properties for constructive Zermelo-Fraenkel set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5051862"}},"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":"Q5486250$BF768F6D-8FE5-4550-8F73-26DD8A69332A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32e2ecc947b80324f00786c0c903b26c90e40580","datavalue":{"value":{"text":"The disjunction and related properties for constructive Zermelo-Fraenkel set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5486250$85AD5D90-C9B3-4E29-BBAE-3E002CC9A2E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d15adda956a2013868f23fcedd19d88869849087","datavalue":{"value":"1100.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486250$D34714AC-7489-4742-9379-EEB48202763C","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":"Q5486250$1EFD88D2-0859-418C-AA83-B98DC87B1922","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":"Q5486250$CCCAE9D3-988D-4793-B132-B8ADBE91E343","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7939b34d547994f9e0d859014ca3dd3153b5173f","datavalue":{"value":{"time":"+2006-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5486250$C6C4F4F3-9839-4DCA-B765-F1C3E17BCD0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486250$F874F80C-522A-4F62-9FC7-ADD3C56FB6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486250$9B7F7CDE-9D95-45F6-8D76-1B207FCFE327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486250$D3644D7D-6FA0-4A61-9481-415F3EADB2A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77f560c7df12718b3a5e58f48504380422b9cebc","datavalue":{"value":"5051862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486250$86DF5FE2-432C-443B-9FA6-787EF2FFB7B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486250$D605817C-BDAD-4F85-8A14-55527E32ED96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"487ccd54a929d375cb0a8d58ff59a287e9dcdb9a","datavalue":{"value":"numerical existence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486250$7C66CE8E-D584-4B1D-BCBE-163C05E0A501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a3fd2c9b607b2b4653edea36a8abef1fc2f3516","datavalue":{"value":"Church's rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486250$EDA51275-CF04-4446-B9A4-C5DF860DE038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e8289e17c4994d05e13bc05294791fe93ca8b83","datavalue":{"value":"constructive Zermelo-Fraenkel set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486250$6C94918B-5F55-4C8C-AE15-42AEF84E02C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9524ee5ea287de0384370b548ab7fc4bdffdd5ce","datavalue":{"value":"regular extension axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486250$8026482D-0E0D-41E4-9943-5C9E1E8AFE8D","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":"Q5486250$F9116EC2-39E3-4597-AF15-862DC00EB2A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fdc6cb7b6cbb771d96ded28c873c0f8eb3413a0","datavalue":{"value":"https://doi.org/10.2178/jsl/1129642124","type":"string"},"datatype":"url"},"type":"statement","id":"Q5486250$163F8222-BE33-4832-9061-02EC36036B13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91cc733258565cdc06cc287481b846e499f14c59","datavalue":{"value":"W2056914778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486250$5FC6B41A-0591-4E26-9A79-46184659CBD0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e287a76b72955cd46eadf7e27e2c11d6ff9865a","datavalue":{"value":{"entity-type":"item","numeric-id":1094418,"id":"Q1094418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486250$84E55C39-EF48-4ECB-BC07-221AF5952D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36966a8e78b7ca52795d4f824a4634dc030e8550","datavalue":{"value":{"entity-type":"item","numeric-id":1612481,"id":"Q1612481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486250$654997AB-6F20-48E3-A28D-B08E413A39D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486250$174E0AB8-CC49-48D3-B619-B0E0605FFFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d6907ea4b0793780103a07987b11c4056a5cf28","datavalue":{"value":{"entity-type":"item","numeric-id":5659531,"id":"Q5659531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486250$63E8856A-BB14-4C64-BCEE-F1078AE84308","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":"Q5486250$707AC3CD-BC09-4B1A-8641-105870605BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc685678ae00b0cb421d4450146de95939d642d7","datavalue":{"value":{"entity-type":"item","numeric-id":793723,"id":"Q793723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486250$DFC409E9-A64D-42A8-AD35-7847C686E88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7ea38f610625bcd545c72bc177a298f6e2eb43","datavalue":{"value":{"entity-type":"item","numeric-id":4109645,"id":"Q4109645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486250$9986A863-C317-485B-8CA2-C2DBC3DAC53C","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":"Q5486250$83432DB9-8A44-4FB0-BD33-B07B48517A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc9c5f4d2a3665ff37b68ff31d08bc5eef515af","datavalue":{"value":{"entity-type":"item","numeric-id":5611760,"id":"Q5611760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486250$C00F0BB8-D64D-42C2-9847-0D48B07E5708","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9eadada4023ea787c5f63877bd61f076848926c","datavalue":{"value":"10.2178/JSL/1129642124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486250$C62521A5-5AA3-4E55-BD69-F65BFE83906B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd32bf7ba0e3c2dc900409072052fcfc16181055","datavalue":{"value":{"entity-type":"item","numeric-id":5384979,"id":"Q5384979"},"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":"Q5486250$FA7FF031-C9DE-44D7-B245-E8B697FFD61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec70ff52fc796e00caacfc9a4c85f6c74c9f07a","datavalue":{"value":{"entity-type":"item","numeric-id":5477363,"id":"Q5477363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc12cf66fd785273bde88383cf4fa811bfb2490","datavalue":{"value":{"amount":"+0.7918131351470947","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":"Q5486250$B0385AC3-AF76-4ADD-94F7-FC54182DB4D4","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":"597d3fc3356b3fd35d03857b7309992c51aaff98","datavalue":{"value":{"amount":"+0.7913113832473755","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":"Q5486250$12C831B2-F5ED-4C87-9AAC-D9496A20700C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903fec9f8f4fd8c5b1487f80e0d410765f61a896","datavalue":{"value":{"entity-type":"item","numeric-id":5310885,"id":"Q5310885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcfa6e5607b196e5864a22f4fdbbaeadc49a8f1c","datavalue":{"value":{"amount":"+0.7668705582618713","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":"Q5486250$B54E3973-4624-4813-9C46-97B1E6CB26CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e3531ca5baa0e71d970e1f7742f2d4f1bea84d","datavalue":{"value":{"entity-type":"item","numeric-id":2500469,"id":"Q2500469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f06e4b398f7f50631bd6e0e1bc80d2cd86ae7d2","datavalue":{"value":{"amount":"+0.7582869529724121","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":"Q5486250$26C86544-5206-4105-AA37-CDE9B050DC58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5486250","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5486250"}}}}}