{"entities":{"Q6663926":{"pageid":14275083,"ns":120,"title":"Item:Q6663926","lastrevid":100181075,"modified":"2026-06-05T21:34:03Z","type":"item","id":"Q6663926","labels":{"en":{"language":"en","value":"Higman's lemma is stronger for better quasi orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7967629"}},"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":"Q6663926$7E3316D2-E8A0-44FF-873D-0940C397276B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf06150e174b1838d9f488c02b46171aec5bf248","datavalue":{"value":{"text":"Higman's lemma is stronger for better quasi orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6663926$08B52499-EFE0-41EF-AFCE-11CB62361D74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46cde92a906782ad5f79b8c3d5306f5cd4f870fe","datavalue":{"value":{"entity-type":"item","numeric-id":526963,"id":"Q526963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663926$53429E10-F826-472B-AE91-EE064A30DC15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663926$FA745CCF-60D1-47F8-9038-6F005B62FD24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"948894fc690c4bf4f300f02af72d1dbad2c7b396","datavalue":{"value":{"time":"+2025-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6663926$E970CF2E-AFB9-4E8F-8131-51BFF2C845C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6663926$2590270E-1006-48DC-BD2F-962340C60AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6663926$6AA24B31-2071-4CB0-A621-6B517F9BFA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6663926$1145EA64-057B-40C6-A029-03978474CB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6663926$1A21DFDD-D73B-4961-BABF-2D1C4E992D25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1764f3effffe6adcc534c97c12b5a2118a4d0d50","datavalue":{"value":"7967629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6663926$74B06E55-E2C5-4E5C-831D-02EC625546E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d39209d488652367428ee47b9a50e6491f07de09","datavalue":{"value":"Higman's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q6663926$51D871C0-C9B8-442C-95ED-B2B2EEDEAE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"085f0be6553d720596a6b54cc54268774056dafc","datavalue":{"value":"better quasi order","type":"string"},"datatype":"string"},"type":"statement","id":"Q6663926$1CC3C5F3-B739-46F3-9587-AB1041991057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6663926$EE8A96DC-E0AE-48DC-98DA-F2D6043CEE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b6c84be86d5ff400590f70dfaf2a4a59d17f20a","datavalue":{"value":"Nash-Williams' theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6663926$685B126A-AF3A-4E4C-ABD7-25C2940740BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6663926$2A46D75F-C286-46CE-9843-D01A001AE707","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":"Q6663926$58F3937A-EB6A-499D-BEE0-34B0A86A8BBE","rank":"normal"}],"P223":[{"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":"Q6663926$DAE8D728-FD53-4121-85FB-C1DA45A08BA4","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":"Q6663926$99F2219E-1170-44FB-A8A3-EE80DC45DD1C","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":"Q6663926$D7CC7F2C-0F15-49D1-9901-8291730650BC","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":"Q6663926$4113413F-8CF6-4CE4-977F-324BFAC5E387","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":"Q6663926$5E4E6AAF-9E71-49A9-B521-AEEA6B4BB10C","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":"Q6663926$2BEB3AE1-D93E-4663-8A7C-7A0AACB02C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f6958cb6248476ba25cd5766bb6e192186a469","datavalue":{"value":{"entity-type":"item","numeric-id":3174640,"id":"Q3174640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663926$AB04022B-C991-4CD2-833D-11C579A5C073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607ded5234c26c38df472a520c18577c89b874cc","datavalue":{"value":{"entity-type":"item","numeric-id":4764120,"id":"Q4764120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663926$3CA48958-E74F-46F2-91F0-E0DCE6AA47FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0dffc55f1a93c6cf3f7f56c1bd747358a0b606f","datavalue":{"value":{"entity-type":"item","numeric-id":3837736,"id":"Q3837736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663926$8F4E5A94-A321-4E06-B1BD-07B5F5633361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a3cae5c7ffa372886edddc3a9cfec8d6827d8c","datavalue":{"value":{"entity-type":"item","numeric-id":3197820,"id":"Q3197820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663926$C158259F-B5A8-4080-A893-75DC979A8E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff042ee22b404e5dce5b7b7362a9cdfd9f84a6e5","datavalue":{"value":{"entity-type":"item","numeric-id":6135847,"id":"Q6135847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663926$92E59AF0-8A30-40CE-9032-3919C6570263","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":"Q6663926$25AC2AC7-232C-414B-AE41-7B555CE65E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26b6fe1dc8e2bbf5665583e54521fccec9f7a34","datavalue":{"value":{"entity-type":"item","numeric-id":3011121,"id":"Q3011121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663926$0C2D3A2F-D451-4A94-8ADF-D8F4203F0DF1","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":"Q6663926$80753C31-ED8F-4BF2-8B88-4F50A1373BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d5db4dd99833d3831c23c4ef3d66f48a1fd3b5","datavalue":{"value":{"entity-type":"item","numeric-id":3717036,"id":"Q3717036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663926$0B5B3294-9984-4694-8DA4-6A323F505541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768f5d716e5e2158e993d2189bd05dd09955ae90","datavalue":{"value":{"entity-type":"item","numeric-id":2904387,"id":"Q2904387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663926$B5FAE666-F3AB-4247-AEEC-DDD4E2263A33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3aee7a96d4b37347a8b6eee92e7e309bdf48cebc","datavalue":{"value":"10.1007/S11083-024-09658-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6663926$B0E3A0F0-5840-4A7A-9E1F-A2D0171D91C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"033182b07b11793ce0ae6ef0a408365aa6f589bb","datavalue":{"value":{"entity-type":"item","numeric-id":6135847,"id":"Q6135847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0091fc3532381d07e0dce8b44d4710da5179fe48","datavalue":{"value":{"amount":"+0.7650390863418579","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":"Q6663926$C5A166A0-FBBB-4918-8A09-872F98B34015","rank":"normal"},{"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":"d8098dc38803b2752939c2858ff40f7678dd5cda","datavalue":{"value":{"amount":"+0.7476159930229187","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":"Q6663926$F4F24073-2311-4246-96CA-DE1F4F53B116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7215960e636e65adfc9cb77f389b6d5279622adb","datavalue":{"value":{"entity-type":"item","numeric-id":2412926,"id":"Q2412926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966701e15c1e5fbd001ae13b8007553b7609af8e","datavalue":{"value":{"amount":"+0.731874942779541","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":"Q6663926$08CF242C-B7B4-4679-9414-206C76D1ECCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5cbd486836a9ff6ead746d42a3565b906cdfe1","datavalue":{"value":{"entity-type":"item","numeric-id":3837736,"id":"Q3837736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d75f2a794302b71870218675da092c074ec02466","datavalue":{"value":{"amount":"+0.7318320274353027","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":"Q6663926$40B4D968-444B-41BE-9733-5CC4687A21A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22b2fc97ba370de2d5a2b94665da59dda50e8153","datavalue":{"value":{"entity-type":"item","numeric-id":4736401,"id":"Q4736401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"506526efb6328cb6f4c3ebb383e80dd8d51bfd9f","datavalue":{"value":{"amount":"+0.7310487031936646","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":"Q6663926$17BEF98B-2227-4A59-BDA8-F1E38382182F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663926$598131C5-D8CC-44DC-BFC3-E8513BBF030E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higman's lemma is stronger for better quasi orders (scientific article; zbMATH DE number 7967629)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Higman%27s_lemma_is_stronger_for_better_quasi_orders_(scientific_article;_zbMATH_DE_number_7967629)"}}}}}