{"entities":{"Q2829264":{"pageid":2840002,"ns":120,"title":"Item:Q2829264","lastrevid":52660106,"modified":"2026-01-23T05:18:38Z","type":"item","id":"Q2829264","labels":{"en":{"language":"en","value":"Certification of classical confluence results for left-linear term rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644750"}},"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":"Q2829264$9F34A4A9-559D-4123-B333-33805E563B9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d52b8a63e1d0433345102b186eda8fc8a8a7e69a","datavalue":{"value":{"text":"Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2829264$C63C3542-DFF9-4F2B-801E-BB643F75EEEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d5eadd8ce8f6fa35118a8becf3c01cc38666a33","datavalue":{"value":"1478.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829264$515BFFA9-C737-4A86-A34E-6D7CFA975BFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b0830a1c3601e73a76a86f1b72f265548045ad0","datavalue":{"value":"10.1007/978-3-319-43144-4_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829264$D1C57B2A-AAB8-4C87-AF4C-FC94070C92FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"285123987aa9e1ffbf687d76a0608e8864735cea","datavalue":{"value":{"entity-type":"item","numeric-id":2305422,"id":"Q2305422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$E6145C11-26E4-4A19-ABAF-1A913C27515A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$02F9168F-DF3E-4200-BA5C-ACB66A521043","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$451D3C32-2700-4B5A-845C-A3A29F6B2E92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2829264$15BE0A28-37DD-4B9C-A101-9A040DEE8001","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ca5bc97a1d319389c7137930c54b7d7845de915","datavalue":{"value":"http://qmro.qmul.ac.uk/xmlui/handle/123456789/37303","type":"string"},"datatype":"url"},"type":"statement","id":"Q2829264$0488290D-E652-4625-941B-07A344DB70A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829264$8D17CF78-76A1-4E92-9AEF-E73E6CCF5D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829264$9DA10760-04BF-438C-BCD9-88002E2FBB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829264$5F780EB3-80D9-4112-91FC-343F9184C503","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c87785873328b540f582cdfc71b51e01485bd83","datavalue":{"value":"6644750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829264$83C8CF22-B197-40F9-B86D-42CAFFC8ABE5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$D88DBAFD-5DFF-44BD-9DE0-5A621DC1AC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$29E0AE6E-4743-4DF5-AA52-E3A98C7B6647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8e7deacad56e3bf59f522de6c1fa96858f2fd494","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$F2107853-9D08-4DB4-8044-F4A2591B77DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0bbb745e5682c56c3ac55ea94384cf87e1743f67","datavalue":{"value":{"entity-type":"item","numeric-id":21746,"id":"Q21746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$FDC2698C-A505-4FE9-B2D8-DA8979F35B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a9b3dc574c0b3e8d76e3da5ff7e6f8954a31dff","datavalue":{"value":{"entity-type":"item","numeric-id":22071,"id":"Q22071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$B33EC978-2CA2-4E61-A5B6-29E8444586D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"807abfd643a80b9563d3a52b6b7ec5027e5a41c5","datavalue":{"value":{"entity-type":"item","numeric-id":22075,"id":"Q22075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$8EEB5392-99AA-43EF-B033-C969E654C519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e916eb1dc395e3830d6317d3e8aefcb052d11440","datavalue":{"value":{"entity-type":"item","numeric-id":21785,"id":"Q21785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$6333D1CE-D4D2-4C4E-9B17-311FC467A8B3","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":"Q2829264$D2C9BF19-A4D0-4712-8444-A76BB4E277A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4aae8754d8245457dd720bfe48b4a61fd331666","datavalue":{"value":{"entity-type":"item","numeric-id":25547,"id":"Q25547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$27E3C23F-4CF5-4E54-8261-D84A6D3EF7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$C348CB25-E464-4D66-9F59-C90383EC2418","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":"Q2829264$573671C2-D141-4444-B9BB-7D47A218A5A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b70e3556c63be70d9f532067c300b6230363f76","datavalue":{"value":"W2489846514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829264$DC1FAEF2-9119-4196-9C8A-FE61993C948E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a479a363657e43b6143e69b7f9e5c4587f34570","datavalue":{"value":{"entity-type":"item","numeric-id":2849497,"id":"Q2849497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$26CA6F1C-8AB1-4769-B8D3-AE4495ECB5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a2bbb5b4d44285ce61bd44fd533431301032d9","datavalue":{"value":{"entity-type":"item","numeric-id":3636821,"id":"Q3636821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$D2F9453D-C130-4508-B9BB-1FF9A292CF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$23229C78-56A7-4CF1-BFE1-D1C742977900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c708f9a64c92fd4de4427f3b37941fff68141d","datavalue":{"value":{"entity-type":"item","numeric-id":3094178,"id":"Q3094178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$98BC5E32-19CB-4B20-BDF4-5603D4B1A4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda024bf3459ed600e76cd7f05ef4d9afb8ddd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5389068,"id":"Q5389068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$F162962F-4FCA-4735-9B85-4AD6A69FABE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"502fe1583c5f7cb9cda10fac9b9eb207a4d311fb","datavalue":{"value":{"entity-type":"item","numeric-id":5404926,"id":"Q5404926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$51F7DC0E-F74A-4701-B5A0-BD9A8F642C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e770f57815e9a0eda25a15c062ea6bfd8b7d74","datavalue":{"value":{"entity-type":"item","numeric-id":1854560,"id":"Q1854560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$736C0124-A685-4945-83A3-53A85B700B0E","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":"Q2829264$2DD80569-AFFF-4089-97BE-5C30C40F7DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a862d0725d390507dd139e91d341626a1c0c8b33","datavalue":{"value":{"entity-type":"item","numeric-id":2891456,"id":"Q2891456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$D39CDEF8-1E6D-43FF-9315-7983639C6E0B","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":"Q2829264$397CC932-BDDE-4AFA-890C-37CB015DB6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"580a8b83c26ebe56f49a43141bbbf7fc61419098","datavalue":{"value":{"entity-type":"item","numeric-id":5277883,"id":"Q5277883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$6C1A7EA8-8D68-4452-ACED-D303254BA954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50aed7d8950dad2bb0a2909432ce367f6a31e9d6","datavalue":{"value":{"entity-type":"item","numeric-id":5277884,"id":"Q5277884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$849DAC6C-C44D-4AE6-A0D2-BDB7AABDF375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$60AE0AFA-CCB8-4E04-8BE4-955B9F3D0A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4935ad48e4266d08c483ec2131b1e0a201050d","datavalue":{"value":{"entity-type":"item","numeric-id":1392147,"id":"Q1392147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$F72A404E-63F5-4603-B050-355B2D6FC8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a2d2c67d25a926d2d34fd81a866f6c8bf6e349","datavalue":{"value":{"entity-type":"item","numeric-id":3454087,"id":"Q3454087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$EED412B0-F9CF-4D0C-87CE-3AE4AF902E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$25FFF532-F773-4643-AB64-DEF7DA97F9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7da843fc35ebe015907494c69b23b63fc0a14ce3","datavalue":{"value":{"entity-type":"item","numeric-id":5200045,"id":"Q5200045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829264$9B12AD78-9F7D-4D11-8E5D-D023D054162E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"284b84c6f454d2b2d85422c53fabc832598358ca","datavalue":{"value":{"entity-type":"item","numeric-id":2405266,"id":"Q2405266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9da061449a29d10ceca34e14098f050afcf4fd4","datavalue":{"value":{"amount":"+0.8645331263542175","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":"Q2829264$1BA17BB4-6386-4867-9634-68464891B88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b96dde377c50cba7f7f28c066c1819d01f115b00","datavalue":{"value":{"entity-type":"item","numeric-id":5369494,"id":"Q5369494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b981dea1aff5ae71c13567cfd72d65756bcd4533","datavalue":{"value":{"amount":"+0.8328711986541748","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":"Q2829264$7A3F469F-A0FC-435D-9EB3-95E6C408D96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07fa294c271410ef2c5db771d0520219ccaa10a4","datavalue":{"value":{"entity-type":"item","numeric-id":1623131,"id":"Q1623131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ab93a26d4869ab435f3eeb34541619ded85431","datavalue":{"value":{"amount":"+0.822502076625824","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":"Q2829264$B60656AD-02D8-4BB0-8D43-FF287840DE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1a51a10e36cb812c421b859a331e1592d8c601","datavalue":{"value":{"entity-type":"item","numeric-id":2985126,"id":"Q2985126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1a831efb73e82665c5b3a09016426ca3c24a342","datavalue":{"value":{"amount":"+0.8166134357452393","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":"Q2829264$E85C0ECF-D26A-44D7-B28D-689A793866F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6a8c4e3eb9750e028c99613f2c5588b434fc97","datavalue":{"value":{"entity-type":"item","numeric-id":5277884,"id":"Q5277884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feff379113b56bedefc5d546d7596e992bd158f0","datavalue":{"value":{"amount":"+0.8074115514755249","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":"Q2829264$713EA0E6-98E2-4821-85A9-CC10196B337A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2829264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2829264"}}}}}