{"entities":{"Q634769":{"pageid":636617,"ns":120,"title":"Item:Q634769","lastrevid":63141156,"modified":"2026-04-11T10:52:14Z","type":"item","id":"Q634769","labels":{"en":{"language":"en","value":"The maximal linear extension theorem in second order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5939549"}},"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":"Q634769$53CAFDD4-D750-467D-9552-086153EA9CCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63d5cd969fc1019601dde4fcc9cd798c84c11ebf","datavalue":{"value":{"text":"The maximal linear extension theorem in second order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q634769$5500EE70-EE95-45E4-8C3B-15B929F8FE63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6ed3cf64d3ec98f42cda11d2a3ee7f295d0b669","datavalue":{"value":"1227.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634769$0B87B78C-8489-47D0-951D-BDC4701C19C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"647f4d17eb87bf327562a875e1fc7cdb8bf682b0","datavalue":{"value":{"entity-type":"item","numeric-id":238867,"id":"Q238867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$61D1173D-7229-4C2B-A99B-3EBB71AD16ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$63CF7C39-3247-4C19-8CB7-2E728C70E4E2","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":"Q634769$414C657E-D6FB-4405-A773-3B2897A7514E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e46a6b83be9fcbd5764c46af6454b5ea03b3b70d","datavalue":{"value":{"time":"+2011-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q634769$C2DD749F-3245-4161-8EF6-AE4E3D98CEE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16e6c51fe5032f2a0b34c858b1a5efa845c1b8fa","datavalue":{"value":"https://arxiv.org/abs/1009.1528","type":"string"},"datatype":"url"},"type":"statement","id":"Q634769$CB7612C0-0D65-4D28-97E2-0F96C3D2D128","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec4e416a0e7063327b1eff9e26833d67a39b4052","datavalue":{"value":"A linear extension of a partial order \\(\\mathcal P = ( P , \\leq_P )\\) is a linear ordering \\(\\mathcal L = ( P , \\leq_L )\\) on \\(P\\) such that \\(x\\leq_P y\\) implies \\(x \\leq _L y\\). A wpo (well-partial-order) is a well-founded partial order with no infinite antichains. Let MLE assert the existence of maximal linear extensions for wpos, formally, ``every wpo \\(\\mathcal P\\) has a linear extension \\(\\mathcal Q\\) such that \\(\\mathcal R \\preceq \\mathcal Q\\) for all linear extensions \\(\\mathcal R\\) of \\(\\mathcal P\\).'' The statement MLE formalizes a result of \\textit{D. H. J. de Jongh} and \\textit{R. Parikh} [Nederl. Akad. Wet., Proc., Ser. A 80, 195--207 (1977; Zbl 0435.06004)].  The bulk of this paper consists of a proof that, working over the reverse mathematics base system RCA\\(_0\\), MLE is equivalent to ATR\\(_0\\). Capitalizing on this work, the authors also show that ATR\\(_0\\) is equivalent to a statement formalizing the existence of maximal chains. This statement, denoted by MC, asserts that ``every wpo \\(\\mathcal P\\) has a chain \\(\\mathcal C\\) such that \\(\\mathcal C^\\prime \\preceq \\mathcal C\\) for every chain \\(\\mathcal C^\\prime\\) of \\(\\mathcal P\\).'' MC formalizes a consequence of a theorem of \\textit{E. S. Wolk} [Fundam. Math. 60, 175--186 (1967; Zbl 0153.02601)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q634769$E6145447-7FA9-4AFB-ACC2-42B9BAAD6A66","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$F2AAFDF7-3AD3-41D6-B710-0487F96D4813","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634769$00DB7B7F-6D3D-4A58-A22C-66A3D690EE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634769$D5A27A57-13FF-4007-94D6-36075A09880E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634769$E9B54F45-0CCF-4AFA-BF4D-AF29FA5C8B71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d6aae67f16ca96f9a05d053bd465fd394423dcb","datavalue":{"value":"5939549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634769$BD411977-2F3D-48AC-9654-700376234C75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q634769$85D7A67F-E7C3-446A-A7EF-340D8F39EE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfd722232c4f35da3a742b7dd0939e8297df61c","datavalue":{"value":"well-quasi-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q634769$7E874CAF-67CC-48C4-82A7-322B07A8F1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15dd0d1b36739e675241c5c5515b82b1e20a9be2","datavalue":{"value":"wqo","type":"string"},"datatype":"string"},"type":"statement","id":"Q634769$8CC73339-60BD-4CDC-A2E2-A5AB5971E5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe4f55ad8000facaa3d8d30d3f65455cbe8e9116","datavalue":{"value":"maximal linear extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q634769$A9147745-20F0-4DBE-B8B5-5ECDF8027AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6afc7913d5f042b912b540280a4e86052696a718","datavalue":{"value":"MLE","type":"string"},"datatype":"string"},"type":"statement","id":"Q634769$AF4B4AE5-CA42-4253-A5F2-14F4E0F14A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa11204b7a828e30d93c966a7037c580ecfef23e","datavalue":{"value":"maximal chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q634769$0C47EA50-A4B8-46C5-93A1-3C294F69B571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f726cb8e9b9faf9ab3d2ae72772e7ead6c9d07f","datavalue":{"value":"MC","type":"string"},"datatype":"string"},"type":"statement","id":"Q634769$7B1CBBBA-7AA4-42E5-B5E3-83C31F608D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e239838943bb6b68a15f2eb86c9992c335933f9d","datavalue":{"value":"ATR","type":"string"},"datatype":"string"},"type":"statement","id":"Q634769$376F26E0-277C-464F-9120-AA4207FFF013","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":"Q634769$CE359FF3-6475-4C98-9E44-B6CC3FD67DD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d1168b6814167be9723f74e3fbd24ee799b3d86","datavalue":{"value":"W3098312506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634769$ECEA6D67-9621-4D67-9D31-E390284B838C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1aa0ecfefa0e219e873c6daac12f7074eb010b7","datavalue":{"value":{"entity-type":"item","numeric-id":5277807,"id":"Q5277807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$EC047693-489F-486E-8DDF-4C08DF75DE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe1f8f54ba03c49cff0d68f7b9824a34fdf219b","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$E285924E-855E-44C9-8DE7-525F7F9B2673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3161a51f6044103cbe54cccdaaa7cb63c8a0f16b","datavalue":{"value":{"entity-type":"item","numeric-id":5311748,"id":"Q5311748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$2F32495E-3EE0-46FB-A79E-655131D0312F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fb1c53dbd3af349891a0e5e82b13b1ecf008b4c","datavalue":{"value":{"entity-type":"item","numeric-id":3874266,"id":"Q3874266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$8222F29A-EB64-4418-953D-23A9C35BD617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d9e9195251941a916c414284f781a18c2e6a187","datavalue":{"value":{"entity-type":"item","numeric-id":918549,"id":"Q918549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$ACC5E32C-98A3-43A6-B519-3198FBA94FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53df4ea1d5adf9fadc54aabb27e9b91268fb1cf8","datavalue":{"value":{"entity-type":"item","numeric-id":1591661,"id":"Q1591661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$65ABDAA5-FA2A-4B31-8CBB-6A21BB363E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab8ba5ad82b9fd9e70f4f6e59d5e26aa6fdf3f7","datavalue":{"value":{"entity-type":"item","numeric-id":3773882,"id":"Q3773882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$39D752A9-97ED-4409-A8EF-795EA4B15D21","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":"Q634769$96D35A49-FCEE-4C70-8CB2-05C55B308011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa8aa05c5638662f0601198df4122785ac8efebb","datavalue":{"value":{"entity-type":"item","numeric-id":1769970,"id":"Q1769970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$28CA67EF-0E01-4D57-BC12-DC37FFBD8C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$9DAD7335-D086-45C5-8F1F-6E088C5C824C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca4a190903e6132ae837adc7117807885185cfd","datavalue":{"value":{"entity-type":"item","numeric-id":1315456,"id":"Q1315456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$956D3F0E-2E2F-4F81-90ED-840E82B4DECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"703217089f971b9f9e056d9e3db9a45abfc9b80e","datavalue":{"value":{"entity-type":"item","numeric-id":5711888,"id":"Q5711888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$100E3869-64EA-4179-8EBC-F9618FC1F204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66de9a721eec647650f8656d1c886123436f13b3","datavalue":{"value":{"entity-type":"item","numeric-id":5711887,"id":"Q5711887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$4F661BB3-15B1-4E9A-B150-73D343EE9110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73aacf0d9eee94cb147aba63928e7a70459be73","datavalue":{"value":{"entity-type":"item","numeric-id":3426570,"id":"Q3426570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$0F3008BE-80EF-4A80-9D0D-31D1FFB1F46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e5b43c5f0e711ef91c4f8e7255199d25558fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5541375,"id":"Q5541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$E5932309-0873-462A-876F-A14443141BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57448c3511c30ed92e5fbbbe68c6f2b95237a20","datavalue":{"value":{"entity-type":"item","numeric-id":2554710,"id":"Q2554710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$02F56AB5-9A4F-4EF1-A5AA-1977B9511FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d8d62cf17440f5beda988a392bef66491c229c","datavalue":{"value":{"entity-type":"item","numeric-id":3972753,"id":"Q3972753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$AF2218F8-0886-44C7-963F-D38B76B74B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd75fa562171f1bc8488c55c38ad826341f610ad","datavalue":{"value":{"entity-type":"item","numeric-id":2543669,"id":"Q2543669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$AA0A81C6-403D-4386-8F3E-2D5A97427A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5b24c3a6f99b04de23116c5fcf90b39e73a79f","datavalue":{"value":{"entity-type":"item","numeric-id":5711893,"id":"Q5711893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$8FCEA372-901D-4E31-8C21-72BD1D6206BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aff5bcf5d2df2fa801435cc8cbae737d04f7f2b","datavalue":{"value":{"entity-type":"item","numeric-id":1032636,"id":"Q1032636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$ED755F1B-F5BF-4893-A515-EF9A584E69E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37a74f4b1d8effd089dba853ee6630768c253298","datavalue":{"value":{"entity-type":"item","numeric-id":2385530,"id":"Q2385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$94204978-DAC2-4E4B-B6A4-CBCAE11DD1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f6ec2c18fbe650e412e0955597a8cc9ad61309","datavalue":{"value":{"entity-type":"item","numeric-id":3941409,"id":"Q3941409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$460DA19C-4EB2-41C7-B9F6-636F213B7629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1cf7e426127d502c57b4bb01a758b7cc7fadf5","datavalue":{"value":{"entity-type":"item","numeric-id":5337204,"id":"Q5337204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$29F3A302-86F7-4DF8-94B4-F22F1443E336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0364f4776d4113b99ecb52ec67904d1217683c9","datavalue":{"value":{"entity-type":"item","numeric-id":5537629,"id":"Q5537629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$7644D884-9672-4F1A-83B1-E3C4EAA1EA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248729ebc4d6876ccf402d4746249e334c3f8ead","datavalue":{"value":{"entity-type":"item","numeric-id":705888,"id":"Q705888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$FBF39193-3511-4C43-A13A-E4CA67F75458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836c0e3dce5c3c3f1796b886735793572a441d10","datavalue":{"value":{"entity-type":"item","numeric-id":3809796,"id":"Q3809796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$51B829A9-D137-4B76-B8FD-E90B36F8CA40","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":"Q634769$12EAF92B-6D97-46C9-9099-57293492CC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f53cfb68ec5afe5a789029a0dc16c302390c2746","datavalue":{"value":{"entity-type":"item","numeric-id":5532572,"id":"Q5532572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634769$6A9FBF80-B1A9-4DF1-97D7-475AAD34D7ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc9824f2ae54e1fa159367d95caefc9cccfadb6e","datavalue":{"value":"10.1007/S00153-011-0231-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634769$DFD9F377-2ED2-4590-ABE7-1E682BD42F80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb0b31a5fd49968392f8565fd91a98457a7a1f39","datavalue":{"value":{"entity-type":"item","numeric-id":4868241,"id":"Q4868241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f34aee0afb7672f3f6a56ba37f5ff2cf11aff884","datavalue":{"value":{"amount":"+0.8633784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q634769$BB4485BB-731D-4FD9-B08B-8CA02C28059D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b689c7169d7efc47b24d845ea72e6f307f85d04b","datavalue":{"value":{"entity-type":"item","numeric-id":1196746,"id":"Q1196746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c38de6f932c59d7ad65f936e09425e0d8f17cc66","datavalue":{"value":{"amount":"+0.8578449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q634769$E5BE77CC-CC5F-4769-A416-0C022AF47B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1d8b297dae656552dd3b5a2de174f7c9437a28","datavalue":{"value":{"entity-type":"item","numeric-id":686206,"id":"Q686206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518a90373f0c38f08ea404027cbbbd9225c21a18","datavalue":{"value":{"amount":"+0.8564104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q634769$BD9B5CEA-994A-4A3E-B929-72E36C8FC1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53461f36d4f33d6555c80e22a5331306a4058122","datavalue":{"value":{"entity-type":"item","numeric-id":4367619,"id":"Q4367619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2a8d163874b759a40381d57bad492bcdf4f889","datavalue":{"value":{"amount":"+0.8562502","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q634769$E340E996-47CD-4D8F-B43D-9EFB75C44CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35732f6221900b18fc27007a6134a98eca5ea7e1","datavalue":{"value":{"entity-type":"item","numeric-id":3509078,"id":"Q3509078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d730c071cf6bdcb089270b6d76338b4db357239","datavalue":{"value":{"amount":"+0.8536286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q634769$9F740375-C77A-450B-BBD8-D950FCB088D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b65b67ced2d173840797c0d421c8d84c5d9ce08e","datavalue":{"value":{"entity-type":"item","numeric-id":2758063,"id":"Q2758063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1902c4526d71355348b22b3fae27b8937210563e","datavalue":{"value":{"amount":"+0.853413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q634769$AFB478ED-1C4F-41AD-BE99-4C1EBB45E31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42dc85a6c46742018c0e5c5c1189c6e275a5162e","datavalue":{"value":{"entity-type":"item","numeric-id":3428725,"id":"Q3428725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3d22ea1ae238d7dec41a8b68cfff4e6efa70704","datavalue":{"value":{"amount":"+0.8514482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q634769$08F58A28-14AF-46CE-B0C8-6F6D046CD24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0f8fe96b18f32dd767626b900a1496327bb336b","datavalue":{"value":{"entity-type":"item","numeric-id":584321,"id":"Q584321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0888886885ddc85ccd638c644d69afb14ef4aa8","datavalue":{"value":{"amount":"+0.8513252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q634769$A31D0C9A-372B-41EC-9E46-3CBC6D5AD194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15978ee46f154c058a13299f51b4fb9d5983739b","datavalue":{"value":{"entity-type":"item","numeric-id":3116522,"id":"Q3116522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f855755d16a4ae70fed0772e683386be383d4c7","datavalue":{"value":{"amount":"+0.8486606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q634769$863BE7AF-6402-49E1-B811-AD75D456EC40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The maximal linear extension theorem in second order arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_maximal_linear_extension_theorem_in_second_order_arithmetic"}}}}}