{"entities":{"Q876043":{"pageid":877891,"ns":120,"title":"Item:Q876043","lastrevid":65018808,"modified":"2026-04-11T23:46:28Z","type":"item","id":"Q876043","labels":{"en":{"language":"en","value":"On tree automata that certify termination of left-linear term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5143637"}},"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":"Q876043$025995C4-2131-451C-8DC9-1B4C202F19C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35c02e0da34a407dd60d99d186878e232c054711","datavalue":{"value":{"text":"On tree automata that certify termination of left-linear term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q876043$24E1321C-24F1-4793-929D-1E9E67AD4007","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0b5f774a51544687e8e561894dd2a1994f3c274","datavalue":{"value":"1112.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876043$24E3A459-6689-40C3-948B-C8BF3DF1DEDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2daae3e1c4a91d851e44eeb961260350c6d531d3","datavalue":{"value":{"entity-type":"item","numeric-id":851145,"id":"Q851145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$8066990D-E4EA-4AB2-B687-9E07B2EDB364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d6f35fa4c47014185c8455e3f00c2771df4684d","datavalue":{"value":{"entity-type":"item","numeric-id":199240,"id":"Q199240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$20026DE5-D289-4C6B-A2B8-4081622D0937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8608b3d845665df20a4960779896ea8329708b5c","datavalue":{"value":{"entity-type":"item","numeric-id":703574,"id":"Q703574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$B0044E83-3221-4699-A5C8-A90326B2EBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fe5c2c0ffa1d2d66cabf0c3214c913c44ecffb","datavalue":{"value":{"entity-type":"item","numeric-id":505038,"id":"Q505038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$2FE95CDF-2C77-4017-A018-A3B19C100507","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$0E3CB694-847F-4D1E-A1C1-78CE07E3FAE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d952bbb2d53d4bd5a9de3b9e090440b84b7e8929","datavalue":{"value":{"time":"+2007-04-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":"Q876043$71F3707A-6777-48AC-8330-149CAF586203","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876043$60505125-9B11-4CF9-94AB-7EA14B67E661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876043$48430BD9-B205-403D-922B-856D899B5D73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5198cafa5360ca5992a10180e4789f663777eac","datavalue":{"value":"5143637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876043$93789CCB-651D-417C-8598-F8A8162270FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q876043$8B6EC10B-5087-45CA-8977-0D3795DEE96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q876043$7671433D-531B-4E62-8CF2-5397951673BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"074120491efd174a05696a23e9cbdcb7d1aacdc3","datavalue":{"value":"forward closures","type":"string"},"datatype":"string"},"type":"statement","id":"Q876043$B073DE4F-BA5B-4DC1-93F5-22FD131FBBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f48193893536362109debb35203bad8b302cec6","datavalue":{"value":"rewrite labellings","type":"string"},"datatype":"string"},"type":"statement","id":"Q876043$05E6F097-9971-458E-890A-EE821FD4A655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q876043$B1F82BCD-2064-4F4E-AFC5-DF8238D51F60","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9f397c52f37228d72babea7f4da967604853d803","datavalue":{"value":{"entity-type":"item","numeric-id":22077,"id":"Q22077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$B4DAFEC4-466E-4572-9CBB-4B591A6ED2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ab5668d708c884e00e91bf8e8096cfef14a43c","datavalue":{"value":{"entity-type":"item","numeric-id":18478,"id":"Q18478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$DA0467DE-C1F5-4D52-BBCC-142D7AEB680E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$4B32C08F-E306-4419-94F3-BB6046F8EF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$0C2C9EF1-29AA-4557-8569-D8FDEC63844C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$60D5B4A6-D010-4FE7-B53B-3D0A21CECC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"184b17ed6ef8f72f90ef44ecb976296d445c28b6","datavalue":{"value":{"entity-type":"item","numeric-id":21947,"id":"Q21947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$763735A7-354C-4F73-85E6-615586D1A680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6aa9fd56093cfb020406fbde474e52d3eaa56029","datavalue":{"value":{"entity-type":"item","numeric-id":22088,"id":"Q22088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$8D803E95-6D8D-497A-BF2E-92BDCFE10ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"215e268b021d037acb803be5f3846494c13771a7","datavalue":{"value":{"entity-type":"item","numeric-id":22084,"id":"Q22084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$C2DFCC06-B9C8-483C-A326-7802709FCA68","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":"Q876043$DD77EF29-11D3-4845-BBFB-1018A97ED09C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c1ce50958d25e42cb87dd19b1e422bfd9928569","datavalue":{"value":"https://doi.org/10.1016/j.ic.2006.08.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q876043$AC0CA099-C8AE-4B92-B127-28F67F479699","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d774153baeed018078089eedb28afd5e1268ed9b","datavalue":{"value":"W2111433946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876043$8FD9413E-FE33-4BBA-8E50-7A421A7A0F1B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$1EA79754-8185-4D4B-892B-4DB91B289C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a5a19332cdd7c221673f31522d65352fc9bc422","datavalue":{"value":{"entity-type":"item","numeric-id":3917482,"id":"Q3917482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$82635499-DC24-4B58-A142-0045B2809500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5183640ea17aee4713be4cc41f7f144d515a51a","datavalue":{"value":{"entity-type":"item","numeric-id":556686,"id":"Q556686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$EB03ADC6-61D0-4E47-B79B-AA29E26D4FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$293FF0F9-7075-4C30-A005-10CACE02444E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b72966a319699b998b4693b5e56bc40dadff2","datavalue":{"value":{"entity-type":"item","numeric-id":1762560,"id":"Q1762560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$27F3F638-2FDC-45A3-955A-592FAF310693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5a632c7b5ed0e0a18784aadb7347cb234219d97","datavalue":{"value":{"entity-type":"item","numeric-id":5703861,"id":"Q5703861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$16A7651E-15A7-4E7E-B4A1-36BEB51EDE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ebe42065072c2651975ffd42ded54071b5d0dc","datavalue":{"value":{"entity-type":"item","numeric-id":5462118,"id":"Q5462118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$21800508-49A0-43DD-A67D-DF06EF6E37EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a46cb1230e2f4c0a70e3eeec8d1384d627c053","datavalue":{"value":{"entity-type":"item","numeric-id":5703847,"id":"Q5703847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$937A2312-0D6C-44A1-8908-00A207633C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338247f5d8bd51e4605d689a2940f4a8809cb811","datavalue":{"value":{"entity-type":"item","numeric-id":703575,"id":"Q703575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$71BFD37B-278F-4221-BE35-1E9CC639C2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4606d723115f901c13f42c908b94c490b7af2196","datavalue":{"value":{"entity-type":"item","numeric-id":2843601,"id":"Q2843601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$ECFFE63A-469C-44FD-A6DE-C869D80A5C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e49dd04201c59095126ace1b445dd17268a9523b","datavalue":{"value":{"entity-type":"item","numeric-id":1400714,"id":"Q1400714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$23970D05-ACCF-4D23-9733-16B4B2E36909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$62946B41-48AC-4C82-9E78-A6B6DE1BE6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf73e36acd8c530d7cd261bcfd06e8246cdcd8f","datavalue":{"value":{"entity-type":"item","numeric-id":4594226,"id":"Q4594226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$595D916E-FB4B-47AB-957F-C1313A389229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2a604ad8537237bf4f35e0d8826e78ef178beb","datavalue":{"value":{"entity-type":"item","numeric-id":850497,"id":"Q850497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876043$3E45C8D2-823C-4D5E-8DF0-29E8F8BBD9FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b97e84ada2d66fe1143d22b5f6f1c9c8660c30a2","datavalue":{"value":"10.1016/J.IC.2006.08.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876043$E3A9FC56-0055-438B-95E7-E35FF4A7FE38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f76341588833213c6ce03a70e8f79818899278ea","datavalue":{"value":{"entity-type":"item","numeric-id":5703861,"id":"Q5703861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d8f82267555dbd1d847aa448aa003ad77acbe4","datavalue":{"value":{"amount":"+0.9947640895843506","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":"Q876043$B0DE4291-EAED-42DF-A052-50CA5D9F5834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1414861b391fdc54de527428e038164fa3bed9","datavalue":{"value":{"entity-type":"item","numeric-id":3077191,"id":"Q3077191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c5a243379ed0e06ce13bea765b5ce3a19ce0a41","datavalue":{"value":{"amount":"+0.843520998954773","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":"Q876043$BCF40BE3-DD1A-4B6C-AAA7-E56595AD0381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80392d589cecfdcfc2f68b6fda0ce5e9d763801e","datavalue":{"value":{"entity-type":"item","numeric-id":1041044,"id":"Q1041044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b6725a6380ea91877b7da18cca5c7a6b4e7430","datavalue":{"value":{"amount":"+0.8375917077064514","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":"Q876043$A6B620E9-3C23-468D-BA40-B494ADD66912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30a5b6fd6ad07547147e37d40832f2621c2cfa7a","datavalue":{"value":{"entity-type":"item","numeric-id":5463973,"id":"Q5463973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec31a60e346e4ceef4097267f8e683d3860dc39c","datavalue":{"value":{"amount":"+0.8271741271018982","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":"Q876043$AD5A2CFD-CDAE-4914-A3BD-1AB254951A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a06eaa6aca70d7fa017c3699e7fc20fcbfc6437","datavalue":{"value":{"entity-type":"item","numeric-id":5462118,"id":"Q5462118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e1c8c9d3c3a50b66211d634f7b50923278e124","datavalue":{"value":{"amount":"+0.8267354369163513","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":"Q876043$5277A2ED-383F-469A-95D7-E96BF503863C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On tree automata that certify termination of left-linear term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_tree_automata_that_certify_termination_of_left-linear_term_rewriting_systems"}}}}}