{"entities":{"Q2566070":{"pageid":2576813,"ns":120,"title":"Item:Q2566070","lastrevid":48554311,"modified":"2026-01-05T05:07:14Z","type":"item","id":"Q2566070","labels":{"en":{"language":"en","value":"Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207226"}},"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":"Q2566070$B9A55201-712A-4DFC-9C46-DB42B6BA6250","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faf4c4b9bbd5fea312fadbf6212de948be463c1d","datavalue":{"value":{"text":"Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566070$B410446A-F75B-4D3B-9C42-FEADDF280F44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ecdd8edf69fd1a64b012de104325c624ebde4e4","datavalue":{"value":"1073.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566070$9826F8AA-ED5D-428F-B83B-5CBCAF49C5E1","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":"Q2566070$22DCDCEE-D185-4B21-B608-9B6C0A0F1A08","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":"Q2566070$8CD56AF1-DA3E-444D-BB96-F9ECBA33BAF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec9da92ba7b4e525d61f27d0c249399f1779b4c","datavalue":{"value":{"time":"+2005-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566070$CE63177A-2203-491B-B8B6-324079E999E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566070$F9C8300F-6165-4051-AA5C-D53B1B0EBC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566070$AC1BE30A-8F24-4FF5-B797-6A871076DD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566070$587CA8FF-911F-47F6-82A6-94E54C0CA27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566070$8668AD30-F07F-44F1-A8E3-14CD1232F954","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3178e17504007e0814c814752b37f21f55eeee45","datavalue":{"value":"2207226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566070$24366937-EC03-4D9C-BCD0-7DD17071F0C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566070$B09433A8-7FA9-4CE1-B908-3AFCF8F9F42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566070$336C0138-3A05-488A-9253-920B516B4C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f163961d6a9cbfaaffddb5a2e35bd849a040aa2f","datavalue":{"value":"Replacement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566070$99F4B891-7C4D-47D4-B7D7-04B239A72F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1129066ad27cd881f14e0fb577592b1e4980c6c8","datavalue":{"value":"Strong Collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566070$B0BE3C45-D1BA-42DA-82E5-03B1804A0E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc6c2f7f8fe54cab741505e50021b77652070109","datavalue":{"value":"Regular Extension Axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566070$3FB6AA8F-3281-4EC2-8426-F5E2F6F214DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"863619a03ec3b6400999b9a481faa1568e4f2711","datavalue":{"value":"trichotomous ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566070$B82B71A2-667A-4AFC-812F-B1F96CF8260A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566070$8B99A3E5-00EC-42E5-B150-329B8FF14760","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":"Q2566070$91CE92CC-91A8-456C-8722-B48577CC86E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86ccfb1b6a175e1422962a23e9f54f70da6640ad","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.05.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566070$0D2471B7-2CD4-4B5B-934D-7F0D3A2E883F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7860edea95302c1a0989f8359df922335fd89ff","datavalue":{"value":"W1966969477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566070$E36ABB83-BFF8-47EF-B793-8B4E7F9B6554","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566070$AE0A4720-A719-4747-BCFB-58CDE214FC70","rank":"normal"},{"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":"Q2566070$4D86EBC5-8FB5-4791-B4D5-F8B6144CC1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566070$4E757564-44D7-489F-AB6B-B4CD0DCE8762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d231028a06b9247fe4eceef543855a118cf2b5f1","datavalue":{"value":{"entity-type":"item","numeric-id":4109654,"id":"Q4109654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566070$CE1A1A74-19C4-4962-8424-1B5EEF875AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17fc2e7459eaf322f6bdf4106f28738c73144017","datavalue":{"value":{"entity-type":"item","numeric-id":4198748,"id":"Q4198748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566070$CF02A0CC-7ADD-4593-BE2D-E496F0B71E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566070$8BA8A45F-9855-41C9-832B-F693993DD5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566070$ED66BC35-0B4A-4CFF-8A93-D4D3B4DEA69F","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":"Q2566070$80ADB542-5D78-476F-9CD4-68FC3E28DCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397e4e2ee65292a376a8df287bc918d9ec760e88","datavalue":{"value":{"entity-type":"item","numeric-id":4749835,"id":"Q4749835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566070$515D9FA3-E297-423C-9C57-D6B16CD5A2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb41e9770a958f62aaacb94077bfe45e3d916bf3","datavalue":{"value":{"entity-type":"item","numeric-id":3222842,"id":"Q3222842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566070$D8B50172-C88A-46AF-AE80-1C680B059C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24b5b561cde7a5eef6f6e87df461bfda495bb00","datavalue":{"value":{"entity-type":"item","numeric-id":3773877,"id":"Q3773877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566070$F4C09336-8FED-46C3-B99A-A8F2BFA6C4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6629326274d1895876e66168171702b70b52bfc8","datavalue":{"value":{"entity-type":"item","numeric-id":4934564,"id":"Q4934564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566070$FFD16A78-9FC5-41E4-8FBE-63F182D29990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33165e9ecfdb2151c42309efd1e2f466399eb45","datavalue":{"value":{"entity-type":"item","numeric-id":4453639,"id":"Q4453639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566070$4EFC8A1C-6257-45B2-A21F-9624D8E86DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e80696d0c1481ebe3a3d5a74c29ad90ccb07ba4f","datavalue":{"value":{"entity-type":"item","numeric-id":4434505,"id":"Q4434505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566070$1F23C604-A1C0-4007-9D83-EA23872DAC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566070$383A1A8C-30BF-440C-ADCF-7DF6F7E735F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"646c52a50f4be86fd47074100202109786ed1b42","datavalue":{"value":"10.1016/J.APAL.2005.05.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566070$2A30CCD1-E134-47A9-87B9-EC108916C01A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8664d2a613545814340c2173b7516c3df588afa8","datavalue":{"value":{"entity-type":"item","numeric-id":3710522,"id":"Q3710522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c35a0d72544b7d9e2ac9c8aa102777613b721eca","datavalue":{"value":{"amount":"+0.8460831642150879","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":"Q2566070$6C5BFCD4-6840-451E-A674-0AC645C9C267","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":"976d1cd92a811735fc9c6ec203f85d9d1035fd43","datavalue":{"value":{"amount":"+0.7872401475906372","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":"Q2566070$1859170C-96F2-4CD3-B6C5-754563467CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf1f736f104363fbded34708ff0e05723b94dc4","datavalue":{"value":{"entity-type":"item","numeric-id":5900206,"id":"Q5900206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6ef6121317fcebe49ffcf87670f0623b1ef6850","datavalue":{"value":{"amount":"+0.7686203122138977","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":"Q2566070$007AFC97-3A7E-470A-9333-B285237F5909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c7a78c05cdd05687b5688dca10bc9a017489e1","datavalue":{"value":{"entity-type":"item","numeric-id":386630,"id":"Q386630"},"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":"Q2566070$97798C0E-529C-42E9-92DF-A182206D0FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0911deb8dfc220c1fa072f54145e697e3dc2b2","datavalue":{"value":{"entity-type":"item","numeric-id":1765158,"id":"Q1765158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0abeabc1ae52e22344f0d7ae7490bbe6c1a9505","datavalue":{"value":{"amount":"+0.7543295621871948","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":"Q2566070$E2828BAA-9033-4F17-BC26-D57B7364CB6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2566070","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2566070"}}}}}