{"entities":{"Q3447691":{"pageid":5185578,"ns":120,"title":"Item:Q3447691","lastrevid":58179021,"modified":"2026-04-04T03:11:47Z","type":"item","id":"Q3447691","labels":{"en":{"language":"en","value":"Complexity bounds for ordinal-based termination (invited talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6499378"}},"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":"Q3447691$898F4C58-5684-4DEE-A3EE-195890C1B43F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f4a09bb058f373a36219e9af2a953ada7c762ef","datavalue":{"value":{"text":"Complexity Bounds for Ordinal-Based Termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3447691$25B9777A-681A-46BE-8527-1E158FA0B8C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89ba64563c38c4b4dccffdf61bcbabf927a93a1e","datavalue":{"value":"1448.68318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447691$B9498521-418F-4614-92DB-520FEC921AA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6ec91d67e4379ec2c2807889df9c9b001a060ab","datavalue":{"value":"10.1007/978-3-319-11439-2_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447691$FC069AD3-E379-4214-88D7-3250136F0222","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe894b33b604a8dedddfc76d41297208e005eb0","datavalue":{"value":{"entity-type":"item","numeric-id":290913,"id":"Q290913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447691$9F4177B1-F1E2-4528-96E9-675A57D778B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447691$0DB80962-8337-466B-87EA-AB032243C692","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19d39e0f031dafeaa905907e1e92731e668fffa6","datavalue":{"value":{"time":"+2015-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3447691$E03A69FB-2D67-4CB8-A789-059B7D576BCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5840c124dc932f4f61a4f443e1c6300a4c4f9e10","datavalue":{"value":"https://arxiv.org/abs/1407.5896","type":"string"},"datatype":"url"},"type":"statement","id":"Q3447691$C3E24197-4D93-48E5-B123-65BFB822253F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447691$FCEA8F14-2526-494A-9729-C2CD767DC6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447691$762C04C1-2F71-43E0-8E05-E6AEED18F398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447691$DED41048-AD20-42FB-837C-53E16BF4F2E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bcc959fae161d9e5c6e8349aa824449ea199e88","datavalue":{"value":"6499378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447691$BB774934-E8C6-4059-93D0-4001D3DB793B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26985abc07bdfe39c813bdf55389b3b00d243683","datavalue":{"value":"fast-growing complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3447691$F17745CC-C7B7-4CF5-A04F-DC645352578C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66ea54e68b122ffdca4e2d8c9fe21067aa604b50","datavalue":{"value":"length-function theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3447691$2E17B68C-9704-49B3-83C7-1A7F68887992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfb9d6d08a8ba0234e58f0fa65e1f3fc5747e5e","datavalue":{"value":"Ramsey-based termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3447691$3A89FA11-D462-4FDE-96A6-96EBD8F0ABE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8432e6f8b9c1309aa387fb4e9c5e8b93650a1074","datavalue":{"value":"ranking function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3447691$DAE3D98C-211E-435B-BF9C-EF1CB70F6B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfd722232c4f35da3a742b7dd0939e8297df61c","datavalue":{"value":"well-quasi-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q3447691$375A530C-A3A9-48CB-A259-7C42E9CAA0F2","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":"Q3447691$70431971-9990-4030-B701-7254586CBB7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f0d0577180197962a9a4e848d2b96a3580e01fb","datavalue":{"value":"W137988827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447691$78EB03EB-BB57-48E2-AA28-A19378CD5401","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"659392d67e938ae435c9ddea5a7f1a6c0bee2670","datavalue":{"value":{"entity-type":"item","numeric-id":1892123,"id":"Q1892123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada8ee80bb7e7acc5916e76eeb760dc4d5723a64","datavalue":{"value":{"amount":"+0.7889942526817322","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":"Q3447691$08A942B1-43C2-4D8C-BA1C-9EBEB255EC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"370660d831f4fc575191f490e9add44acc79d1bf","datavalue":{"value":{"entity-type":"item","numeric-id":5216340,"id":"Q5216340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a745f2243d7802c0be2736cfc1a5c8ece01d340e","datavalue":{"value":{"amount":"+0.788679838180542","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":"Q3447691$098503CA-08B3-4552-A335-8DADD5B6BDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca588ad41d19ce5e54033d07a947da3938fba43e","datavalue":{"value":{"entity-type":"item","numeric-id":3195706,"id":"Q3195706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66ca8a3d33c4f4e43181315c8415283c96b339bb","datavalue":{"value":{"amount":"+0.7885019183158875","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":"Q3447691$1B66BCE7-24D8-4ADD-B77C-C317496980A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d8a612263b32834f1768f0682a043e048099d64","datavalue":{"value":{"entity-type":"item","numeric-id":1899143,"id":"Q1899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7f7e94078912a2be45bb4bcab765c99bbca4f0c","datavalue":{"value":{"amount":"+0.7814056873321533","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":"Q3447691$B094382E-12B8-4498-A5C1-E8AAA77E8F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59998a24530f7edf98f9927befeae2fd94f34b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4850555,"id":"Q4850555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eaa05ee2f7068666756dce663c83a807b1a359b","datavalue":{"value":{"amount":"+0.781405508518219","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":"Q3447691$C3A92A86-742C-4F05-8473-EC22BE1CC93D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3447691","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3447691"}}}}}