{"entities":{"Q1425651":{"pageid":1436391,"ns":120,"title":"Item:Q1425651","lastrevid":68800440,"modified":"2026-04-13T02:09:29Z","type":"item","id":"Q1425651","labels":{"en":{"language":"en","value":"Computability-theoretic and proof-theoretic aspects of partial and linear orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2060063"}},"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":"Q1425651$4D35AC04-488B-4031-8B73-4B1EF928900D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a50ac06ebe0b72d74247d363176d38fbf42c7337","datavalue":{"value":{"text":"Computability-theoretic and proof-theoretic aspects of partial and linear orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1425651$726493E5-A6FB-46B6-AD54-908A3614DB17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4dc8992ad133091106dfd7b3f33132c165c1ced","datavalue":{"value":"1044.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425651$295DACF7-873A-49D3-B2B3-6C11EB5BE4DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12900a4bd9019937ab9fb57fb560de5f62b088fb","datavalue":{"value":"10.1007/BF02783429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425651$A95211F0-4A03-4F67-948D-617B80F91292","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2356fe1f1f6d7960e11f0114cbd6aa7fe05024f7","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$07CA85BB-EFC9-4698-ACEA-E8E179D757C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de07eca08fd275b43aedd5c0b45bb2e3e71c52be","datavalue":{"value":{"entity-type":"item","numeric-id":456803,"id":"Q456803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$CEF48A49-7E35-41B0-A4E0-1E3C6573A978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0b2f77af8f2df77d28314d19ad410add2b91","datavalue":{"value":{"entity-type":"item","numeric-id":218972,"id":"Q218972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$52130BCC-D1F0-4D60-9C8E-0C585326DDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22619fa0bcfede8dabe102ce78dd2250f3353f67","datavalue":{"value":{"entity-type":"item","numeric-id":218974,"id":"Q218974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$65846549-E3D9-4577-9D1A-0E795F3DE199","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$DB69969A-607D-4CE7-B0BF-7F104CDE24A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d75dd69f6961ad93c6a4059106a59e2c8b929b1","datavalue":{"value":{"time":"+2004-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1425651$7CC51883-1E01-4ED2-B55A-DC87CD454E42","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f467ac6c7ccc2b1b549852fb51d74fff6c0d1058","datavalue":{"value":"The authors examine the reverse mathematics and effective content of several variations of Szpilrajn's Theorem [\\textit{E. Szpilrajn}, Fundam. Math. 16, 386--389 (1930; JFM 56.0843.02)]. A linear order type \\(\\tau\\) is called {extendible} if every partial order containing no subchains of type \\(\\tau\\) can be extended to a linear ordering containing no subchains of type \\(\\tau\\). The main results of the paper are: (1) ``\\(\\omega ^*\\) is extendible'' is provable in ACA\\(_0\\) and strictly stronger than WKL\\(_0\\); (2) ``\\(\\eta\\) is extendible'' is provable in \\(\\Pi^1_1\\)-CA\\(_0\\), but not in WKL\\(_0\\); and (3) ``\\(\\zeta\\) is extendible'' is equivalent to ATR\\(_0\\). Here \\(\\omega^*\\) is \\(\\omega\\) with the reverse order, \\(\\eta\\) is the order type of the rationals, and \\(\\zeta\\) is the order type of the integers.  For a survey of linear extensions of partial orderings, see \\textit{R. Bonnet} and \\textit{M. Pouzet}'s paper ``Linear extensions of ordered sets'' [in: I. Rival (ed.), Ordered sets, Proc. NATO Adv. Study Inst., Banff/Can. 1981, 125--170 (1982; Zbl 0499.06002)]. For background on computability-theoretic aspects of linear orderings, see \\textit{R. G. Downey}'s paper ``Computability theory and linear orderings'' [in: Yu. L. Ershov et al. (eds.), Handbook of recursive mathematics. Vol. 2. Recursive algebra, analysis and combinatorics. Amsterdam: Elsevier. Stud. Logic Found. Math. 139, 823--976 (1998; Zbl 0941.03045)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425651$7D435592-E5BE-45E3-9864-7B5D0FD7B1D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425651$E5FE4B71-B5CF-484E-B206-6ABCD8E02D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425651$FE536095-28A0-4EFB-8AFF-71380C1B962C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425651$3E6A6129-84C4-48E2-84AA-CAB7285EE68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425651$9C89A5D9-3D7A-41F3-AA52-36E98F3DC607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425651$6204B300-9346-4D85-84FD-290F1E552E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425651$C874548F-4AAA-45B1-88A0-AE4C7C6EDE3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85d6eac723d812d5b88af2a7d3e0d8700cb90d6d","datavalue":{"value":"2060063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425651$04BF6D3C-3C51-493D-A80E-1F675CE32239","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425651$FE772FF7-DC69-4900-88D8-1D7971358648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425651$A0557715-2134-4987-BDAB-51FF7A9CE5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6229d895fe9e86726ba7903d478cbf975ef07934","datavalue":{"value":"effective content","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425651$93C11835-2941-48BD-8ECC-983FAB6F2070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96293d2789e4b37fae1f0bf873740982c3157881","datavalue":{"value":"Szpilrajn's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425651$5A12CCC3-57BA-476C-A8A7-3DD159EEF3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655bb2d6c3920c6b415d02f5feb3c633e2cca9a6","datavalue":{"value":"linear ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425651$29DC7EB4-1EEB-4487-AE4A-EC68073D4898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf5c712ef9f17f36c434941b1f7b9cfd657a158f","datavalue":{"value":"partial ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425651$35BDF720-A079-4182-B581-50026D7BF6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459ffded74521c7177e183238b11e0b004784b7c","datavalue":{"value":"combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425651$6A14BCED-C3FD-41BC-939F-DB9A113DA449","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":"Q1425651$5F2229A1-D05B-4C5C-80B4-86219ABFFB12","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":"Q1425651$DC5A3D9E-8C1D-4B1D-9EEF-254A8C9906DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a36be667228fb4062458e089eac23242509b8f51","datavalue":{"value":{"entity-type":"item","numeric-id":5606574,"id":"Q5606574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$313BFE84-DB68-49C8-9311-99712236D1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd2814a1fcdc7203d341baa5129d69e076839780","datavalue":{"value":{"entity-type":"item","numeric-id":5581652,"id":"Q5581652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$03574BDD-0A29-485A-B4AD-B9413195E92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b5bd6e185ebddb91519d63dcaafb1fc04808bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3964625,"id":"Q3964625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$7355304F-1B7E-4F68-BC5E-08F8028DA8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813d5d9f17eadc778c3336aa2ce579675a5cf35f","datavalue":{"value":{"entity-type":"item","numeric-id":4249724,"id":"Q4249724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$D4EF6207-60B3-4FF6-BF81-F7A624669C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac5cb5cbfb9d8f8a931d2907f876d6296fa6de8","datavalue":{"value":{"entity-type":"item","numeric-id":4249355,"id":"Q4249355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$625C25B2-9D48-4589-8148-714AEF34B152","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":"Q1425651$0C7774C3-7CF4-49B2-BDC0-ACDB1B1BD357","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":"Q1425651$A636A9E2-F3F3-4D1F-9E72-6BCA2FB9C091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c45866e6366266fc85213b2eb8d896f6640763","datavalue":{"value":{"entity-type":"item","numeric-id":1063593,"id":"Q1063593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$B093043A-22A4-4C35-A613-64308A5F5AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c13d8c4f9b6f2d65debfe54d1f367b84b9c0238f","datavalue":{"value":{"entity-type":"item","numeric-id":3231245,"id":"Q3231245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$6D2A4655-43A0-4848-A790-40366583D7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc68fbc256a340ad9770614b514ab49182f4bdd","datavalue":{"value":{"entity-type":"item","numeric-id":5677475,"id":"Q5677475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$E89D8EED-A1A0-4A67-96FB-6AE10BF0BD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$35AC3A24-66DC-4D7C-9E09-83CB18161375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c662d813b1e9eefb532df071ece3cc094fe82f0","datavalue":{"value":{"entity-type":"item","numeric-id":3922662,"id":"Q3922662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$9FA0B850-1CD7-415A-BB08-5FAB035E89DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360cc14210d040c82c3fb8482fcff4a97cc7c9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5537373,"id":"Q5537373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$B6BC1569-FF92-4BCC-9448-97B683F7CF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$92A8C331-A1AD-4020-A9A5-0BB20A30CF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534730d39bf1b2fb7e127c00d7c04e03699b9f80","datavalue":{"value":{"entity-type":"item","numeric-id":3949052,"id":"Q3949052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$56C14ACA-8ABA-43E6-81AE-437345A7490F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d635b4b9bb3d2bbea842e5cf98f18ae1f4c9a15a","datavalue":{"value":{"entity-type":"item","numeric-id":3216704,"id":"Q3216704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$7E1B2432-825C-4D30-BB5C-D0F15A759FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$DE44849F-E8F5-4661-868E-7B5E04AC4421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f88a37f413b8cecaa1e3c4b7ab62056f6a47be12","datavalue":{"value":{"entity-type":"item","numeric-id":1295404,"id":"Q1295404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$BB0BFD05-3762-45C4-B0AD-CF9486F88C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$EF401E42-491F-4F10-B900-8E8E2F762022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d146316520b016ac1ec5b7ce27b391ab744c78","datavalue":{"value":{"entity-type":"item","numeric-id":4254643,"id":"Q4254643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425651$2C1E4816-3F99-494F-B835-983337701A88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7df137b3625d8d64d179c95c9edd3ebe5c276f8c","datavalue":{"value":"https://doi.org/10.1007/bf02783429","type":"string"},"datatype":"url"},"type":"statement","id":"Q1425651$24932C6C-5F53-4280-BA86-2C52DA8E6670","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bdcf9b6d334ce5bdebc54ebdb33bcdd6dc9ab71","datavalue":{"value":"W2028592975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425651$A8A528C5-507B-486B-A32F-8BBAADEF6CB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"282e8d2821b6473561469d328a5becbc1341ba26","datavalue":{"value":{"entity-type":"item","numeric-id":3144869,"id":"Q3144869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ca8ad7860735e663ceaf9d70e6a77eb8461ff44","datavalue":{"value":{"amount":"+0.863854706287384","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":"Q1425651$4462F669-A0F2-43FC-8C94-30BF7F3210A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c18517693957386422478525d0653d535a3b838","datavalue":{"value":{"entity-type":"item","numeric-id":3216704,"id":"Q3216704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b40e56449f819205ee31426472c1ff6e0387034","datavalue":{"value":{"amount":"+0.835826575756073","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":"Q1425651$F7898520-400D-438E-B5E6-1614466FDD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2204719c8c3457113555a9cd7a00bc45dbc794a0","datavalue":{"value":{"entity-type":"item","numeric-id":4683149,"id":"Q4683149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eebefaf7be1b6927fbcc044a7977b56798fa92f1","datavalue":{"value":{"amount":"+0.7766038179397583","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":"Q1425651$224D0A82-EB01-45D0-A495-3DDF1B68B896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5823019e5c231de4c1d3667cd3805069bdf2c026","datavalue":{"value":{"entity-type":"item","numeric-id":3033753,"id":"Q3033753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f924e13c0e9f1c8a63a77a7168ccf119666ce399","datavalue":{"value":{"amount":"+0.7757527828216553","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":"Q1425651$68AE971F-D3AB-40F9-8DCA-EA5AE3633168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8b3e1cafe5d99acc4171e80e2af49785a16def","datavalue":{"value":{"entity-type":"item","numeric-id":634769,"id":"Q634769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d72c012f28494bf066f0c18245f0fcbf613d6761","datavalue":{"value":{"amount":"+0.768917441368103","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":"Q1425651$C47159B5-B04A-470D-A0EB-8C56843FEB2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computability-theoretic and proof-theoretic aspects of partial and linear orderings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computability-theoretic_and_proof-theoretic_aspects_of_partial_and_linear_orderings"}}}}}