{"entities":{"Q5881203":{"pageid":7910754,"ns":120,"title":"Item:Q5881203","lastrevid":47823796,"modified":"2026-01-02T19:22:26Z","type":"item","id":"Q5881203","labels":{"en":{"language":"en","value":"Completeness and confluence of order-sorted term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661564"}},"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":"Q5881203$19C13CFF-3CB2-4242-9078-58846F0255EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e9bcef722b2186d49026685a22fe53a0f6571d2","datavalue":{"value":{"text":"Completeness and confluence of order-sorted term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881203$C63B07CE-F5C6-4F16-8D27-27D6EACABE34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9401e2400a345f53babe1434b1b9cb0b6a4144c8","datavalue":{"value":"10.1007/3-540-56393-8_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881203$23F9BBFF-1F17-4614-BAC3-7998FDDBB80B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15e996108e05b466e2dbfd35ea9e75cfe1ef301c","datavalue":{"value":{"entity-type":"item","numeric-id":5881202,"id":"Q5881202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881203$6BDF43ED-BBD6-4AC1-B8CF-5F7A3BCE67B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00eb62236e33a5483cf4681f1956ae601238d263","datavalue":{"value":{"entity-type":"item","numeric-id":5881171,"id":"Q5881171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881203$5CF292B5-3EBA-4558-8E15-266DD18D062E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881203$A0C3ED82-325A-4E62-81B4-270B59820FFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881203$CBADA741-0A3B-4DFC-8522-ABC45C2BFED7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f572b846e7852f7dfb03d13a9bfc4a8db08ad17e","datavalue":{"value":"7661564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881203$70D752BB-9DDD-4386-83EF-B067BDA8058C","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":"Q5881203$803C693F-193E-4383-A4B5-5B406062773C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"317ce94bf57ff315e37a7aa47470b33ef1f9db1e","datavalue":{"value":"https://doi.org/10.1007/3-540-56393-8_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881203$7690D205-753E-49CA-98B6-D555204DBA74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bdff249b2ea09404834d9e8548770c3d73aa4b7","datavalue":{"value":"W4243135475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881203$CA727464-87D7-4BF5-ACB9-9D73D7945BB4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881203$356C65A1-F47E-427E-B20B-B1C866400930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3fee6eaeadaf3094aaa93acbe2a93c0f4df3883","datavalue":{"value":{"entity-type":"item","numeric-id":3792234,"id":"Q3792234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881203$9E4AC950-3832-4605-9C04-332D6952CCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3388784066552dbe30b5bf9917261a8daba9ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3719824,"id":"Q3719824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881203$4E7BF4B0-20E6-4FBB-919F-1BF1BB4A0BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881203$4D7A1B68-5931-4312-9B9A-E43DE797F772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a563464d434ef2d751986d83ad2c2fbce7bcf156","datavalue":{"value":{"entity-type":"item","numeric-id":3795207,"id":"Q3795207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881203$1F2FFF51-B6C1-41E6-ACB4-0E1D6572D98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881203$9F47613E-3395-4556-AED6-0533F7805546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881203$5D63CD56-52E5-4C4B-8A9B-1C3AC0C7E972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f170d1bf622491cb6b4b793c7af31a789e14e59","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881203$90545C6D-2B78-4059-AA2E-BB859717A6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee18c6685e3c422a5b7acb38e3c3aa904b7a2f34","datavalue":{"value":{"entity-type":"item","numeric-id":1185014,"id":"Q1185014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881203$F385A205-C6B1-4239-B268-CE27F7622796","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6b04844e17eaf8e213efd46faa6d41e6de83f8","datavalue":{"value":{"entity-type":"item","numeric-id":1264441,"id":"Q1264441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"486f6dab41f9ba7369bf8d214f777f1438fd9a45","datavalue":{"value":{"amount":"+0.8501867651939392","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":"Q5881203$2879D8DB-5D33-4C66-AACC-98FDC1B93C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65761ead613c321c651745728be516e7a9e5ad77","datavalue":{"value":{"entity-type":"item","numeric-id":2956715,"id":"Q2956715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"486f6dab41f9ba7369bf8d214f777f1438fd9a45","datavalue":{"value":{"amount":"+0.8501867651939392","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":"Q5881203$7827A98E-969B-413E-94BB-0CD480226E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce58b8b9a49d4a859853a14c1158bd0bd23ff153","datavalue":{"value":{"entity-type":"item","numeric-id":4282530,"id":"Q4282530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19399c682b7682c12ea5c141da8014545aafe7d1","datavalue":{"value":{"amount":"+0.8483995199203491","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":"Q5881203$97394586-EACD-48AD-BB7E-543EFAEC81CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee6c71dcea2bc14b24a58f1a0b63cc534d9294f","datavalue":{"value":{"entity-type":"item","numeric-id":4364594,"id":"Q4364594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60d5a5f9e8c80b90d26cca0681c0beb8288570bc","datavalue":{"value":{"amount":"+0.8474037647247314","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":"Q5881203$A70FBADB-0534-458B-985C-9F7CEA41E049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181a7fb68ff0c11950269760fc90228d76807ecc","datavalue":{"value":{"entity-type":"item","numeric-id":5055784,"id":"Q5055784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"193345e649a2071bd89831396172b4d737bd01b8","datavalue":{"value":{"amount":"+0.8376262187957764","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":"Q5881203$20D14842-FDF3-41B8-9670-1AD8B166CFD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5881203","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5881203"}}}}}