{"entities":{"Q5311748":{"pageid":7341322,"ns":120,"title":"Item:Q5311748","lastrevid":48538528,"modified":"2026-01-05T03:49:19Z","type":"item","id":"Q5311748","labels":{"en":{"language":"en","value":"Reverse mathematics and the equivalence of definitions for well and better quasi-orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199953"}},"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":"Q5311748$BB21A7A6-2C6E-4CA2-B779-B6174A6E1E54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0b6b6b158e7942f2d0b661fb3f697e075fa6107","datavalue":{"value":{"text":"Reverse mathematics and the equivalence of definitions for well and better quasi-orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5311748$006C2031-8325-4F25-9A95-2ACC875F9695","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48bde9dcb90f69912bc6231477f08c584ee770b9","datavalue":{"value":"1075.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311748$8B75AD4B-BC8D-4062-9A49-62B0788FB896","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"013387cf05741829c5cb1447cab126ab3f6ccb0e","datavalue":{"value":{"entity-type":"item","numeric-id":435198,"id":"Q435198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311748$82C06652-FA12-4E25-A356-6377106FC0A8","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":"Q5311748$12C50BC9-38D7-4849-846B-3010E06D2104","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":"Q5311748$1F5D3626-E12B-49F4-AFDA-B714F90F3C55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311748$041BFB00-985B-4930-9277-7CC7229B6321","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bf6b2a1195bceb76e95a6eaf6480b71590f9114","datavalue":{"value":{"time":"+2005-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5311748$FFDA162B-25F4-491F-BDDD-AA48717E50E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"185cc6778a98b30d80ffdbcec9e01a8f5999ee5d","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.2098","type":"string"},"datatype":"url"},"type":"statement","id":"Q5311748$157BA230-D0AC-4021-9DDE-B46B9BA83EBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311748$DE1F950A-DDB9-4035-B884-1993017ADD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311748$DD86C182-D98E-428A-B11F-08C3B0867D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311748$41321B7A-4CC8-4B4E-93E9-B0C72AAE043D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2379cdd74790b7a921eeee46def87f1cf86f680","datavalue":{"value":"2199953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311748$E59882A4-9C85-40E5-B709-D5D121AD3E37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5058b1e1a86c7c1adb37dc5cf7ffe28ec77954e9","datavalue":{"value":"quasi-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311748$E60CE6DA-95B4-4FCF-BD31-62D7A5606E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f544640c68096b30371a4b1f3cb60c23a607caee","datavalue":{"value":"quasiorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311748$B1A5584B-FCBB-4FF6-92BE-0B31CC53BF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12fe3d93818556d981ab269736c237cbc3a660f0","datavalue":{"value":"Ramsey","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311748$DB0903E1-14A9-42C3-965A-A96E63BA23A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2816f781bf2f1503b0f6c76dd24bc1b05ab8cdff","datavalue":{"value":"CAC","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311748$47099FC8-6E06-48AB-862C-4C204A278815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a5d5bd89637a53fa1f97a375dbf307a35f69668","datavalue":{"value":"chain-antichain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311748$FB0EDDF0-CF2D-42E4-99A0-4A7A8202D09B","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":"Q5311748$254D6029-2D57-4260-8D92-6A0ECD231C80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8452bc97ce97c634f2743b0856623141527def4","datavalue":{"value":"W2116579313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311748$C220B73A-0BE5-4476-BB81-6D5BAB2445C5","rank":"normal"}],"P223":[{"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":"Q5311748$7121BEA6-70A0-428B-BBDD-62DCEB9CFAF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73a9c20d9fbe136398dc3c2e91f72c22fff0bc1a","datavalue":{"value":"10.2178/JSL/1096901762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311748$F951B298-9B3F-4EE5-98F5-D9130F56264D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587e7685430aeac22ccb85fc9374970c8c7e22ab","datavalue":{"value":{"entity-type":"item","numeric-id":283113,"id":"Q283113"},"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":"Q5311748$93D92882-329A-4FA1-86D4-FE05F72311A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd802bcb1133e65d5bd3b5203e7033b9f0825b14","datavalue":{"value":{"entity-type":"item","numeric-id":918549,"id":"Q918549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493f611fb6a008afd8e094cedfc79d726929584e","datavalue":{"value":{"amount":"+0.7824877500534058","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":"Q5311748$E4226127-3CDF-457D-B19D-89101F55E5C8","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":"8907d2cc54474c09eda048bb9a8f75e87cad0a70","datavalue":{"value":{"amount":"+0.7805719375610352","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":"Q5311748$D57C526C-90FD-48C5-BEB1-D11EB56CE7CA","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":"684520d1aa4c122a0666dd99808b157566bc94f2","datavalue":{"value":{"amount":"+0.7799426317214966","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":"Q5311748$AA874530-9E1B-47AC-98A7-6CA5D579558B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a17d3f95ae37d099d47a4d1adf701732ccc548e","datavalue":{"value":{"entity-type":"item","numeric-id":5711888,"id":"Q5711888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfba84e31079ec77620f6416ca43aaeec02ebfff","datavalue":{"value":{"amount":"+0.7614128589630127","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":"Q5311748$99D4D037-E4BA-48D5-81F5-A7A612FBBC4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5311748","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5311748"}}}}}