{"entities":{"Q2180238":{"pageid":2190981,"ns":120,"title":"Item:Q2180238","lastrevid":82575296,"modified":"2026-05-06T21:13:59Z","type":"item","id":"Q2180238","labels":{"en":{"language":"en","value":"Automated proofs of unique normal forms w.r.t. conversion for term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7200369"}},"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":"Q2180238$8119946F-8A2D-4D6A-8542-6317085F4947","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db6676d73b43072ac83993f9547ec36bc2899917","datavalue":{"value":{"text":"Automated proofs of unique normal forms w.r.t. conversion for term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2180238$7502CD41-4066-42D5-A7F4-8EB38F8E82A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10b97e23ad153e7c210c5f013412fcb4c6d54513","datavalue":{"value":"1435.68361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180238$0C433362-EE2C-4A5C-90F7-0CFC0488E633","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d55439dcf3f6c827ae2e4efd5eca75df86786b1b","datavalue":{"value":"10.1007/978-3-030-29007-8_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180238$0C0BE5A7-F78F-4AE0-A1A5-886F029FA31A","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":"Q2180238$AAFEB814-0B7B-4E85-AAC4-B469A827DFFA","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":"Q2180238$F44C4E19-502D-4921-8B95-37232F99176C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d0c48627b068f854a947856c3807165d49ca3ba","datavalue":{"value":{"time":"+2020-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2180238$D2DF12AF-24B8-4153-A838-65CFA0519DB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"feff04b96a282a2d6173d2e00925e3e9c5abb4f5","datavalue":{"value":"https://arxiv.org/abs/1807.00940","type":"string"},"datatype":"url"},"type":"statement","id":"Q2180238$923E3D19-1631-4960-B632-A6966725DD82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180238$1ED653C0-638C-4E07-AEAB-AC03A1BF0A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180238$72E4AA3F-5C61-4014-AA33-E8B36E8337D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"751d76ad24f26514cb957c54559473f2ca242ae2","datavalue":{"value":"7200369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180238$F0C2FE21-6E44-4917-BD17-410490ED7DE5","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":"Q2180238$609FA406-FAF7-4816-B482-068A8D23E162","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0b0c3799dc66679d03608dbb04d8ed00eb9cac0","datavalue":{"value":"W2970469945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180238$E1323941-79BE-4A0D-96D1-703CA8969BB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd892a143356a3b3320749c2404bfc8f84955e3","datavalue":{"value":{"entity-type":"item","numeric-id":3636821,"id":"Q3636821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97593913189adeb8fdf9b895acea0949e314db68","datavalue":{"value":{"amount":"+0.7982877492904663","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":"Q2180238$4BB5E63D-FF45-4EAD-9611-3EB366E0A636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87bae5dbc9fcacdfce183694abcdf22459182f2e","datavalue":{"value":{"entity-type":"item","numeric-id":674762,"id":"Q674762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff70dc81a3b7532586a38dee2a47e4649f588b65","datavalue":{"value":{"amount":"+0.7795711159706116","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":"Q2180238$DA25BAC6-B60A-42E2-B58B-F7CF3CE58AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a014314b21efa0a95c8a2a62bd509afb2d1ab4b","datavalue":{"value":{"entity-type":"item","numeric-id":5055726,"id":"Q5055726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db16df0e533e7bee4c0c1c39aaf25cf79e084b3","datavalue":{"value":{"amount":"+0.7771609425544739","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":"Q2180238$B340AA16-D4D0-4673-BFEB-CFD1A5BB1B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68b191259e00cd0e07e2057441f0cab2918f7f2","datavalue":{"value":{"entity-type":"item","numeric-id":3635996,"id":"Q3635996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13ba2b8f300d54d59012bb1bd2dcdefce21409e4","datavalue":{"value":{"amount":"+0.7757839560508728","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":"Q2180238$0A8505B5-E809-4FE9-878D-E84111719F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0972e4d2b6fd3df14971f7798cf335a5208d5a9b","datavalue":{"value":{"entity-type":"item","numeric-id":2956727,"id":"Q2956727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"883a328d79475ec68e71417b88d9b51acfaf0943","datavalue":{"value":{"amount":"+0.7695559859275818","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":"Q2180238$E126F53E-68E3-442A-BA22-63E1FEB11AE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated proofs of unique normal forms w.r.t. conversion for term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_proofs_of_unique_normal_forms_w.r.t._conversion_for_term_rewriting_systems"}}}}}