{"entities":{"Q928655":{"pageid":930503,"ns":120,"title":"Item:Q928655","lastrevid":50381915,"modified":"2026-01-13T22:40:42Z","type":"item","id":"Q928655","labels":{"en":{"language":"en","value":"Matrix interpretations for proving termination of term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5287715"}},"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":"Q928655$F01E967B-9725-43BA-B7FF-F0DE83E3F0AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"357c0e19c9d0807652d829170454b8e47fda7978","datavalue":{"value":{"text":"Matrix interpretations for proving termination of term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q928655$8BBA2BCD-96B5-4F7C-A365-ADEFE3E92CF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fce5ba971ebd41affd5306f47446b56ea796a2b","datavalue":{"value":"1139.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928655$9D4D6996-2844-4B73-B8EA-76C180747F34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fca1c19bbfb0afe27e2894d7aa8bc5bfdf949d86","datavalue":{"value":{"entity-type":"item","numeric-id":549183,"id":"Q549183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928655$8E3680DE-7896-47AD-8AE5-7FEAA0B2E1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8608b3d845665df20a4960779896ea8329708b5c","datavalue":{"value":{"entity-type":"item","numeric-id":703574,"id":"Q703574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928655$88389EA5-EF9C-4ABF-99E9-897063A49247","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":"Q928655$DA71F956-4763-4DD4-AA47-6F85AD49F0B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928655$B7AA133E-BB43-4DB3-B884-FB00C5E72138","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f1c0b93a352a714c61ccd46766a52600d36f8c2","datavalue":{"value":{"time":"+2008-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q928655$D9D0BE21-5D7E-4B41-9B4B-DD5D2365EB24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"985795b1351687e8606e5e96e0bb99925a8b4fa8","datavalue":{"value":"https://research.vu.nl/ws/files/2410076/219625.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q928655$08C9170E-21F0-41C5-921F-EF36A8FC55B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928655$1C51DD04-F2EC-47BB-BB78-0931C691A97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928655$3C825472-98DD-49B5-9F32-94E29BF6476F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928655$9A83484D-58F1-4D8B-A77F-67A4F067CEBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d15cd920f14e980e061e3b7e026e25bb91eec74","datavalue":{"value":"5287715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928655$64283FC3-4D2F-4247-BD99-269E6EFD9534","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a40e1f9a15fa93fe9e13405d052191a1b658c0c","datavalue":{"value":"Term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q928655$5444DE5E-DE0B-485E-AB9C-47056042DD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2c35dae05a14380f13e751a9ba9ae03cc3523c3","datavalue":{"value":"Termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q928655$31D242E8-8C91-4886-A206-0FEBB3B410A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8ddb6a732ab04068476f3cb0e0fc6ef3f1cf4ea","datavalue":{"value":"Matrix interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q928655$001ED5A9-A768-47DB-8051-BEC8BF12505A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c95393006136a65861f345d17e00540c09d9d258","datavalue":{"value":"Satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q928655$F16AC74B-17C2-4CE7-AF82-168D09CD6DFE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9f397c52f37228d72babea7f4da967604853d803","datavalue":{"value":{"entity-type":"item","numeric-id":22077,"id":"Q22077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928655$3B5DEDEA-E009-493F-BE92-33DA4D980B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928655$280DE2DF-D90F-463A-83C2-EB5363168BDF","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":"Q928655$0011F842-E195-4248-BB8A-48DE9FA75901","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":"Q928655$27DD6AB8-6575-44EA-B386-703A0DE20F63","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":"Q928655$63255310-3A23-408E-A7C7-49428E07647A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd84771ec9023da2ceb1935c6239ea2ec1de7208","datavalue":{"value":"W2136514805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928655$884D159E-73D7-4B86-AE72-946DCB2E26F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928655$2C211AD9-8B55-4A36-879D-072A8762760E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a5a19332cdd7c221673f31522d65352fc9bc422","datavalue":{"value":{"entity-type":"item","numeric-id":3917482,"id":"Q3917482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928655$112EC87E-14F3-4AB2-B08A-DE0CC0656F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928655$D448A199-27F8-4369-B6E0-59A9DD257EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc36fb9d1df9b1a35a34c2d566116093d5b604b3","datavalue":{"value":{"entity-type":"item","numeric-id":3613435,"id":"Q3613435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928655$64458B4A-7722-4BCF-8058-910A4CA590DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c946ee26571140051551ad1ed868fb6088571","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928655$B663D49A-2C8C-46F7-9BBD-F5A3E6E562B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc15735d85b8b838c2b2188ab30dc6676a960291","datavalue":{"value":{"entity-type":"item","numeric-id":5901572,"id":"Q5901572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928655$723A987C-8A99-43EB-9227-D078E372B916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50bb4e47025c7f1c8b3de61681ff281ce9a1767","datavalue":{"value":{"entity-type":"item","numeric-id":2486583,"id":"Q2486583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928655$B9B44A94-781E-4501-9492-62E9910C48C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a46cb1230e2f4c0a70e3eeec8d1384d627c053","datavalue":{"value":{"entity-type":"item","numeric-id":5703847,"id":"Q5703847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928655$ACFA136F-1F59-44C8-97BD-9D05995A825A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff42e0abb425eb452fc2749897729b7818e52c5","datavalue":{"value":{"entity-type":"item","numeric-id":5505588,"id":"Q5505588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928655$9F03CE71-E3D5-4590-BC53-5113381AFDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a81ad2e8f0bf3ae7ea640845a33c193e6998a49","datavalue":{"value":{"entity-type":"item","numeric-id":3527305,"id":"Q3527305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928655$231D426F-5CDA-440F-885F-A8D61CF4E1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de0c73b387080cf3cd7ee1613d8ba593ebd754f8","datavalue":{"value":{"entity-type":"item","numeric-id":844184,"id":"Q844184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928655$26883548-9683-4EAA-9A50-080C1415DDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52daa7db4d526ad28728d2a0c4c6496dadc100d2","datavalue":{"value":{"entity-type":"item","numeric-id":1332336,"id":"Q1332336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928655$B7B314F2-C363-44E2-9675-F41307220C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a3ad609b1c317d69e08e452a14faabeab27771","datavalue":{"value":{"entity-type":"item","numeric-id":2508306,"id":"Q2508306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928655$3A38E7EA-8608-46DC-A365-35382B1DF4D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5280c39df4d5f2122a25fac577dc6800fe5c0388","datavalue":{"value":"10.1007/S10817-007-9087-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928655$6D6B2C0F-DF41-4661-9B1A-B13AAD2D60D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e7bb83b0503cc1329c7d67a8e64bd3b68530785","datavalue":{"value":{"entity-type":"item","numeric-id":3613435,"id":"Q3613435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"141686daeffa6eba3f2e491458355a2927d2d041","datavalue":{"value":{"amount":"+0.9896711707115172","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":"Q928655$AFCE71F6-0ED4-45A3-8DD9-F56E384BE1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fa8714245a03ac9d445e88011ccdc957aa3d442","datavalue":{"value":{"entity-type":"item","numeric-id":3401099,"id":"Q3401099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bbfe443c31b62b8cccf69f494e0c6b818e1c770","datavalue":{"value":{"amount":"+0.9051968455314636","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":"Q928655$CDA39488-8614-4911-82B0-6C736BE35B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b775ef0e1e243757c8f1b74fc1e9bf0499dffe","datavalue":{"value":{"entity-type":"item","numeric-id":5389085,"id":"Q5389085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fc67eb3a75db506a4a1b4446e5263159ae2b4f1","datavalue":{"value":{"amount":"+0.890952467918396","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":"Q928655$67F805DD-A4D6-4B11-B8E4-9BA4F4FFB79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bddbf086d89e873309880679db8f505b7ce29405","datavalue":{"value":{"entity-type":"item","numeric-id":3527305,"id":"Q3527305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf9cd3b57e150d5f1c6f9f78fdd09295178bc4a9","datavalue":{"value":{"amount":"+0.8805541396141052","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":"Q928655$0BD57DDA-7882-4CC4-B8A6-1EF958A1DAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d548ba41660d7dd7ca797926d8ad980e295f2d3","datavalue":{"value":{"entity-type":"item","numeric-id":3582701,"id":"Q3582701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0906c0052649b2c2b46bae8f44616bde25d9e53","datavalue":{"value":{"amount":"+0.8557959794998169","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":"Q928655$533421EB-706A-442B-A343-84595AB07D33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:928655","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:928655"}}}}}