{"entities":{"Q2881099":{"pageid":2891819,"ns":120,"title":"Item:Q2881099","lastrevid":51442667,"modified":"2026-01-18T06:29:16Z","type":"item","id":"Q2881099","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 6021348"}},"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":"Q2881099$2717E139-4A83-41AF-8221-75D79D4CA913","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0d0b3e333f64b81adef391611bf4ecfd7ea14ab","datavalue":{"value":"1238.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881099$2DA8F082-00D3-4578-A766-FE39913C6AAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2276bcf4915a89fd87f9fd4b77aef020dc324de5","datavalue":{"value":"10.2168/LMCS-8(1:31)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881099$3EE127A2-88F9-4BBD-AF4A-3DD57929CDDB","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":"Q2881099$7E34CE68-E877-4440-8DB7-3AB152896167","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":"Q2881099$3E93BD06-B413-4A7D-9C47-BEAA733EC452","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881099$2907E4D8-F27B-443F-A00E-97E0FF986300","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2881099$EE24A014-DF05-4A5E-9655-0AA18AAE9E6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881099$7A15A4CD-5D38-4D76-BBF7-7C48ED0DDA26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"835a289c83f15e06405f96cfee55d60069f11324","datavalue":{"value":"6021348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881099$EA1BD0B2-2D5D-4A03-A60D-42C2CA548B4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881099$D22BE0BD-5C1C-48EF-92FF-A995C20C6B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881099$D92AE3C7-F686-4A97-A6B7-E2E69C3722D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93d8bbdb24dfb6921cb381705ad1a6d8b458da33","datavalue":{"value":"equational term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881099$D97B6583-3394-4115-B372-FA3EB3536F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e920e6759175ec72df3c62e63c71d08f5c1d00e9","datavalue":{"value":"confluence modulo equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881099$3EAA852B-A14A-4F93-A89B-A7C8694E6765","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":"Q2881099$22CD3C39-5C9D-45C9-B5D9-1F8B3547047E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dbbd686c921f2fb7d9c5ebb32745db23e8f2ceb","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":"Q2881099$BBF68854-D755-40E7-845B-3EEE03B4F463","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f36bf06096d881d13221e34feaf90359c30784","datavalue":{"value":{"entity-type":"item","numeric-id":5389075,"id":"Q5389075"},"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":"Q2881099$25007C5E-FDC8-40C0-9760-182C526AC48D","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":"6f33d6d77970a1458ab041d107813d94f0eb011a","datavalue":{"value":{"amount":"+0.8572045564651489","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":"Q2881099$B27A3232-6EED-46BA-8C99-72E782A3E79B","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":"ed17e327f5c94e4c4e3cf751c80aec4009c4ea78","datavalue":{"value":{"amount":"+0.8096283674240112","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":"Q2881099$D14276AA-985B-46F1-BAC3-A6B2C57F27B1","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":"d45e8a559e5495a7566f9164820c7aa01f0be41b","datavalue":{"value":{"amount":"+0.8063461780548096","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":"Q2881099$C81A4F92-093D-4A3C-B293-59EAA51DEA69","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":"ea5d1a14d3b6ca30172b41b1869fec7014cf0886","datavalue":{"value":{"amount":"+0.8028335571289062","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":"Q2881099$4AA44A4A-E486-4568-A3FF-9839F99928C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2881099","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2881099"}}}}}