{"entities":{"Q5389082":{"pageid":7418656,"ns":120,"title":"Item:Q5389082","lastrevid":51453623,"modified":"2026-01-18T07:44:42Z","type":"item","id":"Q5389082","labels":{"en":{"language":"en","value":"Higher order dependency pairs for algebraic functional systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6027839"}},"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":"Q5389082$9F50E713-FAA3-446A-85BD-6FA237DBE22B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0849ea9ed4c4a7d686b3e542321186fc1d5f4c61","datavalue":{"value":"1236.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389082$18AB6DF9-F7C1-4F87-9DF0-20915A814EF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e34f94bae741b263748574e2b2f0d5e51dd493db","datavalue":{"value":{"entity-type":"item","numeric-id":2789054,"id":"Q2789054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389082$3C2C1BA5-087A-49F8-AB49-A0AEDF6C1507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"855d9499abac34a90da7360f1b9ea1166812e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":1286371,"id":"Q1286371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389082$9207576A-6AD2-45E9-9013-DBA99B3B1AC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85ed9f287d2ea9a2dac92419860840c9949df976","datavalue":{"value":{"time":"+2012-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5389082$618ADA50-78A2-4584-A8FA-6B2A61CC893E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88afd34052ee7eb75467b9b8b016dd0c526740d3","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_7021.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5389082$6890118B-7331-4A30-8105-AE0BB1879A62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389082$61C66CD5-FEED-4277-8152-566F1A8D9889","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e40174cd88afb7ea3b7de5a0de00395e36e33ab","datavalue":{"value":"6027839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389082$48D4E0E4-5C2D-4CBE-95E2-A6C59FC999CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99fb3fb6fdf848504b7f69a4ba6688dfedef9bf4","datavalue":{"value":"higher order rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389082$B18B1F90-CD64-474B-B50F-8A6C6E73304A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389082$13D3E17E-00B9-4C79-8E5E-6284D67D35A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef44ac97a0d9c140d792684fa9acf298ac45570b","datavalue":{"value":"dynamic dependency pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389082$D5CBC6FD-63BA-4D8A-B7B1-7A7BFFFBD7D5","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":"Q5389082$C495E652-2C89-47FC-A85C-AB9FC3CC43BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9849b5625aa1179a56bd76713d37715361e70897","datavalue":{"value":"W1548902908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389082$9CDDFE13-7AAA-4F81-B731-59C33211DFE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a15075a484dc73d903c21223e29cbf1b5727867e","datavalue":{"value":{"text":"Higher Order Dependency Pairs for Algebraic Functional Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5389082$3767D18E-2016-4E99-87D0-8224BD3D84C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53eb3e990d7d1fffd012f46aa202c424a484fa7c","datavalue":{"value":"10.4230/LIPICS.RTA.2011.203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389082$B451E228-CB18-4538-B6B1-4FEAB31FABB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"329edee4e7d852039f1235f44763e946c8a25031","datavalue":{"value":{"entity-type":"item","numeric-id":2895471,"id":"Q2895471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ce16e2660966107fd7c94590cb0099e3644d247","datavalue":{"value":{"amount":"+0.9051982760429382","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":"Q5389082$7617B422-F182-403A-A89B-BE0AACDEA197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86ebfb76295e67554ed411d2f8c57b4a7780189","datavalue":{"value":{"entity-type":"item","numeric-id":3014941,"id":"Q3014941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670002925068b4f4ffa60553ade5c9e5248cb44e","datavalue":{"value":{"amount":"+0.8281258344650269","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":"Q5389082$BAC8BB7C-F4EE-4835-91CB-7D544A7C3CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc30ff9155d71a008c7380bf57acfd5ec38dc5ed","datavalue":{"value":{"entity-type":"item","numeric-id":5055816,"id":"Q5055816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2643a9b0776342434a1f6102febe3e9a73257b86","datavalue":{"value":{"amount":"+0.7897934317588806","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":"Q5389082$E8FB3C1A-EA28-42E8-9487-7B7FCFE1E6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f656f1bd9377305bae00ec61b961be1e8fe7189c","datavalue":{"value":{"entity-type":"item","numeric-id":3608787,"id":"Q3608787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c6689715242fbc1edff162fbf9659d5727c7fa","datavalue":{"value":{"amount":"+0.7866418361663818","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":"Q5389082$56FF0DB2-DE72-4D40-9DF9-CD0AD4ED1D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3facc881cced9b12b346337d658d9d9ece014757","datavalue":{"value":{"entity-type":"item","numeric-id":5491901,"id":"Q5491901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fbd6de295e97cc2b0091f7a1a8e7d4fe13dfceb","datavalue":{"value":{"amount":"+0.7849728465080261","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":"Q5389082$0B9C77FC-1ACC-4B0F-BB06-2AC43F7A2DDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5389082","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5389082"}}}}}