{"entities":{"Q4894722":{"pageid":6924301,"ns":120,"title":"Item:Q4894722","lastrevid":46395549,"modified":"2025-12-24T17:04:01Z","type":"item","id":"Q4894722","labels":{"en":{"language":"en","value":"On power set in explicit mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 932347"}},"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":"Q4894722$D956E14E-CCB1-440D-BA3D-EA9D1E71525C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aadcb37a588146ac6a56e39a27104e8ce31effe5","datavalue":{"value":{"text":"On power set in explicit mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4894722$D58B4AF2-2258-425B-8DF7-F6D8A9B566AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59a6ffd68d7acc5765ef5688ead3c5a81649ad8b","datavalue":{"value":"0889.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894722$B139F7FF-3F61-4788-A5B3-1083B3F833AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe9543f3e6f35f17d21fb89ec61bb696e286c489","datavalue":{"value":"10.2307/2275671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894722$1EA1B397-C5E1-4616-BEF0-23F3C34BE9DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89e0ed65e7892fb59de8ab256934abd0b2705926","datavalue":{"value":{"entity-type":"item","numeric-id":1356974,"id":"Q1356974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894722$489682CF-6D6A-4DE6-9BB2-5455F2417C41","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":"Q4894722$0CD91A24-FE22-4703-B577-AA83E0C49B53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ae9752aff2dd48bc096a697062a482a7ea4d20","datavalue":{"value":{"time":"+1997-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4894722$50F78BFD-D708-4AA7-BAE2-96E73254A750","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894722$F3DD51A0-FE5C-4EAC-8C1F-B1973AE78EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894722$0F462F44-240F-4715-AA29-5045DA1468A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3317df46871f6166fb86ea7ec8c7412ae90dd737","datavalue":{"value":"932347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894722$115E3274-4B28-46FF-9BAC-0C0AFC453F49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fe82a1ad3b0c197e6d8386b3bf737f4b6bde071","datavalue":{"value":"proof-strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894722$7D9A061A-8D2A-4BCB-8123-5D4A5F7169A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0aecb294830fa74274d773ff85c9c5c2dba911a","datavalue":{"value":"power set axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894722$E46C9269-21D4-4E28-910E-B7DB235509DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd12a404dee16f643f34164e0088d8ace581d98","datavalue":{"value":"Feferman's explicit mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894722$CCAA681F-D583-4EF5-BFB9-5E568360EAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c873ed8d37b506a0df7bd112fb22e04c131e634a","datavalue":{"value":"subsystems of classical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894722$D9F3745F-070F-4362-8FEF-AB4B5C6528E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91edd7669a9f16c8ed1decec83a8de6de08ccd99","datavalue":{"value":"induction axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894722$0AC0A103-0841-4AE6-B407-5423CA67D8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a8c65c2934592e5fbfde46ca5de1d75fe350e7d","datavalue":{"value":"asymmetrical interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894722$B844E799-958C-46EB-A06E-83150F06D1D1","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":"Q4894722$CF9E6D00-9FA6-4992-8790-EC95187486D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10d08658e8023a6c4bb6cccef4823121c162d216","datavalue":{"value":"https://doi.org/10.2307/2275671","type":"string"},"datatype":"url"},"type":"statement","id":"Q4894722$77F8BC0D-FF33-49E5-B818-97E7D539535C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6403ac58b2742009936f4d7408c2310d5840dfae","datavalue":{"value":"W2140995860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894722$AF4BAC4F-F692-4A7B-93C2-F44D018E68F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894722$00FA46AF-CE28-472F-8D2F-C77F20ECBF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3f7d9f6a5b9c0765fd0ae6fa8a639661ef197e","datavalue":{"value":{"entity-type":"item","numeric-id":1115865,"id":"Q1115865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894722$1CED9640-6E38-4192-8978-26396EBC5D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894722$1F182A6D-9EC1-4309-BFCF-1D6AA9FBFF89","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":"Q4894722$69C82CE0-CD38-4223-9686-C1F6C5551E3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"327655a5aa38e3ccc026f3c67e1a635ed480dd25","datavalue":{"value":{"entity-type":"item","numeric-id":4382463,"id":"Q4382463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f6117a7ae61600c359fdb8a7457b705b66a3a3","datavalue":{"value":{"amount":"+0.8637084364891052","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":"Q4894722$F8F9E2FA-53E5-4275-A1C5-B282488048BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ba9e1c5707cf410022f46b44512743ef44f288","datavalue":{"value":{"entity-type":"item","numeric-id":5939842,"id":"Q5939842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"236c302d80fdb71163be7922535956dac6b31837","datavalue":{"value":{"amount":"+0.8003712892532349","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":"Q4894722$3E2D1658-7DB3-4A92-B589-1AF9F621C4D8","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":"21b71474281799e5c802a03d43736105c3071f8f","datavalue":{"value":{"amount":"+0.7688838839530945","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":"Q4894722$3F1E520D-71B0-4067-A877-074439C2AE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a9e75076ffad3624ca16b5cd1803c8de8b10b75","datavalue":{"value":{"entity-type":"item","numeric-id":4934569,"id":"Q4934569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35cf34a3450792835c049b56d937ab801faf0688","datavalue":{"value":{"amount":"+0.7664493322372437","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":"Q4894722$1C75DD6D-7449-4CED-B7C5-681BDE1E8DA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4894722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4894722"}}}}}