{"entities":{"Q5014441":{"pageid":7044018,"ns":120,"title":"Item:Q5014441","lastrevid":58404078,"modified":"2026-04-05T01:50:06Z","type":"item","id":"Q5014441","labels":{"en":{"language":"en","value":"Formalizing termination proofs under polynomial quasi-interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437708"}},"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":"Q5014441$A7028BA2-90AC-4633-A876-2287DA38F34C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13c3bb111f8f18de978c3413e5b32829bdee3bfb","datavalue":{"value":"1476.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014441$5012831D-ACA6-49D9-861F-69F80B20B8D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"958b4e369eedfea95d82c99b3e4f883b2e4dfc91","datavalue":{"value":{"entity-type":"item","numeric-id":2346987,"id":"Q2346987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$3B6A5F65-A1E0-44E7-9279-2C9C4DD9893F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdad15c107a3ec3b53d0f64c681b4e5a9ad3e19b","datavalue":{"value":{"time":"+2021-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5014441$12441DEB-4196-4BA4-9A88-E5F1DB962663","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3b6a701d3b069a617dafff1a64f16060019847c","datavalue":{"value":"https://arxiv.org/abs/1509.03014","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014441$467D322C-0C96-4923-9FDA-27371A9F2877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffcc685e3b2100bca01a7243608d5a5b45211910","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?FICS2015.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014441$D0FB500B-EBF0-4FA4-B272-E4ADC00672E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014441$A3CC9C43-03C4-4270-BE33-63625FFBB850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014441$922093AC-383A-4C73-8FFD-61485CA4B856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014441$34ACFFD8-FB15-496D-BF25-981F5FF455A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d120783ece241f626325847e411f13f2be28ef3e","datavalue":{"value":"7437708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014441$043C07BA-9B8D-4C74-9884-C3BEE25FB9E9","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":"Q5014441$9657F2A2-0AE8-41C6-A44F-A02C16AED886","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeebd466643aa876c1932f0bfc7bb13b63abb5a2","datavalue":{"value":{"entity-type":"item","numeric-id":5410329,"id":"Q5410329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$7EC27A69-C7F4-4EB6-A84D-23BEE07F1EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3806101ef2be47fd9dd3f1dc9f2f7f2a26cfccf8","datavalue":{"value":{"entity-type":"item","numeric-id":2740985,"id":"Q2740985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$67B9210A-AAB1-4DC1-8B83-AF80A8D8DCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ce0e2cc73c7c5b521017aa559d1a91ef17a9c2","datavalue":{"value":{"entity-type":"item","numeric-id":4475109,"id":"Q4475109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$43E5F2C9-E86B-4FE3-8037-4AC6A429C4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07229c7de366b3930eee7950aad1f79006ae4253","datavalue":{"value":{"entity-type":"item","numeric-id":541228,"id":"Q541228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$B4B84423-BACC-4FC5-8854-ACCCC2900FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb5bacd666be23a0df6f86c663a34e93fbfcc10","datavalue":{"value":{"entity-type":"item","numeric-id":1899143,"id":"Q1899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$74C61979-46FA-42A6-A031-0601A19B8E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a628cb64400cb3daffe7c8b3b6a4710e9daa6946","datavalue":{"value":{"entity-type":"item","numeric-id":3800030,"id":"Q3800030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$724BD529-7FA3-41E6-BA6E-74E5203B070D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c967ae4b0fba59ac6a0c72fafaafab5e42d0c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4215631,"id":"Q4215631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$91687886-3955-4BE9-8E72-90F34BB39DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$7FA81CA9-A2F7-406C-93C6-2320E441E042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093f3aaee78be178d0382ba8f5daf4ff976a0dce","datavalue":{"value":{"entity-type":"item","numeric-id":3567845,"id":"Q3567845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$A337260C-7ABF-447C-8600-9F2A692A12DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ecd282533f72abe85687585b23b01adf6e1cf0","datavalue":{"value":{"entity-type":"item","numeric-id":5096206,"id":"Q5096206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$AC1E6A51-7599-4234-AF04-7962B694D212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e6c95b6912f96f545c6ba61ec5be5438844811","datavalue":{"value":{"entity-type":"item","numeric-id":4265595,"id":"Q4265595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$613BE19C-0727-403C-8908-1C7C4376C354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca67479bb278acd288bf9b6ae95d144af849c33f","datavalue":{"value":{"entity-type":"item","numeric-id":4474861,"id":"Q4474861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$3ED9EA88-0215-4919-A725-EAE21B100A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e57b6d91da930746a53496e3cff295235f125d9","datavalue":{"value":{"entity-type":"item","numeric-id":1401939,"id":"Q1401939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$C72E2841-395A-4036-99D8-1919F3E206EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1566fd8e1209691f497e838dc60ee0a61d348439","datavalue":{"value":{"entity-type":"item","numeric-id":4436033,"id":"Q4436033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$6DB83965-9D0A-412D-BD5A-9A098E0C64C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f02343f84673564e1a5c600705d16cc6a949313a","datavalue":{"value":{"entity-type":"item","numeric-id":1407521,"id":"Q1407521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$BF2FDBB8-6F49-45C2-A260-8287E0718F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$F9E1EB12-6EBC-45FD-A06F-1CB82E78E238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f1f6c43af3c6d33fccaf941b2fb3b3adab4658","datavalue":{"value":{"entity-type":"item","numeric-id":4855362,"id":"Q4855362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$5843A34F-7B1F-45C6-9CBC-3B105452020F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$8F326893-9B8D-43CC-85E1-7640C888ABFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1ecfd40a40c1bd2742231bb57c108e7536fff2","datavalue":{"value":{"entity-type":"item","numeric-id":5637881,"id":"Q5637881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$5EE51368-B564-41D3-B565-538B4274B000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8f5bf3bbbb90d2771a6bc1a5bd5d42d5f4b4df","datavalue":{"value":{"entity-type":"item","numeric-id":673975,"id":"Q673975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$27B79741-0259-45CB-B5B5-B6466D691B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014441$31617B0C-4FF4-4ED7-8C77-E92269E163CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34e54aa5e33dca239b91d5f665160fe1aa599649","datavalue":{"value":{"entity-type":"item","numeric-id":541228,"id":"Q541228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ffec31778f74f86a52ebf82540050dadd8c55a6","datavalue":{"value":{"amount":"+0.802571177482605","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":"Q5014441$0402640C-21F5-49E6-A443-DB88B19BCE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa04b6c05d9e00386226a72b1df853e19f47dc0","datavalue":{"value":{"entity-type":"item","numeric-id":4475109,"id":"Q4475109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6c123370e599ed171fd5ae22c771417518db7d","datavalue":{"value":{"amount":"+0.7934622764587402","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":"Q5014441$12C3E3D2-8606-4AAA-A5A8-57A25DECB50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ce7408ebe9c4f82ebcccba787dba6f4ad2d28f","datavalue":{"value":{"entity-type":"item","numeric-id":5714440,"id":"Q5714440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f8f1f2245da6dfc2b881b16bfab79085c917a01","datavalue":{"value":{"amount":"+0.7904980182647705","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":"Q5014441$CD2CB969-250E-45E5-803F-79DC974AE1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8899e06dd9ce4f049c97eea9234a819eef59f872","datavalue":{"value":{"entity-type":"item","numeric-id":2740985,"id":"Q2740985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e313ac91ce26fb937a044032fcb77aba4cab11","datavalue":{"value":{"amount":"+0.7751339673995972","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":"Q5014441$25133B82-E662-4E20-AB65-53D74B5D5BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03258115b220b4196832769f5fe8aff47bad0c9e","datavalue":{"value":{"entity-type":"item","numeric-id":4264735,"id":"Q4264735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc22a1136e9798797daf84bdad88b6b6cd05d6ed","datavalue":{"value":{"amount":"+0.7742413282394409","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":"Q5014441$D7DB6B09-A7A2-454E-BA1D-F065C66A81CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5014441","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5014441"}}}}}