{"entities":{"Q579930":{"pageid":581697,"ns":120,"title":"Item:Q579930","lastrevid":62944788,"modified":"2026-04-11T09:09:26Z","type":"item","id":"Q579930","labels":{"en":{"language":"en","value":"Termination of rewriting systems by polynomial interpretations and its implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016194"}},"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":"Q579930$9D5B63D5-4DBA-4828-BDC2-C55F03D9804B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0df652b55e4c2840860269d254467d19c9a4524b","datavalue":{"value":{"text":"Termination of rewriting systems by polynomial interpretations and its implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q579930$D8FCD788-2C85-462E-98A8-52394F05FF68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd4732a53a71ecbb3a7eff6d57c2d57866022c4b","datavalue":{"value":"0625.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579930$D881E3B9-81AF-40F6-AB14-84341E271091","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef26c6510498367d715eec1c95a0de66249a6630","datavalue":{"value":"10.1016/0167-6423(87)90030-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579930$D70580E8-5A82-4696-B018-F0AACC1B29C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6eaebc99e493fd1a0be397bd09a17d6f03eaca5","datavalue":{"value":{"entity-type":"item","numeric-id":579928,"id":"Q579928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579930$1FF5AF10-068A-414E-ABEB-21FEE3C26FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579930$C3389F14-BE6D-4DF8-AE28-218DC6F2CE73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579930$B4C3FE27-4CFD-43F7-995E-9CA9456F91FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q579930$8A5BF385-833F-4467-BA67-E26581B86D88","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0180c854937b6ea27e7da9b8ae7f4a652f244c9e","datavalue":{"value":"This paper describes the actual implementation in the rewrite rule laboratory REVE of an elementary procedure that checks inequalities between polynomials and is used for proving termination of rewriting systems, especially in the more difficult case of associative-commutative rewriting systems, for which a complete characterization is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q579930$14BF2BC4-52C3-413C-9EE8-59100071A5BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579930$441C4A0C-5D59-479D-B1FC-370F192C7B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579930$8D9D745D-BB1C-4377-87CD-8637A74518E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579930$CDFDBC1C-7309-46EA-AE47-B961B2459884","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7421e74ef4ea496652088fd165e5da8564ed6f35","datavalue":{"value":"4016194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579930$72B8C3AC-EF40-4F2F-8439-51806EF5AD9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e9e208a42a622e4e36c373cedf03c4393e2b7ad","datavalue":{"value":"rewrite rule laboratory REVE","type":"string"},"datatype":"string"},"type":"statement","id":"Q579930$C3A75F53-4FCB-4344-955D-26D834B68E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"191bf08577ea31a3e1d09f15bb188c80627f21bc","datavalue":{"value":"inequalities between polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q579930$6A4AF9C2-E740-478E-A6B0-6E3B744ECA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"670df0e12c962ce36e0506bcb0f6579afbf52d1f","datavalue":{"value":"termination of rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q579930$AF8D5FB2-54E8-4470-A5BD-5B42F629A809","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":"Q579930$1585BC02-112D-4E3C-B3A2-4D41997E6007","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10ad35066d4110d387f068b2c4fb3148928dcef","datavalue":{"value":{"entity-type":"item","numeric-id":1805401,"id":"Q1805401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3103cc09a9cc68c2e5b3489fd5568f28af942b6","datavalue":{"value":{"amount":"+0.8870754241943359","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":"Q579930$849ED879-2099-4BFE-A766-DCD468954C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c173d6c40395c1c17ce6754c1ffd9f07e28ea61","datavalue":{"value":{"entity-type":"item","numeric-id":3357550,"id":"Q3357550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcadabd9df88a3f05d8a783641ad85e7dbdd66d2","datavalue":{"value":{"amount":"+0.84308922290802","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":"Q579930$07535A13-8399-45B8-9121-DEAEF1061705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd2bd7c82148f064b1f44c0f251af9afc518fc82","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"327b618736ba66a8afbf96a38e7eb3f7cda1f0c3","datavalue":{"value":{"amount":"+0.829214334487915","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":"Q579930$646062A4-C848-4236-A544-497D857FF36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e66bab930d4255de50003b8599f0a36f4823f4","datavalue":{"value":{"entity-type":"item","numeric-id":1318775,"id":"Q1318775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730b659d0e4c05363ae88d69f84166c680f24931","datavalue":{"value":{"amount":"+0.827025294303894","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":"Q579930$289E98FD-08B1-42E2-B81D-1DEA67964FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c289ff16cb8f8a4c94c4d732df96d20f9767d266","datavalue":{"value":{"entity-type":"item","numeric-id":5881183,"id":"Q5881183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba9b1f2445086f84de30c6b96eed95e4a5b4f3e","datavalue":{"value":{"amount":"+0.8234419822692871","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":"Q579930$C40E31B6-DC43-4DFA-AF3B-F14641521941","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination of rewriting systems by polynomial interpretations and its implementation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Termination_of_rewriting_systems_by_polynomial_interpretations_and_its_implementation"}}}}}