{"entities":{"Q744984":{"pageid":746833,"ns":120,"title":"Item:Q744984","lastrevid":64093560,"modified":"2026-04-11T17:36:09Z","type":"item","id":"Q744984","labels":{"en":{"language":"en","value":"Linearizing well quasi-orders and bounding the length of bad sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6493328"}},"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":"Q744984$325013FF-B354-48BD-8754-DBD76F833208","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cc0e3e1b3a59a1ed2fbf26b7a7d9ad34de683ed","datavalue":{"value":{"text":"Linearizing well quasi-orders and bounding the length of bad sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q744984$A9207858-EA7A-44FB-ABCD-EF83E92EBE26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5109157078d1ea07379aac5052a099b5dda96567","datavalue":{"value":"1347.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744984$B1E45C0E-38D0-4531-9E07-AA72835CDEB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5100764b2d277fa68feb9afc420d50e70c88e1e6","datavalue":{"value":{"entity-type":"item","numeric-id":744982,"id":"Q744982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$D6E0C8FA-435D-43BA-9AB9-4F4DE2640BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e18e3410e30c1d79684d376151c4e281cfcf6277","datavalue":{"value":{"entity-type":"item","numeric-id":235739,"id":"Q235739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$ED2C2E7B-8075-4ECA-A4DF-485E3871FCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5895fa2fa03332f6114ccc680731cb1b314f8f3","datavalue":{"value":{"entity-type":"item","numeric-id":744983,"id":"Q744983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$9CF073D5-8AFA-4C23-8DA8-6F991E75A801","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$E20CE83F-4138-44D3-9E8B-3739B2F77AB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5981dc1780667b005458bf584649c04baa5310fe","datavalue":{"value":{"time":"+2015-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q744984$FA8BB5B6-5AB1-406F-B069-FE57D8B04851","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744984$66909FD0-1178-4618-A615-2CC2FF94F05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744984$A16727B5-54DA-4614-A2D4-310F358C8207","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cac61168ecc0831216f358580bb770e16c480e23","datavalue":{"value":"6493328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744984$CF7E65ED-42B9-4A6C-8159-1C2ABE7488DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dec74f64f61bac0fb1ca0e4438851dd63ab4c27a","datavalue":{"value":"well quasi-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q744984$46354167-C628-47EF-A7E0-68F5272070D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f3d334500d1538c831150940fa05767d140ce3","datavalue":{"value":"controlled bad sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q744984$CC6DA81B-FA06-4FB0-9B69-089BA2C802B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1eebe04328d31536de0fae8efb9a365df801714","datavalue":{"value":"lexicographic ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q744984$686F964D-0652-4FCB-BED5-EDE573B972AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"659f864d9d53241590a1b5be98e647208c236912","datavalue":{"value":"product ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q744984$90592181-D720-439A-BF84-FE490CE745FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a19ab0dbd7bf1cf1cb53b9166eab19f4a0a6e52","datavalue":{"value":"multiset ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q744984$019D2DBA-3B14-4CBA-AFFD-31F2BFFAE8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cad148526394ad222657cc4faa2f45b21671d6","datavalue":{"value":"majoring ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q744984$1EA48C9B-7500-4879-A45C-BF3C70880AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79dcd5a827adbe0383e629fb5220722804e7650c","datavalue":{"value":"fast growing hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q744984$CFA50B24-F53E-407C-B9F2-535369928A03","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":"Q744984$C295C727-0B9C-40DC-A00F-265251A3D4E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91bd31b40cc0fc010727f0b382235f1a01b2e9fe","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.07.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q744984$F762603E-0749-4D81-93E0-7BC63E1BB7E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b72c3922936cc9d620a793b6e9d5b48ba3fd3a6","datavalue":{"value":"W1452987818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744984$A545F455-2765-45B2-8E9F-050E44DDA965","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":"Q744984$8A1AAEC2-549B-479C-85FF-49BB8E0C5F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab75b370bd8bc96d49bfd17a9abf07fa43a86b3","datavalue":{"value":{"entity-type":"item","numeric-id":5793392,"id":"Q5793392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$F2EDD797-5E13-44E5-B1FD-9C183097FAA7","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":"Q744984$E9E7D0E4-5EB0-47BC-8073-EC1B6BCDD080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e5b43c5f0e711ef91c4f8e7255199d25558fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5541375,"id":"Q5541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$D577DEE0-DA1C-4488-8AD2-C465C3768468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248729ebc4d6876ccf402d4746249e334c3f8ead","datavalue":{"value":{"entity-type":"item","numeric-id":705888,"id":"Q705888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$FE632A32-3756-400A-A76F-4D6F98D7C8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$A977AFC0-F697-49FC-8E37-74F78A4153E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85bdb5bc0702168fb6381f388e6a018695f5b58d","datavalue":{"value":{"entity-type":"item","numeric-id":3696498,"id":"Q3696498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$3146AEF7-F0CD-4FB5-91D7-93AE1426595D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af705666205f108fa858e2ef0909cda7ed3412d","datavalue":{"value":{"entity-type":"item","numeric-id":1122597,"id":"Q1122597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$CAB02BC3-0430-4B06-8B3F-C9F960F67342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d394b637f78aeda3a0ecc94aee1b6261a9c2cc2","datavalue":{"value":{"entity-type":"item","numeric-id":1209622,"id":"Q1209622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$522EF67C-1174-4A89-A645-74B931249E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"863a7eccc7499ec0dad2fcd355a698a3a2f419a1","datavalue":{"value":{"entity-type":"item","numeric-id":3798236,"id":"Q3798236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$CC73C616-BE0F-4E86-951B-E246B9547479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba75ff312ae2117af5e956dfd94a7b0d64bf69b","datavalue":{"value":{"entity-type":"item","numeric-id":4228493,"id":"Q4228493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$E7D4BEC4-1106-489D-A8E8-D9870331C82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1ad2bba23cd90e918fef3f06c9abaf2aac0df","datavalue":{"value":{"entity-type":"item","numeric-id":5941104,"id":"Q5941104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$2302C70D-014F-45CB-BDE8-F352972289C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$B322B31F-FBF1-4366-BF66-75E233392EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9d78f19c83854800897d690d7d1dd680bb3a4d","datavalue":{"value":{"entity-type":"item","numeric-id":3012939,"id":"Q3012939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$2638164F-20C7-4157-88A6-45E60E32756D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4fcb498ec76618d6d4f59a39de4f22e52d70c2","datavalue":{"value":{"entity-type":"item","numeric-id":5612466,"id":"Q5612466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$8DA74B84-1B2E-4AB8-9268-D545D0B9EAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1020a9cc60788fbf01899fd4c58a9d2a1269d615","datavalue":{"value":{"entity-type":"item","numeric-id":2946637,"id":"Q2946637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$F6000682-9499-464F-8093-7F8D86D89BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3959ffb868545a66d56438fcd6e21698cad3375e","datavalue":{"value":{"entity-type":"item","numeric-id":1060848,"id":"Q1060848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$2305E319-4E69-4C60-9CF0-63FAFA296A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8980b6993ce3666dca27b7f643b7108c1d208bfe","datavalue":{"value":{"entity-type":"item","numeric-id":1819937,"id":"Q1819937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$134079A7-69B6-46B3-BED4-20AF9C5E2FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77eca045b44104e457d6d7c4fed06bf3cbd2fb58","datavalue":{"value":{"entity-type":"item","numeric-id":3613350,"id":"Q3613350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$096426BD-3305-4FE2-8D1D-026BB60F2784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48f619e2e9aae0c428d8521137e2561a8f3c25e","datavalue":{"value":{"entity-type":"item","numeric-id":1129003,"id":"Q1129003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$8A5DF579-BA57-4E42-9893-68F208D39604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90dce10a942e4c996b7133a99b833d892b1cdf9","datavalue":{"value":{"entity-type":"item","numeric-id":1892123,"id":"Q1892123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$1F468437-7B6B-46BA-BFAB-B55CE9C98680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8572891d5fe72e1a8973c25a2cc5304dfeb47a9","datavalue":{"value":{"entity-type":"item","numeric-id":2986811,"id":"Q2986811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$089D68BC-B6C5-4CDF-93E9-50DDBBF4BD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$8B916C66-4250-4238-8354-02FC37012536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4afd0b3b0b8757574f62e3ae80a63d3876f24e","datavalue":{"value":{"entity-type":"item","numeric-id":5533181,"id":"Q5533181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744984$A7DCE9E3-1A4C-48D7-B5CD-6DE466E4026D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"648dc815dcac3c2924a0073c7a392a6a64b5f783","datavalue":{"value":"10.1016/J.TCS.2015.07.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744984$0A3356DF-38BE-4FBD-8855-9AE6A6FC7234","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c04b99c0c066c77f30d46392f1e78260cece3e","datavalue":{"value":{"entity-type":"item","numeric-id":2915021,"id":"Q2915021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77204878d07d79958d591899e9edc24f9da52902","datavalue":{"value":{"amount":"+0.9116546511650084","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":"Q744984$7374AD6D-0808-4817-B51B-082188A62D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d861b48e7d24b374096ba379d183d9a199cb9182","datavalue":{"value":{"entity-type":"item","numeric-id":5145626,"id":"Q5145626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5b41440ca668f9323c088e562d44b227a69ee2b","datavalue":{"value":{"amount":"+0.8241758346557617","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":"Q744984$A02FD4C2-459C-4C25-8107-76C9C7D6BCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25294d774d0b485ad04bc87410ea426b1e062c4","datavalue":{"value":{"entity-type":"item","numeric-id":3012939,"id":"Q3012939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d2aaaf3c92f50e3d7a92259443ef239a6e1643","datavalue":{"value":{"amount":"+0.7700396776199341","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":"Q744984$9ED9F452-EED6-4B5F-9E76-E5C8FA324FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93ab39a622c9b9688b8edf75a5405489962af878","datavalue":{"value":{"entity-type":"item","numeric-id":1120606,"id":"Q1120606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91de5cd595c43ac303fac9f8b7bd9119a9012a12","datavalue":{"value":{"amount":"+0.7483838796615601","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":"Q744984$D203A81C-EF00-4D77-8EEC-5BD93DDB9DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b2d2d46b4bf26913eb3d33d94a3a462c4a1588b","datavalue":{"value":{"entity-type":"item","numeric-id":4285969,"id":"Q4285969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4fc863df4cf1748786caab2b46e95c121ce2ec5","datavalue":{"value":{"amount":"+0.7317516207695007","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":"Q744984$174B745B-4302-4AE9-BAC7-191C58C88287","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linearizing well quasi-orders and bounding the length of bad sequences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linearizing_well_quasi-orders_and_bounding_the_length_of_bad_sequences"}}}}}