{"entities":{"Q5881180":{"pageid":7910731,"ns":120,"title":"Item:Q5881180","lastrevid":47823748,"modified":"2026-01-02T19:22:25Z","type":"item","id":"Q5881180","labels":{"en":{"language":"en","value":"Sufficient conditions for modular termination of conditional term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661543"}},"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":"Q5881180$B3AE47D6-F3EB-46F2-A85A-CEAA5D58442F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"290cb7c0527ae738070180357da7f45970262df6","datavalue":{"value":{"text":"Sufficient conditions for modular termination of conditional term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881180$DFF081C3-78B2-401F-B500-2607E8F7D9FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26516308a81a5f3116b5a20644fbf9bec6691a11","datavalue":{"value":"10.1007/3-540-56393-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881180$5A70786C-77CD-4862-A289-432115688910","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":"Q5881180$E7A036F6-360A-48CD-9C95-105659A5C63A","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":"Q5881180$BFD479FF-933E-4341-9BBA-858241CB006E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881180$581EAC62-368E-4A3D-9411-A27B728631D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"748afdc707d54ee21929209fceaefbaf566ce6ca","datavalue":{"value":"7661543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881180$981AEA75-9C17-46D5-AFD5-8523111981B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebd62929982c5bab719524b29f6af40450c0159d","datavalue":{"value":{"entity-type":"item","numeric-id":671505,"id":"Q671505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881180$D8F1E978-1A6B-4B81-ABFA-BD49457560CD","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":"Q5881180$240246FF-8988-4DF1-9519-56DDF6168378","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afdb2d138a1e2fcb2a363e60ee0ab25814f3fb80","datavalue":{"value":"https://doi.org/10.1007/3-540-56393-8_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881180$6FCBF991-2318-4575-A61B-945D344F819F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8466cfea7d81efb41ad2f274b71f3a11b0efb7ee","datavalue":{"value":"W1578181970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881180$11226DB0-228E-4B77-80C6-DE4546854789","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881180$9EC4DAF5-C7ED-45B2-8217-DC9A0672863F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d903972af7d29825f64b1c88e5395eb0b5d0fe00","datavalue":{"value":{"entity-type":"item","numeric-id":915429,"id":"Q915429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881180$1457F003-F420-418E-9D18-0C6A980940FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5985ede7bd580a3b6a10ed6c28ef50e7923f93","datavalue":{"value":{"entity-type":"item","numeric-id":3819993,"id":"Q3819993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881180$57966A96-B9C1-46EC-A698-B62F00F6E272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692c7d5d1d410b0e1545d4034aed9921102bca15","datavalue":{"value":{"entity-type":"item","numeric-id":4255514,"id":"Q4255514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881180$CEC1E04A-9C65-4BEC-BA17-8646EF984400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc38d5f7a802e9ea35c5abdf22fc0003a899e4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1100891,"id":"Q1100891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881180$D116193A-2345-41FE-95F5-F2DF93D5ACFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399c4cdf2fc30383b927caff1ca0ff9ad8e69425","datavalue":{"value":{"entity-type":"item","numeric-id":3204048,"id":"Q3204048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881180$6EA3FE11-D463-45E1-9BD4-1D47B78ACB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8c39dcf1cd87a28b508e3c9832adf61306c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1108785,"id":"Q1108785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881180$9561B5A0-4109-4CA5-AA40-209B52B527AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881180$BD0E3845-486F-402C-BB04-8731257E1D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a13b8b47957d5cbd2ccc811d6a3ea0ab1cb966a","datavalue":{"value":{"entity-type":"item","numeric-id":5055740,"id":"Q5055740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881180$90D843F7-F140-48B2-B42B-03C3AF12CEA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9722bd7704edd49a7b67aecb295ea086ac06ff74","datavalue":{"value":{"entity-type":"item","numeric-id":1349693,"id":"Q1349693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4204c6453e77097653572fc4ebacb696cea2679","datavalue":{"value":{"amount":"+0.8811768889427185","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":"Q5881180$54DC9080-BDBF-42C6-BCF5-DAA563BF3064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7121f07416fb4ad7acc1c8f55fde6f8ae46de3f7","datavalue":{"value":{"entity-type":"item","numeric-id":1328180,"id":"Q1328180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e95fd91139f7148f8cb554f6f9938c86a98898","datavalue":{"value":{"amount":"+0.8782127499580383","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":"Q5881180$44FBC928-EF18-4C94-B5DB-25A5DA5CB6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1bd637b976226e8a05c6125e925ddee941f1949","datavalue":{"value":{"entity-type":"item","numeric-id":1911401,"id":"Q1911401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ffafae157a05f02995b556e1884477356b5a539","datavalue":{"value":{"amount":"+0.8758811950683594","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":"Q5881180$689E4647-BF3A-4E45-95B6-6EEFEAC162A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae75205f2f2fff0491c7fa831b88025350a0e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4537514,"id":"Q4537514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85a976dd3c633bb8aae20cfa497521ffc8089687","datavalue":{"value":{"amount":"+0.8720520734786987","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":"Q5881180$9AE4B0AD-AE1C-433E-98ED-ABBC326176AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3a13f71fe71fba92be42f2c6230aa618eec2301","datavalue":{"value":{"entity-type":"item","numeric-id":689098,"id":"Q689098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b82c0f27802ff0e951141907125d44f97871912","datavalue":{"value":{"amount":"+0.8686240911483765","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":"Q5881180$C4E268EA-5C8D-4801-9DC5-4ED75D2F601C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5881180","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5881180"}}}}}