{"entities":{"Q672714":{"pageid":674563,"ns":120,"title":"Item:Q672714","lastrevid":63463050,"modified":"2026-04-11T13:20:12Z","type":"item","id":"Q672714","labels":{"en":{"language":"en","value":"Modular termination of \\(r\\)-consistent and left-linear term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985149"}},"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":"Q672714$4AA297D5-5508-478E-8F8F-EAAB75E24A68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81c389b950856df5ba43bffeb2efd32fa2073769","datavalue":{"value":{"text":"Modular termination of \\(r\\)-consistent and left-linear term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672714$DA2D1115-973A-4DE1-999B-7E57F9C09395","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2b32ce80caf3ce0287fda015f6cb8865e73216d","datavalue":{"value":"0874.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672714$5A49DF8A-8891-409D-9700-D5FB728CEA84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1534a2ba5efbd70269d6cace12d65d7b01e4ea14","datavalue":{"value":"10.1016/0304-3975(95)00080-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672714$715637EF-58FB-4485-A1EC-D93E50096E3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5fe756d762065e872c5b2f1b24a2e47b910cacd","datavalue":{"value":{"entity-type":"item","numeric-id":672712,"id":"Q672712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$5B0E324C-33C8-409A-B476-F7EB3D454354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aec9df93aaa13eaae0916bf2586a0cd48253855","datavalue":{"value":{"entity-type":"item","numeric-id":672713,"id":"Q672713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$93374384-7EB9-40BC-878E-CC2F170CCEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$F66CD432-60C8-41F7-AA79-6FEFBFB3D143","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$2377DEE2-DDDD-4528-B9A3-F0B5BD9A8880","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672714$43B856DB-4B0C-455E-B389-DC24997BA8AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672714$D0EF0C5C-F4D2-45AE-9BAA-C1ECF9DF8CF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1491e9861c70e8fd1abffae2dbb074a64f7d5674","datavalue":{"value":"985149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672714$19C64B43-EC2A-4FB7-9713-8394C2232117","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q672714$2249D2C3-45ED-4767-B90B-99B910EBD4E6","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":"Q672714$DBDAD8E6-82A5-44B4-82F1-DC333D673FFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e68522e480793ad08c3035e092f5d824e5fae6d","datavalue":{"value":{"entity-type":"item","numeric-id":3783521,"id":"Q3783521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$234D05F8-1F8A-4C21-84E6-65CF1D710C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$4A71BD4D-AF22-488B-8197-0C60CD0062A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$63FC12AC-B837-45C4-906A-B5270E0E16ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047ce2d6a06e1b5fad6f5127301a6dc996f08010","datavalue":{"value":{"entity-type":"item","numeric-id":4692463,"id":"Q4692463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$DA68B736-FFF6-468E-94E6-8BEF6F92AAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692c7d5d1d410b0e1545d4034aed9921102bca15","datavalue":{"value":{"entity-type":"item","numeric-id":4255514,"id":"Q4255514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$C6BA2192-836E-4A87-8D30-EDF86FDEE6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$97A629D5-4A91-4310-8A9F-576E36038713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$5A4C035A-41B3-4ABB-BC78-E9943BFAAAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd60be47293253358ba74bb442e708c9886ffa69","datavalue":{"value":{"entity-type":"item","numeric-id":3994202,"id":"Q3994202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$990C1557-19DA-4319-81FC-15554EB16B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554b0be523a661824cd8b4d328b89bd838e4ddb3","datavalue":{"value":{"entity-type":"item","numeric-id":5055813,"id":"Q5055813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$5AC4D834-422A-4DDE-B7C9-60EC8C0CD2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399c4cdf2fc30383b927caff1ca0ff9ad8e69425","datavalue":{"value":{"entity-type":"item","numeric-id":3204048,"id":"Q3204048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$3455895F-79BF-4BC2-985C-8FA3B8BEDDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73082194760b2ca2ddf549af4f20d67097ed3f50","datavalue":{"value":{"entity-type":"item","numeric-id":689098,"id":"Q689098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$E0736052-0336-4A56-80A9-68EB429748F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41fcdf09b2e5e83a2568ad6dfe66132bd375837a","datavalue":{"value":{"entity-type":"item","numeric-id":5055759,"id":"Q5055759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$40CCFC82-0035-44B2-89FB-13D9FFB7D0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dafa9463b7aae27917c87d2d898e60c5e87e766","datavalue":{"value":{"entity-type":"item","numeric-id":1911401,"id":"Q1911401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$68436175-8E8F-4A35-86FF-0ED4CE5CF952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389e567af85e6af5e848b8eb33a80c43176d4e28","datavalue":{"value":{"entity-type":"item","numeric-id":5458804,"id":"Q5458804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$F040A253-A6E7-4F3A-ACC5-A3588A6BBE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8c39dcf1cd87a28b508e3c9832adf61306c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1108785,"id":"Q1108785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$A9FCA68B-6425-48B0-93D3-7A19431F3627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25c898898b618a08f301331a46c4d1e466a4aef","datavalue":{"value":{"entity-type":"item","numeric-id":582270,"id":"Q582270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$78656C88-C960-4B16-BF19-6195708E63CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52993d82a0ab7d20a5a52eff1d3b454c784598a7","datavalue":{"value":{"entity-type":"item","numeric-id":1107975,"id":"Q1107975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$A115EA7E-A0E1-456D-BCC5-C76540026801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$84F7652B-9337-4A7A-B004-EBBF743F44E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc336279bc6b903ae5d2dab95cf7cb212cfd164a","datavalue":{"value":{"entity-type":"item","numeric-id":4369898,"id":"Q4369898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672714$1931A007-C35B-4375-A292-BF8EABC29403","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9722bd7704edd49a7b67aecb295ea086ac06ff74","datavalue":{"value":{"entity-type":"item","numeric-id":1349693,"id":"Q1349693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85fa38d55729f78f9083f51ab4298d14c2bbf140","datavalue":{"value":{"amount":"+0.8820805549621582","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":"Q672714$03F28F0A-688B-40DB-84D5-D7BB4C97CB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7121f07416fb4ad7acc1c8f55fde6f8ae46de3f7","datavalue":{"value":{"entity-type":"item","numeric-id":1328180,"id":"Q1328180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fd98a53b461b5886ec8763c7592f1fbaa186c0a","datavalue":{"value":{"amount":"+0.8716481328010559","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":"Q672714$FAAB1D30-DB84-4D87-89BD-D20B85905383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb463026b8822221681c84ff38cd19b67fc383ca","datavalue":{"value":{"entity-type":"item","numeric-id":910207,"id":"Q910207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e73953d0447838e3bf69a85bb99c1725c758745","datavalue":{"value":{"amount":"+0.856501042842865","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":"Q672714$35AA0698-F561-42F9-825C-F8C3BA10F8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa435edefb50e75e46962ef2429e735f4f67e468","datavalue":{"value":{"entity-type":"item","numeric-id":2496298,"id":"Q2496298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5235729bad88339483a282ae82500db1be176403","datavalue":{"value":{"amount":"+0.8553199768066406","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":"Q672714$407BF89F-4ADB-4A6D-BCBD-EDE6EC1824FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular termination of \\(r\\)-consistent and left-linear term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_termination_of_%5C(r%5C)-consistent_and_left-linear_term_rewriting_systems"}}}}}