{"entities":{"Q5013914":{"pageid":7043491,"ns":120,"title":"Item:Q5013914","lastrevid":55396030,"modified":"2026-02-17T15:29:37Z","type":"item","id":"Q5013914","labels":{"en":{"language":"en","value":"Ein Wohlordnungsbeweis mit $$ \\Delta^{1}_{2} $$-Komprehension und Bar-Induktion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438607"}},"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":"Q5013914$CA8F95B3-CD70-4BB6-8C16-7B5FE421EDEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5b9123549279ef98d4d5ce6fa5cfbc219d38bf8","datavalue":{"value":{"text":"Ein Wohlordnungsbeweis mit $$ \\Delta^{1}_{2} $$-Komprehension und Bar-Induktion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5013914$9A80117A-8ED0-47D2-BDB8-BCE21CDC2ADD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ce7633d2583646c224b4f43c438342218477bdb","datavalue":{"value":"10.1007/978-3-030-49424-7_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013914$B39F5B7E-C2EE-4A11-A27A-55680CBF952B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e5fef2cb58ba7e72630b708054b000e89de9ad0","datavalue":{"value":{"entity-type":"item","numeric-id":766353,"id":"Q766353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013914$52A11370-2CDC-4FDA-ACC9-AA41698E26FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5c32b06bc595cc0428a1baec33ca77fa4107426b","datavalue":{"value":{"entity-type":"item","numeric-id":5013890,"id":"Q5013890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013914$2EB08956-58D8-4F3C-86E3-933CF7AC5DB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5013914$ABF1E959-6BB3-4D89-A480-3AE904CB9C8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013914$4FB18EB0-403F-4AB4-934E-195B0CD73E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674d86520ff1c4faa649a7225669dc8a21bbd990","datavalue":{"value":"01-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013914$22811E43-C3C4-4F01-8B88-3A85274B1E13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01e8ef66a3b3d342dda6975e00c8de1b8129b592","datavalue":{"value":"7438607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013914$9C997B14-6490-4607-973C-642711D022BE","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":"Q5013914$B72A26BB-6C74-4221-9BF7-FB45F7AA4BFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9f6b98c874c8155ca4a27e0343c147ee42fdc92","datavalue":{"value":"https://doi.org/10.1007/978-3-030-49424-7_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013914$F7065163-8132-48F4-B068-101F986E680E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc0a454df5d21aeba3d5a15924c0db4da5da5753","datavalue":{"value":"W3048720395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013914$F9CFF2FB-3813-4D1B-BB34-3C57D7FF5088","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d15ce98cbd13813efdb2285504eb7077156b045b","datavalue":{"value":{"entity-type":"item","numeric-id":1102279,"id":"Q1102279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013914$02CCCAC1-28EF-4DB8-BEA7-461FD11B06DC","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":"Q5013914$91349E26-DE6F-4430-8EF6-1481677BEFF6","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":"Q5013914$780F2560-39FF-43FE-98D5-68871517E327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6eafdf1c139884ac1ff4deb1cb9bb75eab73391","datavalue":{"value":{"entity-type":"item","numeric-id":3690813,"id":"Q3690813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013914$70C46F4A-3DB3-4283-ABDB-EF22A6993BFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11504214261f79bd2819af955442e3543887e99e","datavalue":{"value":{"entity-type":"item","numeric-id":3081650,"id":"Q3081650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"487140fa95d6340afd833d89a267dd1b40b660cc","datavalue":{"value":{"amount":"+0.7921901345252991","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":"Q5013914$C1845091-4B6E-4A98-8B9F-B32433ED35F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d95f1cde2766d35c13522885aebafc4ae650245","datavalue":{"value":{"entity-type":"item","numeric-id":1102279,"id":"Q1102279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb41004c7a0dffde1ff610599488d7dc817c5a75","datavalue":{"value":{"amount":"+0.7769415378570557","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":"Q5013914$6A72D51A-67A0-49A6-BDDB-37E3CE866514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b89f3753e44e204fd1b35b530c585acef21f74f","datavalue":{"value":{"entity-type":"item","numeric-id":4040375,"id":"Q4040375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0241d41338c4a303efd614eb37719bc025543f6","datavalue":{"value":{"amount":"+0.7675390839576721","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":"Q5013914$590C354C-6039-45DC-A8F0-560A77D2497C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8d18eacc711d929d54d6815d2d45bca0f3a573","datavalue":{"value":{"entity-type":"item","numeric-id":3800031,"id":"Q3800031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd4290dc3f3d571a8f3f08c9c3f29a9d765cd830","datavalue":{"value":{"amount":"+0.7566065192222595","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":"Q5013914$40279272-27F7-4E95-8A5C-F579C8BC34E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c60cd5ea62b38de2938f7a6550dea63bd781a5","datavalue":{"value":{"entity-type":"item","numeric-id":3690813,"id":"Q3690813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"658552e0fdc99c785b398d29042a3fdd109c6c53","datavalue":{"value":{"amount":"+0.749294638633728","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":"Q5013914$883EEF6D-D7D9-4C36-AEF6-8DC2EB3F8183","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5013914","badges":[]}}}}}