{"entities":{"Q2309489":{"pageid":2320232,"ns":120,"title":"Item:Q2309489","lastrevid":57847332,"modified":"2026-04-02T19:08:08Z","type":"item","id":"Q2309489","labels":{"en":{"language":"en","value":"Proof-theoretic strengths of the well-ordering principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7184231"}},"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":"Q2309489$5B49AB51-68F4-427F-84C1-3F625EFC30B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb412c2ff13e76cf0a2fad7bd95d05c661d00970","datavalue":{"value":{"text":"Proof-theoretic strengths of the well-ordering principles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2309489$33F27B2A-AF80-45D7-8E47-35AC04F6F1DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8abb71fdd6f84e2d04822376225b4d435cb3b796","datavalue":{"value":"1481.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309489$71711D82-5DFD-4A26-8FE6-4A2B35A7D476","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309489$A5C46437-6C7D-4A15-8630-33F72687569C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309489$ED664673-D653-4C26-986B-25B479C0A547","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae93340bb7a022b561aa0e536e029632aaf17ce","datavalue":{"value":{"time":"+2020-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2309489$4D5995E5-160F-407B-B6ED-917929A47B9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae7078dee06dff043407596e4792c6608b030a3a","datavalue":{"value":"https://arxiv.org/abs/1811.09964","type":"string"},"datatype":"url"},"type":"statement","id":"Q2309489$636B63CB-B33B-43CE-997F-91B71E7E6180","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309489$B7B16413-7460-45A6-A2C5-622E2565F7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309489$2BB2371C-913C-41B8-8AFC-2DEAE218E03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309489$56321625-5667-4CE3-9525-0FF5B65F9DD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f786037b6c6cc568ca8b49a5355220e5d20efe0","datavalue":{"value":"7184231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309489$97225094-6691-474C-94A6-DC07F83AD9A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39d83ae4d93280f57b5b9153eec3540bc279cb3d","datavalue":{"value":"well-ordering principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309489$0DFC285E-0F92-45B3-853F-F16CD3F4247A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5935c3b04c5ade60bf7e2dc40a552419f704ba2","datavalue":{"value":"\\(\\omega\\)-models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309489$BAB050EF-D250-4A8B-9EDD-81367E08C979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309489$C49B854E-228D-4B3F-AC72-7D5EF5B96F08","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":"Q2309489$86E4589D-47F2-48BC-8924-9A637C5C2FDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc5c6a88f5c844f723a26f2cc88a6305acbbbb55","datavalue":{"value":"W2966510993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309489$9C9A6E5A-2C5E-4065-B2CC-6F12F4ABD7C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"400c50e85dbddb34619a8c3aab23708069973b94","datavalue":{"value":{"entity-type":"item","numeric-id":1032626,"id":"Q1032626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309489$AE44E900-83F8-4DA5-9EC2-7A790CF756BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b220dbc781dafa493813c640157524f7a834d9a0","datavalue":{"value":{"entity-type":"item","numeric-id":1295413,"id":"Q1295413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309489$2D109BD7-7225-49A0-9068-6D53478C71E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb7f18796b646e1deac8752c5b5dc22bdb983dc","datavalue":{"value":{"entity-type":"item","numeric-id":1661685,"id":"Q1661685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309489$C17353E1-4E83-409D-A444-BCE58994A383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309489$931E6029-8A5A-4255-8E62-FF1382426D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26b6fe1dc8e2bbf5665583e54521fccec9f7a34","datavalue":{"value":{"entity-type":"item","numeric-id":3011121,"id":"Q3011121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309489$1E3AC136-06BF-4490-94C8-B53F029A5C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f239548cb1863bf3e85251c695ab17762440852","datavalue":{"value":{"entity-type":"item","numeric-id":3464624,"id":"Q3464624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309489$2E4FFA13-B528-47EA-BF3E-F10C4D2B0EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaba6c431daf3ffbe713a7dc7231da3c8fc2d834","datavalue":{"value":{"entity-type":"item","numeric-id":2906572,"id":"Q2906572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309489$C13F2D65-AD1A-4D16-ACBC-D392A2BC0FE1","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":"Q2309489$A36CFC0F-D832-4DDB-A719-3116510D48AD","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":"Q2309489$D4321F72-03D4-4F82-883A-59E58DD2858C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18891d90528b9510ecc08ca3899531fd6007622d","datavalue":{"value":{"entity-type":"item","numeric-id":5331470,"id":"Q5331470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309489$70BBEAF5-BB0E-4439-948F-85764B53DB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309489$C768C186-3851-48C3-93C1-EFFAB2BCABEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c3dafd4ca955b1f19cce0b287a759abd7e62c4a","datavalue":{"value":"10.1007/S00153-019-00689-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309489$7865C4C6-2E0D-4A0F-A06E-C4E3E2CCF788","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea53ace32958a272b3365cfbb6cd9b9e8462a74f","datavalue":{"value":{"entity-type":"item","numeric-id":1032626,"id":"Q1032626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62023e6ac6a7eca8f6336926428d7453890bc150","datavalue":{"value":{"amount":"+0.7834763526916504","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":"Q2309489$08CA6DDA-8EFE-49F8-A145-194CA25B9189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a02092506baa2cff762b1d811e119fe54231a4a","datavalue":{"value":{"entity-type":"item","numeric-id":2906572,"id":"Q2906572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4c761b6f9a9aa6c730b829ccf0d098ad8fa94d","datavalue":{"value":{"amount":"+0.77653968334198","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":"Q2309489$CDFD954C-1169-4F25-92C8-DD6A27C07629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7547eefe20a1ea800f8cdf8f2fd86bfeb3e625f0","datavalue":{"value":{"entity-type":"item","numeric-id":4736753,"id":"Q4736753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"887fc9f6ebf846d50b8b327ff772ebbb075d8b5f","datavalue":{"value":{"amount":"+0.7743966579437256","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":"Q2309489$8F87015D-3782-4C5C-A8AA-82A644A53DF9","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":"cf685b4f4513e85f9bf1d5b3c35c896bc4748564","datavalue":{"value":{"amount":"+0.7720447778701782","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":"Q2309489$E18734F3-F53B-4C1E-A203-5A09971C70FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"865cb4e7a9bd5838c8c9f94424fdcc6dcd089f87","datavalue":{"value":{"entity-type":"item","numeric-id":1109029,"id":"Q1109029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cbddf20db220023716e7089dea345ee588b12ec","datavalue":{"value":{"amount":"+0.7677897810935974","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":"Q2309489$8F9DD390-3A35-4D60-9B4F-618E27E2CABB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2309489","badges":[]}}}}}