{"entities":{"Q5013902":{"pageid":7043479,"ns":120,"title":"Item:Q5013902","lastrevid":98303297,"modified":"2026-06-05T17:10:45Z","type":"item","id":"Q5013902","labels":{"en":{"language":"en","value":"A Note on (Meta)predicative Wellordering Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438595"}},"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":"Q5013902$A70D67EF-248A-418D-BE38-0065DF1F1C26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cb9a4e3e6d25cbf98f4f045fb33dbf7f0fe03a6","datavalue":{"value":{"text":"A Note on (Meta)predicative Wellordering Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5013902$6D2091A2-77F8-4AAE-AADC-D63397A1EFCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31c4ef5be27126d425735e8561606d4313aae19e","datavalue":{"value":"10.1007/978-3-030-49424-7_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013902$002C590A-02D9-4329-B12A-33EE2D793B43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca3d0fdc4dfe73f15e4cc6198de2fda062014c98","datavalue":{"value":{"entity-type":"item","numeric-id":204229,"id":"Q204229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013902$9039CF23-E9BE-4AE8-AB7B-26DA5A2E70DD","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":"Q5013902$4DAE9DEA-2ED1-41C7-B5CB-F8DEE21A0DC0","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":"Q5013902$002B9586-932A-4C88-8109-2EA9B7840C0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013902$0FD0497E-A222-47EF-9D70-64D4F670A421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57f167c32409cd84dad7e725a6344d78daf6bdb3","datavalue":{"value":"05-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013902$BD5FE376-989E-4C0F-8C61-A53F91B50539","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d021ecdd50602fa0243cc27453b4a3bc1f0b36f","datavalue":{"value":"7438595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013902$05FD9408-4924-4E07-90AE-E3F58A55C1D4","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":"Q5013902$D5C8F95C-937C-49E5-BDB6-AFB3FA3A7BCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7517c6d00b277e2033c2544825db5896c3a71a39","datavalue":{"value":"https://doi.org/10.1007/978-3-030-49424-7_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013902$6686878F-718C-492E-8BA2-F60514C9F141","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"883aab0d4852a2574c4c2aaf47c297f22683510c","datavalue":{"value":"W3048891791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013902$64466DC0-6B39-4835-9DD2-08CD84C60413","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0859db62baa15d81e8867dcbf985a99f06a645c4","datavalue":{"value":{"entity-type":"item","numeric-id":5344167,"id":"Q5344167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013902$135544FC-03A5-43E4-8F09-5F71CEB8C5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4e3a045fb18057576e3a052695370f915c6320","datavalue":{"value":{"entity-type":"item","numeric-id":4254619,"id":"Q4254619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013902$B8E5A10A-9F15-4503-959D-6A1576F93E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39fc44a12c6438cb90522e8e2687faea7c2e4f4f","datavalue":{"value":{"entity-type":"item","numeric-id":3981446,"id":"Q3981446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013902$5B7B1DE4-DDEA-4C86-80D9-54A99C7CBF3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723c07883d081ae5b4b82fb8fe68208039194385","datavalue":{"value":{"entity-type":"item","numeric-id":4532614,"id":"Q4532614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e7fbd06d8677df48638bfca31c623699bfd7b66","datavalue":{"value":{"amount":"+0.94156563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013902$8DD74057-19F5-4DA8-A758-111EE2D8C1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9ac4b064bdeaebfca62bec9d5edc1a02ec51329","datavalue":{"value":{"entity-type":"item","numeric-id":2309489,"id":"Q2309489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da39ca8ffc258c7fae36d95cbf988b5eaf31ee9","datavalue":{"value":{"amount":"+0.9040674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013902$9893D597-8191-4612-99CB-E0ED0B921A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"259b5fd7a0f989fc0d40f257fa5f1477fdb4f3f7","datavalue":{"value":{"entity-type":"item","numeric-id":5055281,"id":"Q5055281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d8b792ca57cfc81a897ef27a7e3a1c0143e7a99","datavalue":{"value":{"amount":"+0.9015168","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013902$2C05971C-69B9-45AE-9BB4-AFA19959796B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d4752beb5d86941d266229173b4a2b4468dbe4","datavalue":{"value":{"entity-type":"item","numeric-id":1820780,"id":"Q1820780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9630e4fb02bf48f22fe7d35f72f8c10444a6886d","datavalue":{"value":{"amount":"+0.8899852","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013902$CF4EDD44-B594-4253-BB44-5CD3CFFB9F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8308608f5c03ddfbe324dbce555fb603dd66696","datavalue":{"value":{"entity-type":"item","numeric-id":3801546,"id":"Q3801546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91fc385c855a65a9b55532338030640c158834de","datavalue":{"value":{"amount":"+0.8886758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013902$992FF34B-0EA9-4A21-97DF-046BD0FC5353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"302c5d93b076300b7b2a510e5a43ad471e817ef2","datavalue":{"value":{"entity-type":"item","numeric-id":6159924,"id":"Q6159924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc575b33539185c1e70d5d7e18edb5534f5d9e11","datavalue":{"value":{"amount":"+0.879256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013902$07CA1801-3D8A-4091-9F8F-708B40EA382C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c3c4fdb331e8e1aa76150221cea6f2268d62a7","datavalue":{"value":{"entity-type":"item","numeric-id":5300068,"id":"Q5300068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04587e58c0b5213ef2dcbad36385df64e1046ab7","datavalue":{"value":{"amount":"+0.8780844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013902$52F96CBA-A473-4BB2-8D80-76D19442B6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27081edebe8529d76e0d99b7dc46dc143820f47a","datavalue":{"value":{"entity-type":"item","numeric-id":4032884,"id":"Q4032884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"219f033a20bb9dd6b54a605f09eda882fadb4ce9","datavalue":{"value":{"amount":"+0.87630147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013902$59B42E37-0EDB-45D6-88F9-DC4E6DFD16BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edd7dd61ef940911a51c611c75f35255836b7de8","datavalue":{"value":{"entity-type":"item","numeric-id":2862641,"id":"Q2862641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0639e93fae2e19b3a864dfe41e961aeaa5f1d6c","datavalue":{"value":{"amount":"+0.8712621","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013902$02010ABC-D774-4B88-8D53-22B711D46328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f909d797baa23e564b49ac086cd4abee13b9158","datavalue":{"value":{"entity-type":"item","numeric-id":4247313,"id":"Q4247313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6203d82aacedac6fb5e3d8311242ccde1ff63a","datavalue":{"value":{"amount":"+0.87121534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013902$052F2A6A-4B61-44D4-B57E-68723BB903B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Note on (Meta)predicative Wellordering Proofs","badges":[]}}}}}