{"entities":{"Q2412926":{"pageid":2423669,"ns":120,"title":"Item:Q2412926","lastrevid":57899343,"modified":"2026-04-03T00:25:20Z","type":"item","id":"Q2412926","labels":{"en":{"language":"en","value":"Towards better: a motivated introduction to better-quasi-orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856856"}},"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":"Q2412926$485FF3DE-8507-4507-9878-30FAA97686B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c52f5b1ce0f4ae8ba24834f8060d331dd6f1a6e0","datavalue":{"value":{"text":"Towards better: a motivated introduction to better-quasi-orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2412926$D564A7CA-8B7E-4240-AE9E-0E2A9C621B46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cd5dd07f492e63e13c116a8a5040203ac279a3c","datavalue":{"value":"1430.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2412926$6EE5ADFA-9300-4CAB-B0E9-1449F3A6BE9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"246f5e689946030fe90e5bbf26232f646148e380","datavalue":{"value":"10.4171/EMSS/4-2-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2412926$64C6587C-B16C-47A8-9595-9C8710D817D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d27f6cdf8344c4e92458bbc4cad1ff8fd2b35d2","datavalue":{"value":{"entity-type":"item","numeric-id":494656,"id":"Q494656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2412926$17DF4366-CA08-463E-A68B-6EAFB4CD15ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7fa627386af1459701fb8921f1ea92a8f2823b8","datavalue":{"value":{"entity-type":"item","numeric-id":489918,"id":"Q489918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2412926$CD2A96BA-5F7F-4F07-9026-E619EAC8959C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"903e104d255c76762b447f9c24b1eed2b1fc2c24","datavalue":{"value":{"time":"+2018-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2412926$DF793C08-FD39-4456-A17E-9EF2F29743DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"058f3cb8c96abebbfa623727e55a74d4863d7300","datavalue":{"value":"https://arxiv.org/abs/1604.05866","type":"string"},"datatype":"url"},"type":"statement","id":"Q2412926$3B190E69-CEED-48F6-B93F-C190AACFFE5C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cacc02346a3701ce7f62f27b3f5a999f585f1550","datavalue":{"value":"Summary: The well-quasi-orders (WQO) play an important role in various fields such as Computer Science, Logic or Graph Theory. Since the class of WQOs lacks closure under some important operations, the proof that a certain quasi-order is WQO consists often of proving it enjoys a stronger and more complicated property, namely that of being a better-quasi-order (BQO).  Several articles -- notably [\\textit{T. Forster}, Theor. Comput. Sci. 309, No. 1--3, 111--123 (2003; Zbl 1081.06002); \\textit{J. B. Kruskal}, J. Comb. Theory, Ser. A 13, 297--305 (1972; Zbl 0244.06002); \\textit{R. Laver}, Ann. Math. (2) 93, 89--111 (1971; Zbl 0208.28905); \\textit{R. Laver}, Math. Proc. Camb. Philos. Soc. 79, 1--10 (1976; Zbl 0405.06001); \\textit{E. C. Milner}, NATO ASI Ser., Ser. C 147, 487--502 (1985; Zbl 0573.06002); \\textit{S. G. Simpson}, ``Bqo theory and Fra\u00efss\u00e9's conjecture'', in: Recursive aspects of descriptive set theory. Oxford: Oxford University Press. 124--138 (1985)] -- contain valuable introductory material to the theory of BQOs. However, a textbook entitled ``Introduction to better-quasi-order theory'' is yet to be written. Here is an attempt to give a motivated and self-contained introduction to the deep concept defined by Nash-Williams that we would expect to find in such a textbook.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2412926$102F3980-50A6-415D-9A36-E87A2C4A768A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2412926$38F7B17E-5542-43DD-9115-D0F86CFDE550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2412926$E02748AC-E7D5-4EE1-A500-4CC3BB6F70B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2412926$7FD6463E-4F1E-410F-A32B-88435B1A3DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2412926$16D93A4A-69EF-4D40-B4BC-4C40C446FEE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d32e532da0dd93ba787f6a458a6ebd5d66b0c4f5","datavalue":{"value":"6856856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2412926$601334EB-E797-4BEF-9F92-CA5C59DE4D65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"762a112ef0429a3655234c3e246a242461dca9bf","datavalue":{"value":"poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2412926$6BFE5896-22DF-46D6-A780-EA015A1433AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedf903784eeba0fa13d8545c010927ac8abaf15","datavalue":{"value":"partially ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2412926$01304ABC-56C6-4EBF-8F03-DFC6532BFFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbd3ab7bf1fbafed768194a39eff6e0454fe108","datavalue":{"value":"partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2412926$5A0605BC-79BF-4D20-9B8A-1F2F51429003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39dad143b45c82ed492da9519100f2ffb2ca5389","datavalue":{"value":"quasi-orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2412926$E9950556-9B4F-4321-B683-A3FCC9BC5CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9511f77b441d5dd4d9ce3f881b5abb4d8d586baa","datavalue":{"value":"well-founded quasi-orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2412926$0F4B920D-2DE9-4914-B22C-822F70E09099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2be3c34e576bcee6c269e254bb4ae4d0dd2e74c","datavalue":{"value":"well-quasi-orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2412926$38ACBCF5-84EA-4256-9742-F065160C5768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85d1dc781818ea3feeebd6979b4f06005756203d","datavalue":{"value":"WQO","type":"string"},"datatype":"string"},"type":"statement","id":"Q2412926$34AD5C1E-3055-4703-91BC-028C283E8D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c697618453a80e83a048105144d74751cc8ca87","datavalue":{"value":"better-quasi-orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2412926$9354AE82-BD56-4AC7-B499-2AD953B549ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e0dbd89f529508d136ff99abaaa19b5dee53949","datavalue":{"value":"BQO","type":"string"},"datatype":"string"},"type":"statement","id":"Q2412926$263C5B41-C714-47EB-AF0B-350AC6C6904E","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":"Q2412926$F2EAE40B-89AC-4B7F-8462-A810635B8F05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef0beff3f89d16f5f23448abe1c5c13af179a7a4","datavalue":{"value":"W2335997491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2412926$82AA8876-3957-4474-BA06-4684F0FE010B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a759d557ab96a0b572dc4cf5b93fb60698f015e2","datavalue":{"value":{"entity-type":"item","numeric-id":3295144,"id":"Q3295144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c2e05efd6455935a18fdc34718f1cc29aaba119","datavalue":{"value":{"amount":"+0.8945386409759521","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":"Q2412926$AEDC35EB-7744-4120-AE0A-04FD169C225E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5997ac4c2ca1f4f0847d91e5d000164c17a8c1dd","datavalue":{"value":{"entity-type":"item","numeric-id":4316958,"id":"Q4316958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d3c98a021c12ed0853dce80bbd868c42f45c35","datavalue":{"value":{"amount":"+0.8548636436462402","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":"Q2412926$D514CF10-E90A-48F6-9A85-D0C46034FAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5267f63d11233878d38f9811d4e1b8c34b7552","datavalue":{"value":{"entity-type":"item","numeric-id":4955694,"id":"Q4955694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d3c98a021c12ed0853dce80bbd868c42f45c35","datavalue":{"value":{"amount":"+0.8548636436462402","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":"Q2412926$ADE20E36-A279-4730-8CFB-2916FD88781E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f43894e5beae82546c070dd12916480b9452bd","datavalue":{"value":{"entity-type":"item","numeric-id":3691785,"id":"Q3691785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc39000cc2d496014a9f197d6b7f1eb0874dcb0f","datavalue":{"value":{"amount":"+0.8221771121025085","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":"Q2412926$1110CB3F-5D04-4C7B-8ED0-5EAC3A16CD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab85ece477007d9935f266e3be6595ac6fb8f7a2","datavalue":{"value":{"entity-type":"item","numeric-id":3715155,"id":"Q3715155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a21b5dac03dad18f712ae1713115b7d68a70f14c","datavalue":{"value":{"amount":"+0.8189446926116943","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":"Q2412926$2FA3D9A6-A15E-4B3C-9A88-3010C1FDF080","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2412926","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2412926"}}}}}