{"entities":{"Q910207":{"pageid":912055,"ns":120,"title":"Item:Q910207","lastrevid":65282250,"modified":"2026-04-12T01:31:36Z","type":"item","id":"Q910207","labels":{"en":{"language":"en","value":"Modular term rewriting systems and the termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4139282"}},"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":"Q910207$6B70F4C2-F0C0-4121-80B2-0333F2F554B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6c0b8599f1595ce2586ef90796a9658a0746e04","datavalue":{"value":{"text":"Modular term rewriting systems and the termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q910207$DCEA76F5-292A-44A7-ACB0-1D988329BC00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf6ad5db73c0b5e086957a9fd55dfba143e4c6e1","datavalue":{"value":"0695.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910207$A6C7DDFD-C1BC-45E7-8ED9-2C3BBDF03F37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2a8d2a7c6c70322daf3a0f082a3f8ca3f889ee7","datavalue":{"value":"10.1016/0020-0190(90)90221-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910207$FD7EBFD6-5143-45B2-AF57-0F3229DB1AEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90280e2e9ed9c2da332555686dd4a20a6df5797a","datavalue":{"value":{"entity-type":"item","numeric-id":352955,"id":"Q352955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910207$739870EF-664F-4421-8069-DAD000DEED86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573d049520ba2f85c2309093c6d59bc664270fb0","datavalue":{"value":{"entity-type":"item","numeric-id":910206,"id":"Q910206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910207$274CC647-2D91-41D3-B777-E6C314D0BBB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910207$D0B5CBED-46B9-4274-9EBB-9515BB63C5B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q910207$E6F546B5-7626-424E-ADA8-EDE45998582D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910207$12EB2038-B711-41BC-81AF-D58A821BF502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910207$A7798B51-4ECD-4EBD-879D-DCF9DE212251","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e596f8c4e1821e0db1c8e3b839ebd4e79cfe581f","datavalue":{"value":"4139282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910207$40758174-5100-48D5-95FC-1B701F1810EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q910207$E019CAEF-5E8D-4B6C-9AA1-76E4FD042A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q910207$C0B360DC-E7B3-422A-AA1C-DAAE45A03E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q910207$DCF123D8-17F3-44CF-8F6D-364AC61AED55","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":"Q910207$50C80881-CBB4-47C3-89E0-23A348E56046","rank":"normal"}],"P223":[{"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":"Q910207$E91685ED-9E7C-4FA1-B927-64FC7F8FBE27","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":"Q910207$23F31414-2E17-44D0-903F-3F49C6451F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5e8b14e33ce5508a37941b203d2419e8ded357","datavalue":{"value":{"entity-type":"item","numeric-id":5055726,"id":"Q5055726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910207$7F43A635-9F71-46E6-9D46-AE3F54F0DBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910207$C4AD1672-8D52-4CA5-862B-13F60446CDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e1427fe2cc4f762fdeff53d2b88ac222c2ec52d","datavalue":{"value":{"entity-type":"item","numeric-id":3776590,"id":"Q3776590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910207$18819FB9-108F-48A4-AA52-44C7C79E3C78","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":"Q910207$C5C583C4-781E-4867-AD4D-0A52B8868DFA","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":"Q910207$34143A44-FCD1-4C00-913A-D0A9A0DF0377","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":"Q910207$5B221669-21DE-45C9-9099-BF9161B46DAC","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":"Q910207$9789214B-BEA8-4BB7-9E5A-488D41679D0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88dc6e35a70289eda62f52c1cb9aaa223e683f09","datavalue":{"value":"https://doi.org/10.1016/0020-0190(90)90221-i","type":"string"},"datatype":"url"},"type":"statement","id":"Q910207$2499569A-9596-47C5-9B4A-B39A11B6D05E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca87617f6ea4c1c988c44bcd73e50acc82d8082b","datavalue":{"value":"W2118530352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910207$81C63120-9FFC-4394-956D-8D2905CB4428","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":"7dd6f27fb9abcdc94c7186ca9a4a11fed9b1c5e3","datavalue":{"value":{"amount":"+0.8682928681373596","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":"Q910207$6F8D8CA1-568B-4FC0-92F9-5193A6A227FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84294d6dc34e23b7f833b4eee3ffbd25de6042c7","datavalue":{"value":{"entity-type":"item","numeric-id":672714,"id":"Q672714"},"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":"Q910207$363129E8-1E11-4492-B58E-0DAA595D4FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20efe89d20e675dc45427aaddb215d18b113b756","datavalue":{"value":{"entity-type":"item","numeric-id":2583289,"id":"Q2583289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906f9783510ac48546087eb6d140ae3103e17cd6","datavalue":{"value":{"amount":"+0.8477053642272949","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":"Q910207$FE075B32-A182-4271-A2AD-C9FF3410E732","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":"0730c3ad55fea72ab727aa95e4e20f0c9c729c84","datavalue":{"value":{"amount":"+0.8469571471214294","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":"Q910207$C5D33181-D5AB-4F90-9910-C93D43413770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b088c4659552d05ef6d890b942365a1fdcc9452","datavalue":{"value":{"entity-type":"item","numeric-id":1929227,"id":"Q1929227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2e2971ae1b8db3e70c753d3143a4faa80dc873","datavalue":{"value":{"amount":"+0.845669686794281","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":"Q910207$964B2F2C-8D14-4AB2-82D3-472166C19BE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular term rewriting systems and the termination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_term_rewriting_systems_and_the_termination"}}}}}