{"entities":{"Q283113":{"pageid":284880,"ns":120,"title":"Item:Q283113","lastrevid":60685560,"modified":"2026-04-10T18:30:17Z","type":"item","id":"Q283113","labels":{"en":{"language":"en","value":"Reverse mathematics, well-quasi-orders, and Noetherian spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6580189"}},"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":"Q283113$AA1AEDF9-C23C-43FC-AAD4-8927F9766121","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a59e95f41bf5ff57bca78426e8a5596d6871f52","datavalue":{"value":{"text":"Reverse mathematics, well-quasi-orders, and Noetherian spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q283113$3366731E-EE8E-4B65-A187-AA2934E744E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc27a402c19f227e4565a6761b06fea9ab048c75","datavalue":{"value":"1342.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283113$03D1B8B2-8853-4CCE-A38D-720AC833F85C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbdba517a72e055642d2ff66728516f186cb57fa","datavalue":{"value":{"entity-type":"item","numeric-id":283109,"id":"Q283109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$9B1E5DB8-DF31-4128-A496-FE5EB964EAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8256f57e609f901244eda2b0630d8c8976c53c72","datavalue":{"value":{"entity-type":"item","numeric-id":283110,"id":"Q283110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$11768789-F61D-4B84-A222-71D0FEB326E8","rank":"normal"},{"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":"Q283113$5B702D6F-6A4C-40C8-A738-3AE52B04DF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e534880849b93db09a5c4bf78c5b4ca1b817f6f","datavalue":{"value":{"entity-type":"item","numeric-id":283111,"id":"Q283111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$B9AD0A47-52B5-4727-9E70-8199F012FECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fb40201c6cea721afe2fc2aef7493de08bcab64","datavalue":{"value":{"entity-type":"item","numeric-id":283112,"id":"Q283112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$F2DEACB1-9B62-496E-A353-EE0B09C1326F","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":"Q283113$8274EF7D-B131-4C8C-AFF6-42F1AD3CECB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"659004eb67caabef990f3b9c257f2b5657544074","datavalue":{"value":{"time":"+2016-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q283113$4E445406-6776-4672-B354-883990220E98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2661e42d6e9955a25692a4f6512364d918e7f6c","datavalue":{"value":"https://arxiv.org/abs/1504.07452","type":"string"},"datatype":"url"},"type":"statement","id":"Q283113$BE0222E0-2DD5-40D7-83DD-ABB5226CDF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"113c130062ce2e1690e18f5f65778e0714a728c5","datavalue":{"value":"http://eprints.whiterose.ac.uk/111925/1/FrittaionHendtlassMarconeShaferVanDerMeerenRMWQONoetherian.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q283113$AC860E7A-3C5B-4297-AED5-0EADFA5ED6D4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"52a08804092e6fddbdd187c3ee9622771afa8f29","datavalue":{"value":"This paper uses techniques of reverse mathematics to analyze the logical strength of theorems related to work of \\textit{J. Goubault-Larrecq} [``On Noetherian spaces'', in: Proceedings of the 22nd annual IEEE symposium on logic in computer science, LICS 2007. Los Alamitos, CA: IEEE Computer Society. 453--462 (2007; \\url{doi:10.1109/LICS.2007.34})]. Given a quasi-order \\(Q\\), one can induce quasi-orders on the power set of \\(Q\\), for example, the Hoare quasi-order \\(\\mathcal P ^\\flat (Q)\\) and the Smyth quasi-order \\(\\mathcal P^\\sharp (Q)\\). Quasi-orders can be topologized using the Alexandroff topology \\(\\mathcal A ( Q)\\) or the upper topology \\(\\mathcal U ( Q)\\). If \\(Q\\) is wqo, then each of the following spaces are Noetherian: \\(\\mathcal A ({\\mathcal {P}}^\\flat_{\\mathrm f} (Q))\\), \\(\\mathcal U (\\mathcal P ^\\flat_{\\mathrm f} (Q))\\), \\(\\mathcal U (\\mathcal P^\\sharp_{\\mathrm f} (Q))\\), \\(\\mathcal U(\\mathcal P^\\flat (Q))\\), and \\(\\mathcal U (\\mathcal P^\\sharp (Q))\\). The main result of the paper shows that each of the five preceding assertions is equivalent to ACA\\(_0\\) over the base system RCA\\(_0\\). The development makes use of the framework for countable second-countable spaces introduced by \\textit{F. G. Dorais} [``Reverse mathematics of compact countable second-countable spaces'', Preprint, \\url{arXiv:1110.655}]. Since the arguments are formalized in second-order arithmetic, they provide proofs of Goulbault-Larrecq's results that do not rely on category theoretic methods. Related results on the preservation of wqos and bqos in the induced quasi-orders can be found in the work of \\textit{A. Marcone} [in: Reverse mathematics 2001. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL). 303--330 (2005; Zbl 1083.03052)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q283113$D9DB0954-1BFB-487A-ACF5-D2180672A49E","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":"Q283113$0489221E-2759-4B85-921F-F94B128939EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283113$ADD49BBC-B70F-4C6D-BB89-336DF7F2999D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283113$D4D38AB4-3DFD-430A-9A18-A4B4BED65DEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"766cb742fa92543293e82340bff33741b5609b2c","datavalue":{"value":"6580189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283113$8A50EC25-60C5-4042-BE6B-696322D2FA2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q283113$907A9B58-8CDA-4408-A924-991C0839C1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q283113$BFC402D4-E3B4-4E84-BD29-29D246427748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c444ea1f9778bae31e9650d8798951e55fbb34ca","datavalue":{"value":"well-quasi-orders (wqo)","type":"string"},"datatype":"string"},"type":"statement","id":"Q283113$52448A7F-C153-4746-A47A-D83CE3CE6A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5a0a34e47d3d7382a14b3d9cadaa0359fc8ef8","datavalue":{"value":"Hoare quasi-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q283113$5842B105-6123-4426-BC87-268836DC64B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d7c59304579e0e54c1322b23b8f84fa2b1506b0","datavalue":{"value":"Smyth quasi-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q283113$92F690CA-5395-44D1-9160-2380F80DBFE4","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":"Q283113$ACA6B3CC-3576-4249-A41D-1E69699C9EF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebd7f7502f90d69009c0cf9d5540aa36287feb44","datavalue":{"value":"W1521384790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283113$120D1687-3B15-410D-8DBF-DD6275E16BF4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3c6ffd029139189a4c61160ec50274767004a569","datavalue":{"value":"Q59894048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283113$8E478B4A-9552-48F5-9683-01666753A501","rank":"normal"}],"P223":[{"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":"Q283113$437FC0F1-8228-48F9-B0FC-67FD50803FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce84a7b1c7ab92c6703d5ab4009b1868b2001c8","datavalue":{"value":{"entity-type":"item","numeric-id":5829026,"id":"Q5829026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$72934C16-BD5C-45E8-BC8B-29698C79D6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b0c09c877abc4a5e036f3553cd34f105f3876","datavalue":{"value":{"entity-type":"item","numeric-id":3444857,"id":"Q3444857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$7F9AE625-F42E-4B02-AF98-693799319ABD","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":"Q283113$068832C5-35A3-4226-A803-2437BEAA02B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef49082c8d6960371aa3ff3336189a8473dc38","datavalue":{"value":{"entity-type":"item","numeric-id":386152,"id":"Q386152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$1FB9E74D-9C61-4E1F-ACB9-8741E157AF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"783b9fac2baabff5e51cc0fada443666d71a3c55","datavalue":{"value":{"entity-type":"item","numeric-id":3144869,"id":"Q3144869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$B7B33F52-1E75-4566-9B52-3AADC24C0018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"514fbe83d7f4ab7ef887b47f04d63842f6f3ad9a","datavalue":{"value":{"entity-type":"item","numeric-id":977107,"id":"Q977107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$4D96F14E-6B17-4BFC-B59E-26CC30D77F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4597b7a4b847274f0ff50c8904880b844930b247","datavalue":{"value":{"entity-type":"item","numeric-id":3587424,"id":"Q3587424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$A5B21FD2-4E1E-49B9-BDA9-D0E4D3D9FADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b42a1c3ee06f9654510272357578368daee23b","datavalue":{"value":{"entity-type":"item","numeric-id":4914616,"id":"Q4914616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$28585DBC-6CF6-42ED-B7E1-0C49025466C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a917c499b4053c939bc56c57f4fb73c8440306ba","datavalue":{"value":{"entity-type":"item","numeric-id":1067409,"id":"Q1067409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$2D71EF80-B0AF-4BA4-9BC5-9E5A85EE829F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf2adec9d870aeabc77ddb5801758e5bc9fc573","datavalue":{"value":{"entity-type":"item","numeric-id":1607015,"id":"Q1607015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$61292AD3-1D73-4E28-90EF-D065F1CBC2D3","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":"Q283113$89AF7C14-6996-454A-986C-55C04D6692EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c684a80ad890c06e2a55a9d5b5f9cc0206c3ac","datavalue":{"value":{"entity-type":"item","numeric-id":2372682,"id":"Q2372682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$D3B73263-D32F-4894-A544-E3635F509167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faa66a5444bd000cf31cb6b01266c8573bbff501","datavalue":{"value":{"entity-type":"item","numeric-id":5959740,"id":"Q5959740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$5A4C1DED-3D15-4024-A1A3-BCB125EE640F","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":"Q283113$4FE5F326-1B0F-4EFC-99EA-C2F59F78ED82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b402d4bf0781dc782d019ac9f2fd500522a65cc6","datavalue":{"value":{"entity-type":"item","numeric-id":634769,"id":"Q634769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$2B813175-83BA-45EE-A57D-6D231FD0030D","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":"Q283113$7E98C00E-50CD-4B78-8B65-E6904E162714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"022a826e9da4cb276d942cc5b2a39c90b25d05d6","datavalue":{"value":{"entity-type":"item","numeric-id":2548260,"id":"Q2548260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$2AAD6633-56D7-4CF4-977B-8A01ACEEF14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d386d53a87bc23f25814956095d35bea72ff30","datavalue":{"value":{"entity-type":"item","numeric-id":5829880,"id":"Q5829880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$779DA00C-E3AD-45C2-A4DD-836F1B997ACB","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":"Q283113$7E04E4F8-1EF6-4870-B278-D764DD55B572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c420b4440bd4c971b91516dec69fe354436de557","datavalue":{"value":{"entity-type":"item","numeric-id":1345481,"id":"Q1345481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$20EBAA33-B69F-4952-8351-40D633760495","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":"Q283113$529632B0-4CC8-4411-820E-D013E4B7FB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283113$5B5B835C-701D-4182-93BC-68A6BBC888ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"276dbf49784f5e71ff67cfc10bbb1595881f0f72","datavalue":{"value":"10.1007/S00153-015-0473-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283113$6671595F-8F10-4815-8028-1BC342FDE6D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8c921fe4bdee51ddbe8fe9a63484f12e6df66a","datavalue":{"value":{"entity-type":"item","numeric-id":5311748,"id":"Q5311748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ded0787a44fc4e1a4adfd5120c71264de2ff0b3","datavalue":{"value":{"amount":"+0.7848993539810181","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":"Q283113$5D0801B1-A96A-4ACD-8D05-178D2926AEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ce557aec5fc2ccd00d3484baa87b5f76c4c656c","datavalue":{"value":{"entity-type":"item","numeric-id":3295152,"id":"Q3295152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e7cdce9f168f0a9e2b1c18df1a9587c54f0590d","datavalue":{"value":{"amount":"+0.7831079363822937","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":"Q283113$98B48E4C-E345-4727-BC80-35D0531460B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2516bde67cd48274a19cc03682cf512be571bad4","datavalue":{"value":{"entity-type":"item","numeric-id":5074202,"id":"Q5074202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6edb322640f190b80f30c756b754a67205dce7f5","datavalue":{"value":{"amount":"+0.766333818435669","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":"Q283113$57B66F46-C300-44B3-8A78-C8D0F1764FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de6c9bef8dc8c90c7dd0e88b37dd929d2dd45ed0","datavalue":{"value":{"entity-type":"item","numeric-id":5711893,"id":"Q5711893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b4748db8e2bcda30c38a99cd926fa512a8819d","datavalue":{"value":{"amount":"+0.7486560344696045","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":"Q283113$7D41F2C7-FBBC-4A77-B126-CFC64F3EA162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ea63ba8de941243d6a615642dc2f97260b72ef","datavalue":{"value":{"entity-type":"item","numeric-id":527337,"id":"Q527337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36110a3e9911fcdb2054f0d1b526384708e029d2","datavalue":{"value":{"amount":"+0.7391099333763123","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":"Q283113$8EF3B57F-4C5F-4790-8B0D-E927A5B300E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reverse mathematics, well-quasi-orders, and Noetherian spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reverse_mathematics,_well-quasi-orders,_and_Noetherian_spaces"}}}}}