{"entities":{"Q5389154":{"pageid":7418728,"ns":120,"title":"Item:Q5389154","lastrevid":51453770,"modified":"2026-01-18T07:44:53Z","type":"item","id":"Q5389154","labels":{"en":{"language":"en","value":"Termination of linear bounded term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6027909"}},"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":"Q5389154$EBB35E00-80B2-44CB-A546-7A28FE7A47A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d73bc16c002e5587ac1652b6f95daa6d45e26324","datavalue":{"value":"1236.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389154$2E9AE83C-B0C4-4FFC-AFBD-65C120B65A1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c53283f06a783eebebf881549b5dd1ed498267f","datavalue":{"value":{"entity-type":"item","numeric-id":248923,"id":"Q248923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389154$8B2ADA5A-4F8F-4AC1-ABD6-C9511CAC67CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"061d8197654a9b01d601db450e9eb848677c111a","datavalue":{"value":{"entity-type":"item","numeric-id":580991,"id":"Q580991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389154$078C053F-180D-4A33-9C15-6AF51424471B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c59d4fd22a596d71f672c38c80ffa4f7fb4212fc","datavalue":{"value":{"entity-type":"item","numeric-id":5389093,"id":"Q5389093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389154$BCEF4A4F-5EE8-4150-BB84-4EF3262B11C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7127bdd4a8e1ad01c2e7468e6ab34969b5f3188","datavalue":{"value":{"time":"+2012-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5389154$E5A08A75-021E-484F-BA5D-33F5CF561BE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d3ebe24845cffde30079fc432a5c5f04f996a9e","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_8643.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5389154$CA2223FD-E547-4B38-B385-68AE2138124E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389154$5DF9B2BE-2673-428F-A618-E2533332A179","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e23ecee4c5af86030096cd3a4f70ff22b5a49272","datavalue":{"value":"6027909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389154$11681107-794B-49E8-B208-C3C6D1E162A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389154$3904F17E-E115-4CD2-A852-198920694E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389154$27EB6A49-BF5B-41B1-9868-901B41783C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c477f2cdd8702fa3be33b0ef3a1fae5f4e6427e","datavalue":{"value":"rewriting strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389154$11876520-3BD4-445F-AC55-FBF13297EFE6","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":"Q5389154$AC9DA359-1554-44B8-98F6-250AE4433C3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c1ad1f29f465edbece0ebeb24c8ad7a53922c12","datavalue":{"value":"10.4230/LIPICS.RTA.2010.341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389154$57C3ADF4-08C8-4B46-85B5-07535FC7A8AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4683506b14e5d3f2c9669e13ea3900a54b248eb9","datavalue":{"value":{"entity-type":"item","numeric-id":5389094,"id":"Q5389094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f184773d7657e1eb1f00cbddb54fc6a6aad5ab","datavalue":{"value":{"amount":"+0.8198549747467041","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":"Q5389154$03CEF6A1-FC67-431E-A237-9014BF408E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4981ff77a0c3fe6b564b9f25448c8aca592843f1","datavalue":{"value":{"entity-type":"item","numeric-id":2736359,"id":"Q2736359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e8ca876bdff1152fd74be4e097f745a97fbfba","datavalue":{"value":{"amount":"+0.7907505631446838","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":"Q5389154$CF4E4C8A-B967-4B2B-80E7-D4B97228C89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71fc0210fc9b97f4ee854e218ae9438ac4d0667e","datavalue":{"value":{"entity-type":"item","numeric-id":5431332,"id":"Q5431332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b813ee1da064bad3012600a8c596463ea7bf1b6d","datavalue":{"value":{"amount":"+0.7885095477104187","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":"Q5389154$AE707637-DFCA-4265-8EE1-EF258035AC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3ff24bbd0e60f997ef359a7e06dc84ce2b317c","datavalue":{"value":{"entity-type":"item","numeric-id":851146,"id":"Q851146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d5b14cf846c64c57cb99cbe86a14d0642448b3","datavalue":{"value":{"amount":"+0.7850140929222107","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":"Q5389154$CB352085-669C-448F-890A-6DFB4D5B94CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f32fb568cc4b290ac6ffb2e4e18a3cde6acd78","datavalue":{"value":{"entity-type":"item","numeric-id":5055749,"id":"Q5055749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745982a6c4a0e0773af2a7c90a92e64a61ffa707","datavalue":{"value":{"amount":"+0.7788697481155396","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":"Q5389154$7A8FAEC5-BC52-450D-9785-6B2F25E9A9F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5389154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5389154"}}}}}