{"entities":{"Q2866802":{"pageid":2877522,"ns":120,"title":"Item:Q2866802","lastrevid":51886439,"modified":"2026-01-20T11:42:30Z","type":"item","id":"Q2866802","labels":{"en":{"language":"en","value":"Transformation for refining unraveled conditional term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236528"}},"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":"Q2866802$CBF2D41E-143A-4203-B16A-F66088862881","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1524846f4ca6af3844c318b0d40ae8dbe801ad1","datavalue":{"value":"1277.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866802$84C07859-F3AB-4D81-AC04-80D7FE4768B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fab14ad221e511a68105cfd43aaa9a4a54c3b820","datavalue":{"value":{"entity-type":"item","numeric-id":969618,"id":"Q969618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866802$04598918-36A5-4742-BFC4-A4FDF16187A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac5baa104ff443479866f502dd8f1093d798b7ee","datavalue":{"value":{"entity-type":"item","numeric-id":2866801,"id":"Q2866801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866802$48FC11EE-6414-4BFC-8237-F4273DB13B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b66c1b86c92371b7f16ebf6453aeaedd4a478d2","datavalue":{"value":{"entity-type":"item","numeric-id":407554,"id":"Q407554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866802$27285154-4C7B-47C2-83D2-F0BC04E44F5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866802$98B9A586-4F35-4BE4-900D-20112A005CA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2866802$252A9C19-FDD2-4320-ABCD-629ACF2A9087","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866802$F9C4BB67-F811-44C1-A9AF-CFAA8A45171A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866802$D6D5DDB5-39CF-466B-8553-5D3EC85DE130","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10c361a3350bb768a47346c4b619a7c5c5bec20b","datavalue":{"value":"6236528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866802$A038D623-2F41-44DD-B206-821403871D8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf64db4b48b9a0502fea288f474dde5d26f4b9d0","datavalue":{"value":"unraveling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866802$8B750110-E670-47AC-BE8F-1564499A2BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58ab50c9f9e2cf979fef680929122eb8c16f48b4","datavalue":{"value":"context-sensitive reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866802$D6DC4EA3-536C-4A01-BB92-B9A48C0B38CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dab4c4da2fec038da75103ee1f62b1021fb02eaa","datavalue":{"value":"membership constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866802$FE797D7A-FA72-4A7B-9CD2-2632B56D31FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866802$4017EF84-8497-4133-A69F-0208EB2F3E73","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":"Q2866802$93884224-32E5-4958-93B6-C65D7A9B4E32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee0cb72bf18828251be757522cdd22ce8c834600","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.048","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866802$BF61483E-C2A0-4C19-8A89-D49F3CBC7821","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f093abd92271e7b57edd4fc6a4b58aa02995e80","datavalue":{"value":"W2081679718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866802$65E54865-A863-43B2-9D7F-786BEE7877BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03dacafad2ff19ded175ac7d62381d002687606","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866802$53E6203F-8C7F-4A4A-90A8-6A2BAFCD3008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f993fcd9fff6be6ddd29863c05df1fec57dd43d","datavalue":{"value":{"entity-type":"item","numeric-id":4259966,"id":"Q4259966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866802$694230C3-2000-497A-A712-30B4BC2A5262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f77c9f0b209bffb78ce37325c9477c70ceaf77","datavalue":{"value":{"entity-type":"item","numeric-id":1041807,"id":"Q1041807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866802$8DF9C6A8-98D9-4849-AC21-E1CA0AAABE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d3fdcf6eed15cca5b9dd7fb0f599de1b8457467","datavalue":{"value":{"entity-type":"item","numeric-id":2956716,"id":"Q2956716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866802$32306A42-568F-40E7-AFAA-B175A735817E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ad8f68d17dd9acf9dbe34758361e759293799d","datavalue":{"value":{"entity-type":"item","numeric-id":2844056,"id":"Q2844056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866802$8F961D28-944C-4971-86E6-D11663B9D2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d625c283c10bd2220d45f8210b1cf47bdfab987e","datavalue":{"value":{"entity-type":"item","numeric-id":5703855,"id":"Q5703855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866802$2F31BA84-609B-4CC7-A9A0-A3548AFE3F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12fb719c6977dd8fe293c36894e6b050937ddaa9","datavalue":{"value":{"entity-type":"item","numeric-id":5941754,"id":"Q5941754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866802$BFB1127A-3BD7-4F48-B28B-C222FC85E94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866802$6C2F2F62-50E2-496D-8080-AB56072C0931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2804ae255a2472c079846d22da95346d6597532","datavalue":{"value":{"entity-type":"item","numeric-id":5703990,"id":"Q5703990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866802$F8C015A1-D66B-4997-91C8-8F2069336AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a8cd799fe0605abc393d28febcce088f8d799c7","datavalue":{"value":{"entity-type":"item","numeric-id":3527281,"id":"Q3527281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866802$53DFDA5A-534D-4C7B-B797-30E01A78C96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"936bc330f13059dc200a315733b2222687fcd936","datavalue":{"value":{"entity-type":"item","numeric-id":3819991,"id":"Q3819991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866802$A9359CE2-2509-4DE2-830D-19F7DB864CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce47f1158a3c9f1309e948c4c4a237f0925a2da","datavalue":{"value":{"entity-type":"item","numeric-id":1974693,"id":"Q1974693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866802$5501A464-585E-4CD6-9FED-954235685063","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d21ad425b49ea5ee14e074f0e4e0a61d13fd986","datavalue":{"value":"10.1016/J.ENTCS.2007.02.048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866802$E4D491EE-1E81-4523-B6EF-A1F282CE035C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94564c57eabd62a9d38254ed62f29a941126697f","datavalue":{"value":{"text":"Transformation for refining unraveled conditional term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866802$BE95FAF4-97E8-49EF-88C8-5F7BA6A3B1D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb1fdebda62830054e5b1d023e8cb6aa158f67af","datavalue":{"value":{"entity-type":"item","numeric-id":5240131,"id":"Q5240131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a74436e6e00f09c8d11479bb25eb9e8bf0bbe4","datavalue":{"value":{"amount":"+0.8983340263366699","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":"Q2866802$77DFFF07-318E-4B75-8A28-68F67F4EF462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd23413376e898cc2cbdf77bc23fca229b909be","datavalue":{"value":{"entity-type":"item","numeric-id":2904621,"id":"Q2904621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e26062f68eb8b45d96fb94f5600d1dc77472ad0","datavalue":{"value":{"amount":"+0.8693892359733582","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":"Q2866802$89008429-6C8E-4D91-8A24-687CF4C78154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ea9d8b8ffb8e04ee2e7ea8960d3d9cf7d16622","datavalue":{"value":{"entity-type":"item","numeric-id":5111905,"id":"Q5111905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be9a8f3c4cc91626e4c274e2fe5bc1d00d3469f","datavalue":{"value":{"amount":"+0.8592855930328369","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":"Q2866802$0A71F3FB-9523-4318-8799-59F4C3EDD284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9fa6fc67ef337dcd9fa4ddb1b7cbda3898d373","datavalue":{"value":{"entity-type":"item","numeric-id":3184732,"id":"Q3184732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd9551e54305c458f5f1e7a0d71835be5874efe","datavalue":{"value":{"amount":"+0.8574287295341492","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":"Q2866802$C8628348-3249-43FD-936A-7B54416D6F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de99ea9165fdcd58ec7a69836bc83c599401a21e","datavalue":{"value":{"entity-type":"item","numeric-id":2956716,"id":"Q2956716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5585df5cf79c8a833fdfb5482e56229629fc6a2","datavalue":{"value":{"amount":"+0.8569148778915405","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":"Q2866802$5085C340-68CD-4828-8961-B4B0FD0A5B48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2866802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2866802"}}}}}