{"entities":{"Q386630":{"pageid":388397,"ns":120,"title":"Item:Q386630","lastrevid":61454346,"modified":"2026-04-10T23:28:48Z","type":"item","id":"Q386630","labels":{"en":{"language":"en","value":"Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236868"}},"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":"Q386630$BA4AB6D8-96A3-4A4C-9650-0FBCB9077ED0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a2e214ef0239113d1f80c5da5f6acd78a4f1f1f","datavalue":{"value":{"text":"Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q386630$7EB4D1A3-2179-41E6-9B0E-32E7B963CB84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"573faa095edbdc1e589964604a5998e8cdc4bfb5","datavalue":{"value":"1323.03075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386630$401F0C70-337E-4A7E-AB95-ACC2B0CDE179","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":"Q386630$FD9B6AE2-FAA8-40E7-951F-6B814B20EDFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386630$3B83EA46-6479-41FF-960F-65AD9227714B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e990124985cbc9928eee57b5fc6b3c854c8f2494","datavalue":{"value":{"time":"+2013-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q386630$C37666C7-A9C7-4990-8FB0-297051C51640","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"157dc8dab0e20ce721a95e37db1bbd5a1be1ec6d","datavalue":{"value":"https://arxiv.org/abs/1302.3037","type":"string"},"datatype":"url"},"type":"statement","id":"Q386630$2E86D5D2-C84C-4CC9-B4A0-F5B88D437051","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386630$05BB5D64-1021-40FD-BB92-0651585B0A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386630$21C7288C-5E90-485F-8BD4-DD4C95C1B3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386630$53CF01E4-B03A-48C4-B790-F6E9241DBDF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a323fc1ae563c0b98a4df3f4fcff391c244e1dd","datavalue":{"value":"6236868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386630$FD80BB41-A4A9-4505-8F74-1A2C38E48B8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q386630$289F0F0B-5F4C-4F46-BE95-9E23A8ABFA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dabfa5a0e9df9d9dc9a2fe4d33fed6b0932daa2","datavalue":{"value":"limited principle of omniscience","type":"string"},"datatype":"string"},"type":"statement","id":"Q386630$F932B3EF-7683-4A01-A264-08F0F5DF99E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q386630$4E0BF380-E048-48F0-807A-6519238346EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q386630$D527DAF7-C969-4022-AA15-4BDAC068D9CB","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":"Q386630$C9738DE4-FFD0-4AF9-A807-9D9050371D79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b583a5bb8036e2cb83b5d878cf190fef5638fb72","datavalue":{"value":"W2129311016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386630$54769136-090A-498B-8E83-6781E62EB401","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ce02e7d3aac6f7b075a42bdcffacdca0975f9c3b","datavalue":{"value":"Q59901001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386630$48A73EFF-C6CB-4DD6-81F0-1C1285458755","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9779d2f20504dba38f482f942c0abc04f8e04e14","datavalue":{"value":{"entity-type":"item","numeric-id":3310616,"id":"Q3310616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386630$CCAD47B9-F73B-49A6-8045-EB70035BB7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a41e51759b03d93fbc94ef3ba8acf0dd412666","datavalue":{"value":{"entity-type":"item","numeric-id":4040375,"id":"Q4040375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386630$1492B163-60E3-465C-B988-E5DB4561ABD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d47cab2e708383cf2cf9fe63632870143dce0d","datavalue":{"value":{"entity-type":"item","numeric-id":1938396,"id":"Q1938396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386630$A0FA9997-0EC6-41E4-ACA2-91DE024D4079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795988a055edb64e2872e1fd206565bb5c7a4af7","datavalue":{"value":{"entity-type":"item","numeric-id":5622162,"id":"Q5622162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386630$FE559716-5491-40E5-91BE-706658ABAEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff45213e7705dbf9044ed2762732fabe6973416","datavalue":{"value":{"entity-type":"item","numeric-id":1236108,"id":"Q1236108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386630$348230AB-E0E6-44B2-BCA1-C074771CAB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"621f08af4e2a851356004d8db64a5c7613a74652","datavalue":{"value":{"entity-type":"item","numeric-id":5604458,"id":"Q5604458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386630$196A599C-E618-4DB1-A55D-212A9AF4FE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386630$8143ECCB-D093-4D79-A6EF-1252CBACCB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688cea5a817911a84036b242cb5a151143cdc0bf","datavalue":{"value":{"entity-type":"item","numeric-id":5680102,"id":"Q5680102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386630$81310BE2-1705-4707-B4A5-839309170F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd563c8e7e782ee36eec340808cf341dbeeb62bd","datavalue":{"value":{"entity-type":"item","numeric-id":5569099,"id":"Q5569099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386630$4BD46D1F-8560-4EF2-B9E3-C2D3666E304E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386630$B1A03681-E98F-48D6-8DA7-753C4DECB37A","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":"Q386630$04A9037C-4FE1-4657-8648-B3CA9B259F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96100d3945c0bd9f53640a81d642477488cbdc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5310885,"id":"Q5310885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386630$FAE5CE35-C9B3-4DF5-9FFE-8435A90EDC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46cad03e160a9637ee0d8c986d58a204202bf66f","datavalue":{"value":{"entity-type":"item","numeric-id":5435636,"id":"Q5435636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386630$E02B260B-FE52-4387-B577-0F02D5E28B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"963485469aceb0582dd2c60644ec88f187611b06","datavalue":{"value":{"entity-type":"item","numeric-id":2500469,"id":"Q2500469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386630$5AA2CCF0-4067-4981-9FE7-245886CBB2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf9647bfa341a64c29feed40e53149718272c3e","datavalue":{"value":{"entity-type":"item","numeric-id":1210137,"id":"Q1210137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386630$3EBD86B6-16A7-4E8F-A7AE-15C14AF563E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386630$20762534-4AFC-4A69-BB83-DFD35B3BD635","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbd37bea50e50cce5995daf1217c50b7fdaf7260","datavalue":{"value":"10.1016/J.APAL.2013.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386630$8BDF4BEF-3AF9-47BB-BB98-163B1015C2DB","rank":"normal"}],"P1643":[{"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":"6a9edfd59a8493f672fc61fe97b0a735cd68afbb","datavalue":{"value":{"amount":"+0.7954582571983337","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":"Q386630$86E717EB-3A2E-47DF-8671-5B7E9F62B180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a06a118e525f62d2a195296ad3c9186e936cf64","datavalue":{"value":{"entity-type":"item","numeric-id":5253934,"id":"Q5253934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e06a04c0ae04e2555c17f64e341cb6981f2abc","datavalue":{"value":{"amount":"+0.7836943864822388","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":"Q386630$D46A77B4-2AC2-419E-94D0-91828248D752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab66c10e13f74620788bada434726c825028057a","datavalue":{"value":{"entity-type":"item","numeric-id":2566070,"id":"Q2566070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7648ba960ddb9a728209a383efb583d0eec976","datavalue":{"value":{"amount":"+0.7614421248435974","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":"Q386630$B1C4DF0D-C7E2-4C4F-91BE-3382A43D4ACB","rank":"normal"},{"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":"71ee7f03426df38e03af0741b5be8dc36c8a6c38","datavalue":{"value":{"amount":"+0.7548683285713196","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":"Q386630$3D3B5328-7A51-425E-A5F2-5524BBA73DE4","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":"e698f6257e6a4b491084dcdfbb635519e1e5d465","datavalue":{"value":{"amount":"+0.7500648498535156","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":"Q386630$9BAD750D-91BA-4289-A99B-BB70854A27C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_Zermelo-Fraenkel_set_theory_and_the_limited_principle_of_omniscience"}}}}}