{"entities":{"Q5170158":{"pageid":7199730,"ns":120,"title":"Item:Q5170158","lastrevid":100398107,"modified":"2026-06-05T22:02:07Z","type":"item","id":"Q5170158","labels":{"en":{"language":"en","value":"A Transformational Approach to Prove Outermost Termination Automatically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6319510"}},"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":"Q5170158$CE2D7856-0740-40EA-93EA-F73E9A492167","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4d1b092641fe3e5c652fedddfd2ce16376fbaa3","datavalue":{"value":{"text":"A Transformational Approach to Prove Outermost Termination Automatically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170158$E3E70EAC-A32D-45C5-8799-272AB87B43AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1326750bf87ad86ad0089dfe9a9943f64e7e74c8","datavalue":{"value":"1294.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170158$E0D95F6A-DC28-46BA-A521-73822F6B1F3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de82e965f7cd88dcd022f2339045ab5ba51500e2","datavalue":{"value":{"entity-type":"item","numeric-id":5170157,"id":"Q5170157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170158$BF51260E-F01A-4825-B6FF-652C1BDAF2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fe5c2c0ffa1d2d66cabf0c3214c913c44ecffb","datavalue":{"value":{"entity-type":"item","numeric-id":505038,"id":"Q505038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170158$70D0A919-ED33-45E9-841D-CE1AD2F90FC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170158$DC5F9BAE-C529-426D-A782-4C0749C21089","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf050e1c17ecf8d76a38048fff5f6c3dcd9c662","datavalue":{"value":{"time":"+2014-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170158$252BCF54-E2C1-4597-8D18-6C840BEA8096","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170158$88918EF9-070E-4343-9DEC-1689696F5CF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ba6a0dfd0eea823887224241268e00a3a72e5d4","datavalue":{"value":"6319510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170158$6513BD5A-87C2-487B-8D5A-0027E05C19B1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170158$FF7CD532-6E6B-47D9-8DE7-F2EAC033A7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170158$7583177D-0BE4-4137-86FE-98D6F44D93B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170158$22A8988F-944C-4FBD-9146-B686F6314A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170158$468D6044-BA9A-4513-94CE-64F0B32063B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa4d2ee831327588266f7bff63c8d0bce25b9403","datavalue":{"value":{"entity-type":"item","numeric-id":22035,"id":"Q22035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170158$9661CF84-0778-4A5C-B08E-5FBE94ECCE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170158$E8517649-C0B3-4670-AA7D-5094C6FA343E","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":"Q5170158$16046971-D9CB-4420-BA8D-6940932316AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dd4bcaa990d85e0380ff93890b3355adf9501a9","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.03.032","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170158$AAE58FFC-A8C7-42BE-9EE5-F2A67198391D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c3f04ff9af5dc182b5d14d71866de14afd249a3","datavalue":{"value":"W2133910448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170158$0F298C28-C039-4845-9228-07D11BA80732","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39b46036e0e44c388baf61cdcb5ecf5b5fa7252","datavalue":{"value":{"entity-type":"item","numeric-id":4447224,"id":"Q4447224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170158$174F8C4C-6529-4912-BA87-E0DEC9690B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170158$423D91C3-C23D-4C06-AF78-1AC1201794A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ff17e89f36b487ef3a24d7e9e19c6dc9355bff","datavalue":{"value":{"entity-type":"item","numeric-id":5692154,"id":"Q5692154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170158$BDC9D748-19BA-43B9-8F8A-B687125479DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4613a5898c3f3aac9ea48077af04511f4f2bf56c","datavalue":{"value":{"entity-type":"item","numeric-id":3527303,"id":"Q3527303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170158$BF9943AD-8215-4A72-BCF1-11DB6A20BEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4fd22ffaa1235949574a5cc584ee845aca5e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4447242,"id":"Q4447242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170158$A7BD5151-6227-4DDE-BAC9-F97E789E4135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c998b368868135c18250248c7f07e7857e9600ff","datavalue":{"value":{"entity-type":"item","numeric-id":2946568,"id":"Q2946568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170158$3F5E2055-A336-4EAC-8523-BE75E99C05B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170158$7EB81463-0074-4DAE-8B0D-4E65529EC8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170158$381C086D-9E78-43EA-8E68-2824F9143649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7badfee30610a43b034debae14b09b94e4d33bb5","datavalue":{"value":{"entity-type":"item","numeric-id":1100924,"id":"Q1100924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170158$3340D1E1-1FF7-4FAB-BE1A-DC6CD4E37787","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":"Q5170158$818D28D1-6D4C-4C6F-88D8-EDB3CE95F1B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5952d30498c84e3abdc39579aaad58a243638375","datavalue":{"value":"10.1016/J.ENTCS.2009.03.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170158$E84D6AE7-85E1-4D10-8B24-44B0018F8663","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b49872a3cdc6dabaed07c017a65e640af25869d","datavalue":{"value":{"entity-type":"item","numeric-id":5055814,"id":"Q5055814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28998b08e013906bcee8bdbb789aeb75262516b9","datavalue":{"value":{"amount":"+0.92345417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170158$CC493277-0C2A-4B15-A031-882DE3BDBA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab0fdf86f28858c64e4537be93177dfbf7fe7b9c","datavalue":{"value":{"entity-type":"item","numeric-id":4202945,"id":"Q4202945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d9163e8d6202701e99b118fb60f01debfe420fb","datavalue":{"value":{"amount":"+0.9131506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170158$2C1586FF-E5AA-432B-B373-EC3FD60076F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19077c4a91a76f2b9613650b2b5d1c2d1487498a","datavalue":{"value":{"entity-type":"item","numeric-id":3841095,"id":"Q3841095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535dda28557209989afe2ff0e3f33d963b988190","datavalue":{"value":{"amount":"+0.9087724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170158$2160574A-2C99-40D6-9399-5042DA87E74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"970eefc955628912549e15fe0788b9640a3ce09d","datavalue":{"value":{"entity-type":"item","numeric-id":2808239,"id":"Q2808239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0684d3fb449c63252ab6ddbddc2a084530acd5dd","datavalue":{"value":{"amount":"+0.90087986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170158$83E9E9A2-4D8A-4933-B89D-863631A9D45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c709b86cf7ff4047dac00daa01e8a4e28d9c32","datavalue":{"value":{"entity-type":"item","numeric-id":4023458,"id":"Q4023458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d3bab02c5c7dd804c8d29d3687d0ced6c44f62","datavalue":{"value":{"amount":"+0.8955132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170158$BC57C644-61F7-466D-9D53-31B3376C92B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c9d51b387606b25b893694d7e0638c186ab9bd","datavalue":{"value":{"entity-type":"item","numeric-id":5170190,"id":"Q5170190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4122088e57f4e2387c02da5199dc2a6808665a51","datavalue":{"value":{"amount":"+0.89433855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170158$0D5ADA90-5FB1-4999-A749-C40B23563951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c429d2d65f23fcd3bf94e5f016eb4ea4580e44f","datavalue":{"value":{"entity-type":"item","numeric-id":859833,"id":"Q859833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2cb7283cd378f820d068bfed716dcf6cfbbcf6f","datavalue":{"value":{"amount":"+0.89260244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170158$32B66CF2-FEF2-4625-8011-485D6CB95C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c28bb92f351f81d042392026eb0190e20d557c13","datavalue":{"value":{"entity-type":"item","numeric-id":2946588,"id":"Q2946588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38d88df283d86de2ba31f5b195df6c97eb38a81","datavalue":{"value":{"amount":"+0.88864017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170158$1D99FE27-28C1-4DB6-BEF5-A935C4DFB5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"233a68f668ca909b075e48b5d4cbac003ab4b215","datavalue":{"value":{"entity-type":"item","numeric-id":4847375,"id":"Q4847375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24f9e3a0be92ff06fe21dcf99f132c91bc11e60","datavalue":{"value":{"amount":"+0.8830078","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170158$054CC7D9-9A54-4ED7-BDA9-9404AA8A08B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"559f441ff0eee48694f4ac49e0aacc680d9ffe5d","datavalue":{"value":{"entity-type":"item","numeric-id":5055854,"id":"Q5055854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1817d545ade358b62481c9c04ee9e77b5079d2cc","datavalue":{"value":{"amount":"+0.88082963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170158$B7AC5B74-D218-434D-95E8-2E382F3D078B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Transformational Approach to Prove Outermost Termination Automatically","badges":[]}}}}}