{"entities":{"Q5117344":{"pageid":7146918,"ns":120,"title":"Item:Q5117344","lastrevid":58436712,"modified":"2026-04-05T05:26:34Z","type":"item","id":"Q5117344","labels":{"en":{"language":"en","value":"Set-theoretic reflection is equivalent to induction over well-founded classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7237853"}},"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":"Q5117344$36C89B2A-4A3B-426D-9DDE-EBF1047A14B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec8588c564c6ea4714c7df390fa000329596ac04","datavalue":{"value":{"text":"Set-theoretic reflection is equivalent to induction over well-founded classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5117344$44CFB31F-1419-4E3D-9FEA-EA561295DDA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aada41390d068689e4de283ca376db30e17a82cc","datavalue":{"value":"1484.03105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117344$A507F7B2-3293-4376-B280-33B8B768B4CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46cde92a906782ad5f79b8c3d5306f5cd4f870fe","datavalue":{"value":{"entity-type":"item","numeric-id":526963,"id":"Q526963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$3C106D2D-A9F3-4A63-A3E8-480FC6FB3A77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$155CDFA7-9FA2-4325-BF0A-EBE037E5F37D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a98268ef63fba9c1ac6d1ac36ab7a8c2cab44222","datavalue":{"value":{"time":"+2020-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5117344$FD80D819-74D4-4D84-B7BB-8A441AA22501","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98a827534e10315b1b098c3c8814119d111456e9","datavalue":{"value":"https://arxiv.org/abs/1909.00677","type":"string"},"datatype":"url"},"type":"statement","id":"Q5117344$40C2C001-40DB-4B02-A868-C47120E86597","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117344$504D7D27-3506-458D-9BA0-2715AF72FCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117344$3415624A-1DC4-497F-9440-112DE82F2C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117344$953D0354-D992-4ACD-BA67-064957F3613D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38a6e1f92f1f02a4905e7f17e415353e2c9a2aa6","datavalue":{"value":"7237853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117344$8FCEDDFD-B379-40B9-A982-FC481A7780FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1882775c4720c2bd9796b439d3fd05a08dcd3","datavalue":{"value":"reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117344$58B9EF5B-FC2D-46D4-A959-294010CADE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e5962ba668960f5b23bdd17a01442d3b7088d3b","datavalue":{"value":"transitive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117344$A803C4E1-9619-473B-BCC3-492BDB5220EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117344$14DDA434-2863-48BE-9B55-41C42583B15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"722b26952e28dd918e64c0ac8f2b47200c7a8b60","datavalue":{"value":"proper class","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117344$B4C129B0-887A-4B9A-8EB5-8B02F7E58EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"381017d34be3b1d9ad0e9c459419ecca60bfafb1","datavalue":{"value":"infinite proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117344$E7DEF701-5533-4EC5-AFF2-C397F87299AD","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":"Q5117344$50FFC5E8-D866-4A2E-BD58-8B3CD35B782A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fddb17665fd7d86c7382b63139cddfc7faae2d93","datavalue":{"value":"W2971620993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117344$AED5B57B-873A-45CE-B95E-1070D0F0564F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af0450cd8ebfe3d232d98a4aa955eca353ca921b","datavalue":{"value":{"entity-type":"item","numeric-id":5274793,"id":"Q5274793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$B6B06B08-9E6A-48A2-A123-2D22F2919BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d3d7ba16fc96b63b1bfdd1e68525ce02bc6922","datavalue":{"value":{"entity-type":"item","numeric-id":2274030,"id":"Q2274030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$9FD2E5DD-1934-4A93-A795-F842EE5A8E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0842236f0f9c6282c7fbe6f5512cae3e61d9ccae","datavalue":{"value":{"entity-type":"item","numeric-id":4111536,"id":"Q4111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$DAC68B9D-E009-4EBB-92A8-DC0490E42657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17989129559e41cfb06edc0b79311d4fa6022df","datavalue":{"value":{"entity-type":"item","numeric-id":3960844,"id":"Q3960844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$1E6BEADD-31C9-4180-BBD4-42DF343C5A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0382ea3771444ac28fa8984e87f39efe4b4de5bd","datavalue":{"value":{"entity-type":"item","numeric-id":2565874,"id":"Q2565874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$CA7D5E62-C99F-4A08-BB26-9DBDD93DA493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea9187b8180b23a3a0d8afd378eaa2b49c493b49","datavalue":{"value":{"entity-type":"item","numeric-id":1302306,"id":"Q1302306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$A60FAB97-43CC-462F-997E-2E6FA5EC60B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332d1484ef56c049acd75f3683bc7102acbea27e","datavalue":{"value":{"entity-type":"item","numeric-id":5625138,"id":"Q5625138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$DD0478D1-3F38-44D7-BD9A-C3A81D526D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042c93cf9df0c8bb9e6d9b6af5d3f85747d10619","datavalue":{"value":{"entity-type":"item","numeric-id":5901498,"id":"Q5901498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$9BC5DC52-519A-462D-88C8-FDCE939BB400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$C45445AC-C7D1-41C6-AF35-5F677A1F9ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de0e45c6d24f23b7bf00bdec0730aa590fa74f9a","datavalue":{"value":{"entity-type":"item","numeric-id":3661556,"id":"Q3661556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$F690DC94-839D-4B42-8858-66A04B46FF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f10f2250b5187f1a15962fb6530da589eb31b82","datavalue":{"value":{"entity-type":"item","numeric-id":3281064,"id":"Q3281064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$40207A95-0CFA-47F8-9FE3-851E1D2728A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7010a800e4336b7ae6e486d3fa7f31c97756c9fc","datavalue":{"value":{"entity-type":"item","numeric-id":3745836,"id":"Q3745836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$CEB58612-F9DB-4465-9519-0C2CB47A85EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b8294d8e3a67ff3abbac73ea7f87d2c36776f8","datavalue":{"value":{"entity-type":"item","numeric-id":4032873,"id":"Q4032873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$F9D1674D-0175-4149-911D-C08DCAB20457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442321204f0846e6d42ccce9aff806849d058e00","datavalue":{"value":{"entity-type":"item","numeric-id":1332853,"id":"Q1332853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$8E26AC38-A8DC-465D-9DB7-2A57189A5B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f3cecb3289da431f7f998a9c5561a2c40c346a4","datavalue":{"value":{"entity-type":"item","numeric-id":4868241,"id":"Q4868241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$D0D850C2-3C90-40F7-90A5-D14131CCDECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbab2b7d1f3671e912aa877cbe2ba846e7989411","datavalue":{"value":{"entity-type":"item","numeric-id":3233196,"id":"Q3233196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$72913403-197C-4BCF-A482-BBCF9C4A6639","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":"Q5117344$53425B27-3A91-498E-A0A8-3EE8BAD52471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608355fe47a93676149ea8eb2d36357911fe0302","datavalue":{"value":{"entity-type":"item","numeric-id":3960691,"id":"Q3960691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$F3D4DB09-E807-420E-A49E-BD2B3111E173","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":"Q5117344$0386191D-3F25-4029-81AF-5920991002DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b37a1cd4f4b47b68d114318dca452481bea445","datavalue":{"value":{"entity-type":"item","numeric-id":1919522,"id":"Q1919522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$AE8FD246-1C93-4DAD-9285-DAC3FAA1D768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1ed4340d57379e1eb99f55cbbd7ed5e9ca730","datavalue":{"value":{"entity-type":"item","numeric-id":4674792,"id":"Q4674792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$4A5A8124-FF90-40A4-852C-76AB2AD9889B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd429e0c79fee00540d7734bda66342bd9c9091c","datavalue":{"value":{"entity-type":"item","numeric-id":4367940,"id":"Q4367940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$BD7F4DBA-91C0-408B-8C21-EF8CE566DB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f891916e5bed7ac10c85744a7d07bd56f0522f7","datavalue":{"value":{"entity-type":"item","numeric-id":4689311,"id":"Q4689311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117344$E43E6750-599A-4911-8933-EDDE100D37CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0433eb2c9e196569b9c3bf72a2ae73918a5cc99","datavalue":{"value":"10.1090/PROC/15103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117344$D64CC156-F251-4740-890A-4C7244DE799F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e42d001f616bf281c60df5a9029a5ee9b14d86b","datavalue":{"value":{"entity-type":"item","numeric-id":1302306,"id":"Q1302306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f385f92e044a5a8612602f5fcd8147f05c9c7d","datavalue":{"value":{"amount":"+0.740996778011322","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":"Q5117344$BA416AF7-DE7C-451E-979F-10DAEC347DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d723a7bd843e16a62d645f15b0e50b31fd3cfea0","datavalue":{"value":{"entity-type":"item","numeric-id":3346304,"id":"Q3346304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eb3635699328a0c4bec55c20c721b57567ad77f","datavalue":{"value":{"amount":"+0.731743335723877","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":"Q5117344$581A8EFC-9C3D-4EEE-A80F-0FF61267347C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cf6631c4599b6ebbf2693aafc1ecf865ebd28b8","datavalue":{"value":{"entity-type":"item","numeric-id":2186697,"id":"Q2186697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f891fac96d38a8ea7e12e9f102943baf075805d","datavalue":{"value":{"amount":"+0.7258450984954834","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":"Q5117344$105608BF-3385-43FB-8766-EE5E9F0C60BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3418ae0b5bbcee08376de620717674fd455993d4","datavalue":{"value":{"entity-type":"item","numeric-id":5044314,"id":"Q5044314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df6eb316fc712d89fa340fc3cfcb43b267efcf8","datavalue":{"value":{"amount":"+0.7209964394569397","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":"Q5117344$D041FB21-A907-4D24-8211-DCE539BC35C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29cea76ea0be3282990ca7298b3bf3161171bc24","datavalue":{"value":{"entity-type":"item","numeric-id":3842541,"id":"Q3842541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb6cc7384fdb74e974fb7348102204e86d07bc13","datavalue":{"value":{"amount":"+0.7209869027137756","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":"Q5117344$E1C62A8D-EE2B-492F-B0FE-16FC195CCBAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5117344","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5117344"}}}}}