{"entities":{"Q1886319":{"pageid":1897061,"ns":120,"title":"Item:Q1886319","lastrevid":69191571,"modified":"2026-04-13T05:22:56Z","type":"item","id":"Q1886319","labels":{"en":{"language":"en","value":"Deciding confluence of certain term rewriting systems in polynomial time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2116235"}},"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":"Q1886319$5A7C84EF-5470-4961-B6F9-1B38E442C2B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ddf39ce78da2b883ef09de53a0385f2834b95d2","datavalue":{"value":{"text":"Deciding confluence of certain term rewriting systems in polynomial time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1886319$D5E22055-4054-4BF4-8584-50D461219C88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cfabc6ae3480a051987a53d952def76b5eb2379","datavalue":{"value":"1072.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886319$FC8F5E1A-A86F-4C16-A787-E891213F5B5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"957322e0e65309e69a1881e776e7b58b540ff033","datavalue":{"value":{"entity-type":"item","numeric-id":734040,"id":"Q734040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$49A01BDB-4339-4B3C-95D5-C605F918C42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78912daa4c2f606a86d62c664c42ea944a74fc3b","datavalue":{"value":{"entity-type":"item","numeric-id":1611409,"id":"Q1611409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$43E40D94-2F0F-45D8-8747-3039408784FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78e9d6aca34018820a8270a63a5c8a8d5a7e983c","datavalue":{"value":{"entity-type":"item","numeric-id":287152,"id":"Q287152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$0497B3C4-BA78-4F1D-9F7D-2F2A959E6DF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$9C42515F-2A92-4120-B2A3-9D9B31E69364","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"037fcf95f864ae0e38f5b6894c4f594ea5ca568c","datavalue":{"value":{"time":"+2004-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1886319$ADC2CF32-D826-44E3-8C73-AAE6C4238D19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886319$46196E2E-1591-4473-879C-EBE654CDC315","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d14cf955a7f75ee03908ab35fbd1bcc3df96be95","datavalue":{"value":"2116235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886319$61C3C099-0B33-4AEA-8B02-E5433BA1954E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a40e1f9a15fa93fe9e13405d052191a1b658c0c","datavalue":{"value":"Term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886319$254FCBB1-C280-4E29-88C6-D2A769BE392C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cebe36b1d4dd3172f1079b04a0839e06050a872","datavalue":{"value":"Confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886319$7231831C-C7CD-4C35-B497-48FF555DF3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6d36ff211b65d22be35d55b8a0aa7e325ca36ba","datavalue":{"value":"Ground rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886319$1F6D7EF4-E561-4B0E-B8DE-9C87B6C20EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77096d35d527994f114eedc08642407d41b05cfc","datavalue":{"value":"Shallow linear rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886319$56C08F36-A3D8-437A-BC5B-1DB90B3694F0","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":"Q1886319$8E331499-5C43-441D-A71F-99682ACCC2FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"baf3f2444c31c0013fda20b7c94afd371929cf58","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.04.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1886319$56A1A9D3-CF05-4DBE-A376-9B82C55E67E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2668ae8bcb02155d5df6db39731b85cc97bbfe3c","datavalue":{"value":"W2050626079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886319$F9AB2354-6465-4E08-8DA2-91ECAB823DEA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ed0648f809f449264f7f710d068f681caf0145d","datavalue":{"value":{"entity-type":"item","numeric-id":4520528,"id":"Q4520528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$0D0899E5-DA21-49D5-BD1B-E5354B3B133B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f463d2fc68b751147d657b7d88f441cdf392409","datavalue":{"value":{"entity-type":"item","numeric-id":4000281,"id":"Q4000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$66979827-EEB2-48FA-9802-E5F08829404F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afab4586824def7f2175c5532d1a1f9d233d0b27","datavalue":{"value":{"entity-type":"item","numeric-id":2723409,"id":"Q2723409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$AC5420C8-2E72-4935-8B1D-1D6BD017DF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f2eefad08f445d5828ca880db484eaddd20fc85","datavalue":{"value":{"entity-type":"item","numeric-id":1425161,"id":"Q1425161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$1F083E7D-61C0-408B-9565-C76F88D961B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbc318032cec747535bd0c6935dca630a9056d4","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$BA7FEF47-2FEE-445C-9C25-71947610CCBB","rank":"normal"},{"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":"Q1886319$471D4159-8D57-432E-B0F9-72D4F7B2D2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$50B8AE0C-AE38-4C10-907A-9E47547A0E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae19a70a8616a64987bb08271f6f085e5255b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3908476,"id":"Q3908476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$233488E8-F12B-4E88-AAA3-437E878D148C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bae5fef77ed2db7581221412320e819a802e400","datavalue":{"value":{"entity-type":"item","numeric-id":5277699,"id":"Q5277699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$0590003B-8D02-4988-8AD6-E87203369E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ac4d5ab6018a1510010c37ae8dc3cec6c8ba78","datavalue":{"value":{"entity-type":"item","numeric-id":4418639,"id":"Q4418639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$FFAF91FF-0CC9-4CA0-80B6-197CA4D5E3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926e1c124ce65acb98298900b42930980762fc43","datavalue":{"value":{"entity-type":"item","numeric-id":1014436,"id":"Q1014436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$B6445CD4-54F8-4FE5-AF80-96D107B5BE1B","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":"Q1886319$5B577375-096A-4FC9-807F-E3E0A4FFA5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1c0caf143d0a9cefdcb724f58fcfe301393d12","datavalue":{"value":{"entity-type":"item","numeric-id":5055782,"id":"Q5055782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$22A91E74-2B9E-43B6-AD65-12874933CB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$401B0756-2C0C-4A59-99DC-C82A5C94596D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a2161d61de39868eace75d44b99156e6623a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1100890,"id":"Q1100890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$92BEF943-32DD-4D2C-BDA6-393D5E4550FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5ac5e87b7bb20051a97cb3e5d95d9b6576112f","datavalue":{"value":{"entity-type":"item","numeric-id":689111,"id":"Q689111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$143A51BE-206E-4C63-9E26-8C8ED3ADBE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa95f6e430f2fe4fcbae2f2b64a1fa38230defb2","datavalue":{"value":{"entity-type":"item","numeric-id":4474230,"id":"Q4474230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$98561220-1BAE-4390-84F7-DD08B44244A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa5ef98b18331f3dc7bf4c880bdc101ca637df1c","datavalue":{"value":{"entity-type":"item","numeric-id":1853144,"id":"Q1853144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$DB6F18B0-3A54-4EA6-86AE-DE3C20118A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c628921a243b7adae9f2b6acaa6d3b1b9fd505","datavalue":{"value":{"entity-type":"item","numeric-id":2730723,"id":"Q2730723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886319$6ECF43CC-FE6E-43E2-82B6-908F8A92DD02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cf743c08e6a47fdb3f10565d40d1a947c5b1af0","datavalue":{"value":"10.1016/J.APAL.2004.04.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886319$3C1D9CBC-7515-42D9-8B60-671833AC9769","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74d0a9bd5c419ca94dfc8bf6669273243f08319","datavalue":{"value":{"entity-type":"item","numeric-id":4418639,"id":"Q4418639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e319a38acc30c28d47efff9c52073422ba7a18","datavalue":{"value":{"amount":"+0.8995401859283447","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":"Q1886319$A2B520D3-1A89-47A1-A28E-53BD146C6733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"340086969523cb2c3ee426b18857c383b402099f","datavalue":{"value":{"entity-type":"item","numeric-id":5277699,"id":"Q5277699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1250a714b7dfb1bcfbd860321a560fc4caaa50","datavalue":{"value":{"amount":"+0.8969610333442688","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":"Q1886319$8A977B47-7CB1-49D1-8707-FE1D1E190E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e3f45eea40d80ccd249df454e6f68e1181ab9b6","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa89b638d6cecdc874738f4d2acf17735da87f7","datavalue":{"value":{"amount":"+0.8726033568382263","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":"Q1886319$DD6F4C96-2D53-4A1B-813B-6CF6D7C9C85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1375c03358adcaad0ff4a298038beef12639e4da","datavalue":{"value":{"entity-type":"item","numeric-id":5111903,"id":"Q5111903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea32263fb72cd9615c8d9cdc0a96ccf546250aae","datavalue":{"value":{"amount":"+0.8716627955436707","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":"Q1886319$AF212A1E-C59D-4CDD-8E80-F92219DC4937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e9b55795bacf7086e52e3f4c698fc080c9a03b5","datavalue":{"value":{"entity-type":"item","numeric-id":5705906,"id":"Q5705906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3829820c1c745d4b930760e268a688335cbdb8df","datavalue":{"value":{"amount":"+0.8662450313568115","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":"Q1886319$8742A049-6942-4F19-8371-C6DB539F1EC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding confluence of certain term rewriting systems in polynomial time","badges":[]}}}}}