{"entities":{"Q5389075":{"pageid":7418649,"ns":120,"title":"Item:Q5389075","lastrevid":58561221,"modified":"2026-04-05T18:30:14Z","type":"item","id":"Q5389075","labels":{"en":{"language":"en","value":"A reduction-preserving completion for proving confluence of non-terminating term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6027832"}},"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":"Q5389075$BF9D517F-6F0C-478D-9CF0-44F51B59E2B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a08f4583ce849b2ebfeee597ab6c4180937f47a","datavalue":{"value":"1236.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389075$24CEB968-8282-4D80-903C-148CB04B441D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c142000c83c63c7d3a0cf2043f4b6ac5b2749b8","datavalue":{"value":{"entity-type":"item","numeric-id":1288177,"id":"Q1288177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389075$1E945AFE-85ED-4C35-8A7B-6301255D9F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bdfe0bd308aff5406204a71a8f73fb22d157ce4","datavalue":{"value":{"entity-type":"item","numeric-id":1107974,"id":"Q1107974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389075$C0B17427-FB77-4A25-8168-6AF5E7FE0486","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85ed9f287d2ea9a2dac92419860840c9949df976","datavalue":{"value":{"time":"+2012-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5389075$7EEA2F42-9382-4FC1-B797-E5C2899AE247","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9c140d09698a54662763c1c209bafca0656fd11","datavalue":{"value":"https://arxiv.org/abs/1203.5121","type":"string"},"datatype":"url"},"type":"statement","id":"Q5389075$1C78DD3F-1484-4CE9-B841-E0504F8C5146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa02702e44b0ce025bda07637ab8e6a258409287","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_2e80.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5389075$2B7D0040-9F8E-4900-9665-9E487AC388BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389075$BFA8D14E-D43F-4205-9EBE-E26C61995AC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1637870ab1675a9db6767bc72f682708bd4657d1","datavalue":{"value":"6027832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389075$15878971-1A0C-4355-B995-4090C22D09A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389075$AB5A0BA3-48F7-4BC3-AEE4-ABD2AC86C447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389075$FFB456AF-CE9F-44D6-8512-21B11195AB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93d8bbdb24dfb6921cb381705ad1a6d8b458da33","datavalue":{"value":"equational term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389075$CE8EA4AD-84D5-47A1-B341-2F6C3427DBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e920e6759175ec72df3c62e63c71d08f5c1d00e9","datavalue":{"value":"confluence modulo equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389075$96F83A20-12CE-40C0-A4DD-A6D0042E88BD","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":"Q5389075$9FA44535-5068-45CA-9A58-251B5A1EA951","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"900d76e227bc0172f31394a2c4d739761b8196ad","datavalue":{"value":"W2756087029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389075$FE9DE0E7-249F-4E17-9C60-3E15738AF1D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0137df2ce39f9d6382de11f066934d83f12a342c","datavalue":{"value":{"text":"A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5389075$39287F7A-83F8-45C5-B5E4-44725CAC11B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dda2865f009ae1266a0ad9584773ad4f98a4e620","datavalue":{"value":"10.4230/LIPICS.RTA.2011.91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389075$41EC2F66-E4B6-453F-9734-FD1947DC09AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d21077d3a817a05504fc88d9252f7f3476dd98e","datavalue":{"value":{"entity-type":"item","numeric-id":2881099,"id":"Q2881099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac6254f88966e123defbc6b26d4a968b62edf2ba","datavalue":{"value":{"amount":"+0.9985753297805786","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":"Q5389075$FB64D80D-CA5A-419F-AF0F-0284C73739EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217f54b6c3935910f43ccc6f844514028ca0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":5703842,"id":"Q5703842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"104c3d17de97365a3bb2f66eff32bfb4774014b8","datavalue":{"value":{"amount":"+0.8532024621963501","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":"Q5389075$74AA36E8-248C-4306-B957-8C8803434B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d5ea8f319beb02881e79c56f126cf784c2a02d","datavalue":{"value":{"entity-type":"item","numeric-id":5170823,"id":"Q5170823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db7c79ce9d323067b1c185839969b7bae94f157","datavalue":{"value":{"amount":"+0.8059150576591492","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":"Q5389075$63C9DA9B-1A6D-47EE-8068-4FEA1102E3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abb79cad3b362578d7044274bbbf0433f46499b5","datavalue":{"value":{"entity-type":"item","numeric-id":5878911,"id":"Q5878911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ad347c3805f1b4dc2c0d44d7b411f7ae64b4a4","datavalue":{"value":{"amount":"+0.8035438656806946","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":"Q5389075$8B65738A-9AE2-42B7-B830-B2CB56844288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f31d5a560d809eeca6627f5a506a44da3ed03c1","datavalue":{"value":{"entity-type":"item","numeric-id":5881272,"id":"Q5881272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb31723a67cda857cff6623ca3a1abb7a23542f1","datavalue":{"value":{"amount":"+0.802168071269989","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":"Q5389075$235E932D-F7AE-4213-B6E8-F8E010CEFDFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5389075","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5389075"}}}}}