{"entities":{"Q5448658":{"pageid":7478217,"ns":120,"title":"Item:Q5448658","lastrevid":92366924,"modified":"2026-06-05T01:32:52Z","type":"item","id":"Q5448658","labels":{"en":{"language":"en","value":"Certification of Proving Termination of Term Rewriting by Matrix Interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5246005"}},"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":"Q5448658$D62C54CB-BF5A-4B8E-8F6E-9BC9E375FE31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1674f9a611402ec66ea0dee7f1213ec3426ebf08","datavalue":{"value":{"text":"Certification of Proving Termination of Term Rewriting by Matrix Interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5448658$0DA12E79-57B1-4394-943D-E642FAC7B889","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87efa77e186d4a5ea458befcb8fdb24131ab2d02","datavalue":{"value":"1132.68431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448658$A61235FF-4A08-4BE8-BD02-7064D9A586E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b70de2ab2ff3a14f1b14cd5dd7230b433dd67de5","datavalue":{"value":"10.1007/978-3-540-77566-9_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448658$83B2B98C-B50C-4F0A-B616-272883E4DA34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b43147a09f38888bdc440722fa90e825a1545dbf","datavalue":{"value":{"entity-type":"item","numeric-id":843948,"id":"Q843948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448658$EBBAA919-45EF-42EF-B598-1A907353B804","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":"Q5448658$1AD978B8-95FB-4F59-8CA0-3A3D79E93783","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"289e9518bae23f8ef3fef424d4152fb57471f6fc","datavalue":{"value":{"entity-type":"item","numeric-id":5448635,"id":"Q5448635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448658$30096C0D-467F-4AE1-A97F-B2FA1878C61D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"408bb415b0e4e91f33eb35fe43922ec8a2030622","datavalue":{"value":{"time":"+2008-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5448658$AEDD8C6E-8039-40BB-BF2C-22C4ED99DF34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448658$85CEB9DA-C76A-446C-A378-6726CD44E46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448658$A0929196-77AE-440B-9D36-6F51A9597BF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0c225aa1f70de0b2acc4ff6802425012b7d5b92","datavalue":{"value":"5246005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448658$A673E8C4-98C0-4BA4-B4EF-DD8ADD823F40","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448658$98B59674-EF8C-46DE-BB16-51E9B8CC70C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e916eb1dc395e3830d6317d3e8aefcb052d11440","datavalue":{"value":{"entity-type":"item","numeric-id":21785,"id":"Q21785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448658$63A125D8-359B-409A-B47E-3941D036EC5D","rank":"normal"},{"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":"Q5448658$FD39AC95-8BF5-4CEC-903C-FD3E09193779","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":"Q5448658$91ECA6A5-8B86-4F17-A24C-2388AC6B3AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"184b17ed6ef8f72f90ef44ecb976296d445c28b6","datavalue":{"value":{"entity-type":"item","numeric-id":21947,"id":"Q21947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448658$24EEFB55-1837-4ECF-853D-D5042D1BA648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed30c00dba43cb7404d541bb6de7a2ebb027c287","datavalue":{"value":{"entity-type":"item","numeric-id":22083,"id":"Q22083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448658$0FFD7517-3974-40AE-A2D5-A3A9703955C1","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":"Q5448658$4EEC2CBF-D555-4499-9079-60F7F1DC3D47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc28f4c0b23d839f8e32cf8b57de5b99982f6ac2","datavalue":{"value":"https://doi.org/10.1007/978-3-540-77566-9_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q5448658$859F1693-9CED-4793-A855-A1A3C2940438","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7f9ebb43cb930c37da0fb0b47c88e78d53b1a79","datavalue":{"value":"W2067772798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448658$05C747E3-CC21-4CFB-8ED2-E14508BC4ADA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55279b562077235a83c8f027abb8a1db79401d8","datavalue":{"value":{"entity-type":"item","numeric-id":3194730,"id":"Q3194730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448658$9225DC88-B798-4352-A006-9ED6F23EE161","rank":"normal"},{"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":"Q5448658$38D3EC15-424E-43AA-BE83-BB5D81C1BA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec28ba6d820be907a77fb84eda09cc97c627df63","datavalue":{"value":{"entity-type":"item","numeric-id":3525007,"id":"Q3525007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448658$109A3473-220F-4419-A91D-6B740533B63A","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":"Q5448658$FE7CC960-7135-4560-8487-C2B767066FE0","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":"Q5448658$8D4779DE-A1E3-4C1F-A6ED-65B084BB4D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"876f8e9697a35a1fa4e631a25500a97f4e320208","datavalue":{"value":{"entity-type":"item","numeric-id":876042,"id":"Q876042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448658$3ED8F028-0680-484E-98F2-A720A1E08DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d65ac77a8a30bcd5de43ba1a0927b49fd2ae01","datavalue":{"value":{"entity-type":"item","numeric-id":3527299,"id":"Q3527299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448658$4927F26B-253D-4CED-80F4-2A84DDC5DB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99e28edfd88bdd97fad0b6f216698f926941cd1","datavalue":{"value":{"entity-type":"item","numeric-id":5448658,"id":"Q5448658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448658$95E7120E-3810-42B9-9612-8D03792B15C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f8a0484d56d68801f0437288a1ce7994f7539d9","datavalue":{"value":{"entity-type":"item","numeric-id":3608789,"id":"Q3608789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448658$BA82BF04-EA20-4B53-814E-9429D02324BA","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":"9b489bdf23174afc6348a97d857bc72f1e28ae36","datavalue":{"value":{"amount":"+0.8557659983634949","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":"Q5448658$B014906B-E250-49F8-8430-A9DEE3DB7155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130322684904427026a4c621fd13d0da2f697971","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aeed6c3b4bfb845a9e3883ac474453c51a3f23b","datavalue":{"value":{"amount":"+0.852584958076477","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":"Q5448658$364A62D7-B30D-44A4-93FC-11278D131F3B","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":"74796bca324bc32b219f8d4eaa8ee68bd1f030a8","datavalue":{"value":{"amount":"+0.8205392956733704","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":"Q5448658$582A8149-A015-4755-8E2F-00569C1C0691","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":"a8e497f6d7d6207158147fd44f7b3ae2bec168f2","datavalue":{"value":{"amount":"+0.8201783299446106","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":"Q5448658$E8D6C9B6-626A-4DC7-A8F8-07259E98E521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1414861b391fdc54de527428e038164fa3bed9","datavalue":{"value":{"entity-type":"item","numeric-id":3077191,"id":"Q3077191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6b4289440c362a1d5cdff27199f64cac7affacb","datavalue":{"value":{"amount":"+0.8086193799972534","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":"Q5448658$D1635A5D-667F-4777-BF38-440022CC0554","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certification of Proving Termination of Term Rewriting by Matrix Interpretations","badges":[]}}}}}