{"entities":{"Q1108785":{"pageid":1119534,"ns":120,"title":"Item:Q1108785","lastrevid":49205263,"modified":"2026-01-06T18:35:51Z","type":"item","id":"Q1108785","labels":{"en":{"language":"en","value":"On termination of the direct sum of term-rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4068260"}},"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":"Q1108785$F97568B3-C101-4219-8FEC-2D8EA116859B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c72b41ac81b9ee18c0f7d88ecb2b18eb08892d62","datavalue":{"value":{"text":"On termination of the direct sum of term-rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1108785$F103FA1B-3471-470B-B697-CC80B34B96BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cbfc2ba09662731d5a2ad7721ea0abb9aea38ed","datavalue":{"value":"0654.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108785$078E2719-15A0-4708-8854-C489B7FC63AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6effc4f70c0a9eee51d4a9fe80f498c98d435eae","datavalue":{"value":"10.1016/0020-0190(87)90039-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108785$39361BBE-0433-46C3-873B-57328AF27AA4","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":"Q1108785$EE623A63-E0F2-4213-B651-3118EC0B67E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1108785$22E7B86B-9026-497C-A305-713182AE1DB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a2c093dccc1c0a1bf7e5e2fdfde794920603f2e","datavalue":{"value":"https://hal.inria.fr/inria-00075874/file/RR-0679.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1108785$60057578-B9C2-4C33-802C-09D4AD7A8B1F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fd67f92dc1336ea18445fdec0d5c4d4da1b2b19c","datavalue":{"value":"Some sufficient conditions are given for the termination of the direct sum of two term-rewriting systems: either no right-hand side of a rule is a variable, or no right-hand side contains more occurrences of a variable than the corresponding left-hand side.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108785$AA86E70A-FBA5-4B2E-8225-5A3C61E07D32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108785$C0B523F3-E8D6-42A5-A896-85A14BF3FC11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"567e1a3d8c745ebb5acc8d54e171763229f27342","datavalue":{"value":"4068260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108785$8580A4E1-3045-4097-8378-8628196C1991","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108785$5C0C6806-A71B-4039-B825-69543B57D504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1afaf009f88bd8c7cab89448aa01726b37534c7","datavalue":{"value":"direct sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108785$BC86C339-5B43-42FE-81E8-E8A5DED16F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86596926edb31549e2c97dc09164e7228d03fe08","datavalue":{"value":"term-rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108785$B5E67BAA-1A76-4CE3-995F-6278ECE7F609","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108785$8A6687AD-B6DC-4307-9431-33BF3237408F","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":"Q1108785$C8CCA518-D266-44E3-8713-B4474D5F4DED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbbcd2e327aaa51bf20f32f338bb96d91201a0be","datavalue":{"value":"W2017284475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108785$06F64E63-A277-44D7-81C4-5E073C5C6910","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108785$300BB8E7-82CE-405B-B436-96E7ABE92962","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":"Q1108785$3BE363B2-A780-4FB7-A31C-42D92DF18C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108785$202AED78-0F34-44B4-A73E-C1EA764885DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eca81f9fdd20e2c49645c4efb07abd9a2d842cc","datavalue":{"value":{"entity-type":"item","numeric-id":1165004,"id":"Q1165004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108785$96C96060-8D92-4FDB-8A08-421CF0FBF78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e6b612eb3cb0e65ff83e8cd8762940dc520785","datavalue":{"value":{"entity-type":"item","numeric-id":3659124,"id":"Q3659124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108785$0133143A-4827-4A6D-A1DA-C98B962DC152","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":"Q1108785$F7A5EAEE-F3CE-4443-9BDD-0E66062B6DB2","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":"Q1108785$EEF816AC-2858-44F1-A4BC-3DCC64DB603F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0deeb2cb06267117731d61f48ec1b47953178b6","datavalue":{"value":{"entity-type":"item","numeric-id":3716322,"id":"Q3716322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108785$B5B3030B-22EA-4805-90BD-6E6C9228256F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8786abc03153794f3a8d602484714c706cd6d058","datavalue":{"value":{"entity-type":"item","numeric-id":3204048,"id":"Q3204048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eead6f144e4b5823812bd9b069c15331213a2ee2","datavalue":{"value":{"amount":"+0.9281643033027648","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":"Q1108785$43DC180F-86A0-48F4-B596-5D19E2155C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae05816eb13af9f286450af69119e3ac667fb33a","datavalue":{"value":{"entity-type":"item","numeric-id":5055740,"id":"Q5055740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03acb1ce6103932b843cf9444445d26176eb5937","datavalue":{"value":{"amount":"+0.902370274066925","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":"Q1108785$60165771-EBF9-4A0C-97DF-4B2634B66647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b07e30a8c07f76bf0dddac295057ca4b49dc9968","datavalue":{"value":{"entity-type":"item","numeric-id":1107975,"id":"Q1107975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b824d3893842725fec1f2581b442a64e35f53b84","datavalue":{"value":{"amount":"+0.8717352747917175","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":"Q1108785$938D632B-B495-40A4-AFE1-DCEC4941B74D","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":"a384fa6e30ce41a0bff4afc487f98d3ba67724f6","datavalue":{"value":{"amount":"+0.8383268117904663","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":"Q1108785$5C1C2BD1-9FCD-4D97-AF3F-5C4EBD811D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2d6f42f52d0e470da5862c55d4c2ad971a79eeb","datavalue":{"value":{"entity-type":"item","numeric-id":5881180,"id":"Q5881180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a2d1f48b3af328ed5d664fc0542c125a815febd","datavalue":{"value":{"amount":"+0.8361177444458008","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":"Q1108785$204D1BCF-4AC8-4541-9ECC-FA0B729FA462","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1108785","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1108785"}}}}}