{"entities":{"Q3613435":{"pageid":5643341,"ns":120,"title":"Item:Q3613435","lastrevid":50603795,"modified":"2026-01-14T13:14:15Z","type":"item","id":"Q3613435","labels":{"en":{"language":"en","value":"Matrix Interpretations for Proving Termination of Term Rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528316"}},"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":"Q3613435$51953C5C-0D07-4C9F-BCD5-E7F66B9DB07B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9af608590dc30a3f9dbb932876b8f62c9b3e6073","datavalue":{"value":{"text":"Matrix Interpretations for Proving Termination of Term Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613435$46AA1969-1BF1-4ADD-9182-5036E55822F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf090e9fc95947092047e1c4dd824a75eaeffa40","datavalue":{"value":"1222.68362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613435$C84A8AA9-0BB2-4B59-BC4A-F787548A6C56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45dd8f3c82d6c39762b95d049f3285103b6b5d54","datavalue":{"value":"10.1007/11814771_47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613435$A27BC838-3F60-4EE1-A4C1-F946D2EE1EE1","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":"Q3613435$F07FA592-89DA-41CD-A5D7-3D87824A7E77","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":"Q3613435$D273C531-CC61-424D-BBE3-5D677231584C","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":"Q3613435$31B1BE0E-C0F4-4137-8548-D698AA0B7EDB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613435$D1A80E3B-186F-41CB-B884-F8C23553380F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613435$C8F07012-AC16-4A55-A5CF-CEEB66C03D14","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":"Q3613435$F15DBFF2-4DF7-49D0-9D9E-1693B6C6F722","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613435$F8F9D9BC-2C1E-4C1A-A691-4B74A570C9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613435$8A7C3B3A-60DF-4E19-BB28-10A5D2148EF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd447cdca27a7587c7176a3a8678e3e321d0c7fc","datavalue":{"value":"5528316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613435$5A79D661-03A2-4E56-9606-169F2B7437B4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613435$F026E57D-FDDF-404B-97E6-98EEDA0C112B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"215e268b021d037acb803be5f3846494c13771a7","datavalue":{"value":{"entity-type":"item","numeric-id":22084,"id":"Q22084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613435$963BEA6D-1266-4B9E-A17D-50288391BC37","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":"Q3613435$27EB2580-4291-4455-95CC-4D05E7761B8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbb599f3c4393593bcffa4be20e3faa2b98c4d8d","datavalue":{"value":"W1558166004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613435$22601BB5-EA96-48D7-A776-DDBF78333873","rank":"normal"}],"P1643":[{"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":"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":"Q3613435$C1A9FD2A-F920-48CB-9B7B-A9AEE3A4E699","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":"2689562e373ac4a3b8f5a45a80a13ddaac84ca60","datavalue":{"value":{"amount":"+0.9084279537200928","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":"Q3613435$51F77608-E3A5-4620-AF91-D44B017AF221","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":"ce3bfafa65e44b2cf2c78090ccfa4b3b00d15204","datavalue":{"value":{"amount":"+0.8913132548332214","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":"Q3613435$0CA78A4F-AAF8-4FE8-AF29-8070A307F6F3","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":"09298161b89df287ceeb404fdfddcc0e8f66d527","datavalue":{"value":{"amount":"+0.8788307309150696","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":"Q3613435$F892BF31-76FE-4E0A-837F-31F6271FC559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41f0638a8c38776d201be9f988b1fd4a259df9fb","datavalue":{"value":{"entity-type":"item","numeric-id":5448658,"id":"Q5448658"},"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":"Q3613435$63CDE8AD-D3A5-4FCA-A831-60FD6AFE9431","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613435"}}}}}