{"entities":{"Q5941751":{"pageid":8118553,"ns":120,"title":"Item:Q5941751","lastrevid":47660212,"modified":"2026-01-02T09:02:09Z","type":"item","id":"Q5941751","labels":{"en":{"language":"en","value":"The termination hierarchy for term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1637068"}},"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":"Q5941751$DD5E8F36-7066-4447-A3BD-B8FAB9CB67DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32ac5c34ef8f55e90f9733435cdb996673456853","datavalue":{"value":{"text":"The termination hierarchy for term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941751$0559ED74-3355-42AD-BEE9-DCDBFEF20DA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de56084a965138310f8a36671e1682beab3e27cb","datavalue":{"value":"0973.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941751$C2C9EDA1-E202-4D7C-AE8D-CA4C69E90C95","rank":"normal"}],"P16":[{"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":"Q5941751$6FCD27D8-280A-4214-9142-6FFC574020BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941751$376352A9-CCF8-4EF1-8404-CEE79C73FEA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e42f77e6bc23737c831f0dab74893fd923637345","datavalue":{"value":{"time":"+2001-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941751$D4D5A60F-DDBC-48B8-BBF1-7FE4B423C2AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87cf351d35e6feef8b14b84dbb13b868b4a4a3a6","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/18963","type":"string"},"datatype":"url"},"type":"statement","id":"Q5941751$F59916FA-7EC5-43F4-862C-CEBC1CFA53BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941751$7AFE22B8-B148-4A36-916C-DDE7ED200112","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3058c8bbab0846a2ea310fb8172a6830e31ebec","datavalue":{"value":"1637068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941751$48CFAE70-53F9-4048-8532-3F9C4F86A701","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941751$D38D754D-0541-41ED-AF09-41DD7FC039CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a59c985dd3aa9be5ee556ed3da954f03c5904f","datavalue":{"value":"string rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941751$2EB255BA-AFEB-4AA7-8A07-7756D711E9F5","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":"Q5941751$15AA6626-0BB1-4C44-8732-7017D0D6AA82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45b805ecbcc866ad8c6020f10237bdc9521161bb","datavalue":{"value":"W2165079210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941751$583561AC-D178-4BD0-85F7-EBAF5D73FF53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"767d9ac3615fc01ccf85028c61f6afc51e99222c","datavalue":{"value":"10.1007/S002000100061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941751$8F3D2AC6-D4AF-4265-8AE2-20D9180C5B69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b754178d023239cc098828c9a84fa899fd07362","datavalue":{"value":{"entity-type":"item","numeric-id":1854559,"id":"Q1854559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b6666aabe4b6e340ebb0d923215e03d93b8a21","datavalue":{"value":{"amount":"+0.8359171152114868","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":"Q5941751$D12EE08D-AA5D-4A52-974B-8AF758C189B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b310a099ac6b90ddf41b1f53c1da03177a8a6ce","datavalue":{"value":{"entity-type":"item","numeric-id":5055798,"id":"Q5055798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b6666aabe4b6e340ebb0d923215e03d93b8a21","datavalue":{"value":{"amount":"+0.8359171152114868","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":"Q5941751$1E9EFBD0-9177-4099-82E9-AEB39CCE992E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35398bb68961ca6ca6005a2a56e2e38acea57fa8","datavalue":{"value":{"entity-type":"item","numeric-id":3703288,"id":"Q3703288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d7752f0ce4baa393150a274be78b632b6dbbea8","datavalue":{"value":{"amount":"+0.8311038017272949","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":"Q5941751$D1ECD29E-8C0E-4E86-937F-A5F93933B99A","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":"865b6f8046ccc23c17d64c5a5b1b1f5e5595d071","datavalue":{"value":{"amount":"+0.8124302625656128","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":"Q5941751$624B4B71-0B77-4471-AD8F-1B30773641AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8caf87ff7c457f8dd54803488a6ffef97070babb","datavalue":{"value":{"entity-type":"item","numeric-id":3336736,"id":"Q3336736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477ec6ff680c5b952e8f990b97ff9b502203138d","datavalue":{"value":{"amount":"+0.8026472926139832","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":"Q5941751$208B189F-4F6B-4171-8BC4-4C400EC790C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941751"}}}}}