{"entities":{"Q2466871":{"pageid":2477614,"ns":120,"title":"Item:Q2466871","lastrevid":44141505,"modified":"2025-11-20T08:12:17Z","type":"item","id":"Q2466871","labels":{"en":{"language":"en","value":"Complete involutive rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5227415"}},"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":"Q2466871$2CFD013A-613F-43D8-99BF-BA225CD8504B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13425f73e3d42e0dec0d1a14bf2a5ef111d6d857","datavalue":{"value":{"text":"Complete involutive rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2466871$62031C0B-FC5A-48AE-994E-3AC5DD08FE5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44553e44b5bb886557c0ea2dbc318e6627d9c630","datavalue":{"value":"1128.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466871$205019E0-85F3-4BC2-9276-350356EB8EA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8338f446d821e30eefd4ccea2a32a3aa70057735","datavalue":{"value":{"entity-type":"item","numeric-id":2466870,"id":"Q2466870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466871$AE429AE1-51AC-4E36-9934-C539C426EEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c5aff57b2a1666f4032dbcf71743e6970361f77","datavalue":{"value":{"entity-type":"item","numeric-id":711377,"id":"Q711377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466871$9DEC95A8-B9A6-4AB4-B02A-45D3D2629F31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466871$D08E4DB7-57B7-4A9D-9497-8CF36A268CC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7492af9f79330cb283838c5a7fab0709e1ba7b1f","datavalue":{"value":{"time":"+2008-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2466871$39EBC55F-68B5-466A-AD6A-40DCC2DCF716","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466871$B8751598-3B0D-485E-8037-AB945647C0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466871$E363E9E3-7853-415D-961C-4733AF812D3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab7ace443f1c0e58cdd13e4e78046f2f0bb2eda2","datavalue":{"value":"5227415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466871$E4D0E9D0-C273-48C6-A31F-885E20B52E5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466871$19EE9C03-3C7A-4FA1-A939-8EBE8E9032D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a59c985dd3aa9be5ee556ed3da954f03c5904f","datavalue":{"value":"string rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466871$762130B8-65A2-4AC4-BEB5-B48DAA98757B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80aed466cb00b4d90fbc833a8e8755358bd64487","datavalue":{"value":"Knuth-Bendix","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466871$DE7D1DDC-7D65-427D-BF57-C43C7379C87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a286827708b93bd846853911b80015bcfc4312b","datavalue":{"value":"involutive basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466871$E5164C16-B037-4BA6-B24E-F9314EB860B5","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":"Q2466871$35E57F96-413A-4C0B-9CFB-2E1911473A34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfdead86e4e188c9ccbbda93b52fe66cf245adcc","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2007.07.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2466871$96367A1A-0E29-45CD-836C-E3D4CBDF3909","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cd564db3e1c75d6e6dedf4cc54b3ce52dda4aa5","datavalue":{"value":"W2122714477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466871$6AE1903E-842D-42F8-A6F6-B26BAD6CEFF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15800a33fea8ddbd0031c5983e5f48efcededf00","datavalue":{"value":{"entity-type":"item","numeric-id":4394981,"id":"Q4394981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466871$2966DBB4-0DA3-46A6-AB51-D2C21DDCD124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb355f8cf92a1288dbb76875f322594d26040f6","datavalue":{"value":{"entity-type":"item","numeric-id":5486584,"id":"Q5486584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466871$92D82C5B-B049-4823-BDDA-0F8FE4185C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f889736410993031b2e183ce42b8c3278baf27","datavalue":{"value":{"entity-type":"item","numeric-id":1404736,"id":"Q1404736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466871$8D800A21-E49A-4745-B2E2-8A3144A9D0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af2684320e7f18775d78c93c9da068ccfece027c","datavalue":{"value":{"entity-type":"item","numeric-id":1404737,"id":"Q1404737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466871$1EB21ED0-74E0-4B53-9AD1-3C7512347BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d364a8676464987cd110c5024beda72c85133a","datavalue":{"value":{"entity-type":"item","numeric-id":2760212,"id":"Q2760212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466871$445CBBBD-61C9-4C4D-B7F2-B344E91FE0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299c6edcd96dd09a30f304fadb8b4d29cad813b9","datavalue":{"value":{"entity-type":"item","numeric-id":2702049,"id":"Q2702049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466871$EF134615-88CD-4438-8D74-F922EDB8F4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d4e96cbc53baac7a69192fb201703100ea86902","datavalue":{"value":{"entity-type":"item","numeric-id":4463898,"id":"Q4463898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466871$DB8B61C7-FD4B-4C09-8064-309EDC8A252A","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":"Q2466871$C58C5CA8-684F-4D55-A330-2FDCE0400E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c84260f5ee3ad2445557fc39167de064be1f0bb","datavalue":{"value":{"entity-type":"item","numeric-id":3808248,"id":"Q3808248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466871$F308F4BD-7191-47CA-AF2D-0C8D5A5654FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a9db058a40ba15ebfbc301f807be06a0bb95af7","datavalue":{"value":"10.1016/J.JSC.2007.07.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466871$32CB35E1-4B58-4C23-BDB5-730DD19E6511","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e5073862a29f2c508fd4cd4072bc975a4b64607","datavalue":{"value":{"entity-type":"item","numeric-id":3757892,"id":"Q3757892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c6d6bed669ff278efaee6450dc59534f28c8aa2","datavalue":{"value":{"amount":"+0.90805495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2466871$DE6CB26D-30F1-45B2-BDD4-3D52324A3355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25fe34032f914519d13607676ce03e922b029be6","datavalue":{"value":{"entity-type":"item","numeric-id":1815344,"id":"Q1815344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e2c246925df9c09379eb042a38b4e71b196742","datavalue":{"value":{"amount":"+0.89475375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2466871$EFD71B39-4FE2-4914-AF15-D34E86B7CE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516dd297a14393600224b343aca8705e81d0953a","datavalue":{"value":{"entity-type":"item","numeric-id":3347284,"id":"Q3347284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed1cebfd7513edc9a008c89c2efe27b31e6ba5a0","datavalue":{"value":{"amount":"+0.8907122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2466871$6BB51919-3BD2-47EC-B68D-88E13CD39145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a4690dad1bf660794e1148bd6b0d6a28b6b1784","datavalue":{"value":{"entity-type":"item","numeric-id":4942275,"id":"Q4942275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d1fa8b832dbdf0b4b2e197f7b2f24c7bf3f649","datavalue":{"value":{"amount":"+0.886628","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2466871$7928DCC6-0174-444B-A893-5975464C4291","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":"5127694cb92ea67d51e9fa463551dd78c0730fcb","datavalue":{"value":{"amount":"+0.88540745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2466871$5B8212C6-C6B2-4C49-82C5-C976EF026572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9d711bc585664a7272a1995efe6d08da180e94","datavalue":{"value":{"entity-type":"item","numeric-id":5461660,"id":"Q5461660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8973ee1f7b0be1d6c894dec7d54e596e1102871e","datavalue":{"value":{"amount":"+0.8844182","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2466871$96433E2B-8DFB-4A13-934B-FA7F9DAFEB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fda13639c41410bd7c1011f45ca646538e59705","datavalue":{"value":{"entity-type":"item","numeric-id":477588,"id":"Q477588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48fbc52ca902c6c583eb2ed57645f050fc00fa09","datavalue":{"value":{"amount":"+0.883609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2466871$733D78DA-4365-4DCE-AAC7-15F2F4D9D2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ebd0079f8ac362e7436be5e592a0e4c239758d","datavalue":{"value":{"entity-type":"item","numeric-id":2399863,"id":"Q2399863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ab9e7ee960407987450a22657d4b8e89ed19ad","datavalue":{"value":{"amount":"+0.88345873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2466871$ACCD52E7-1F14-429F-BB30-3DFA5A959E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f2cf81c71117b52c00822600c206af10849b8e","datavalue":{"value":{"entity-type":"item","numeric-id":4255520,"id":"Q4255520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba8ef1f2529ffb8076d4c2d1356cc0f8c1f72173","datavalue":{"value":{"amount":"+0.8792939","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2466871$995492BB-3BEB-4398-914C-918B9CE9610F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85a4a6a8102781341cefe1f38188188080abfb03","datavalue":{"value":{"entity-type":"item","numeric-id":2728864,"id":"Q2728864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd14a0dcec5e295b299c62b352d92ff8928dbf8","datavalue":{"value":{"amount":"+0.8773838","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2466871$05A934D3-68DE-4AD9-AD39-A37818D63ADF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2466871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2466871"}}}}}