{"entities":{"Q5879268":{"pageid":7908819,"ns":120,"title":"Item:Q5879268","lastrevid":57189003,"modified":"2026-03-27T10:26:58Z","type":"item","id":"Q5879268","labels":{"en":{"language":"en","value":"Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7657635"}},"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":"Q5879268$43A3D2F2-2452-4209-BFB5-FC6FE9E2C62F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"313f9ebcf85ed89abe54c338732f8dd50bf86083","datavalue":{"value":{"text":"Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5879268$A3C20AE2-53EB-4D82-9050-B826DFAD7BD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb9425c0fccc56184c6caf157266ad561edfc01e","datavalue":{"value":"10.1017/S0960129522000044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879268$1FAA80D6-17AA-4A2B-8C68-BC172EBF59BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879268$38005A81-CF12-47A1-9FBD-B9EB688CA0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34fb2e6c40dd1f6493ccc47f582ff9490f09b261","datavalue":{"value":{"entity-type":"item","numeric-id":5879267,"id":"Q5879267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879268$3FBB5103-0731-4FFF-BADC-BD5662A4597E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b1bfbcb4e8f5871a00d29a6022e3016b3479851","datavalue":{"value":{"entity-type":"item","numeric-id":235599,"id":"Q235599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879268$78E34C78-8C4A-437A-B759-8AA2FAD54FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17d64add4224d48d3e6a017692fd022ede79a50f","datavalue":{"value":{"entity-type":"item","numeric-id":823307,"id":"Q823307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879268$EB59F715-22AA-4CE7-8351-042618A62C69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879268$E18E6EE9-45F1-4666-9F29-CB5CB91B2E52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f174891c4bb64e0ae9ce793b71bcd4abd9034b6e","datavalue":{"value":{"time":"+2023-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":"Q5879268$4C810307-EB9E-408A-BE37-04FE88687E66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879268$00E8A770-A2AA-4658-9775-0CA42C2EAA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879268$A03C4359-F455-4D17-BFDE-B42D8E684E23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"575f212472bc504d956b31ce5546ee5b96af194c","datavalue":{"value":"7657635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879268$650B848A-25EC-4234-8210-D31527756EF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879268$EF6421F8-102A-41B0-86B8-B97DB12F318D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a96b892af1d49675b22714b8300b4e7e193d0b96","datavalue":{"value":"orthogonal reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879268$C0B4764B-AC8C-4C16-BBF3-121687238229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b08ad5cc243aaeb3e65ad49f2325bf43711510f5","datavalue":{"value":"decreasing diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879268$50BE5364-A694-480F-A5FD-022E2095DC5F","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":"Q5879268$303BBA4B-206B-47C5-B4E6-1C2A9E78FC03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dde94c2eebb9bd684d4a244d063db222d610dc25","datavalue":{"value":"https://doi.org/10.1017/s0960129522000044","type":"string"},"datatype":"url"},"type":"statement","id":"Q5879268$A061EFEF-23D3-44C2-BF32-BE2A8BD87370","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e5009cdc05ca5782cc714c94c4f03874d451f9a","datavalue":{"value":"W4220913842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879268$78D1CBE3-7F11-4779-B5F0-82707C356803","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1f9b4c8eb302068f9760bdb30aaa016c688ec6","datavalue":{"value":{"entity-type":"item","numeric-id":5389133,"id":"Q5389133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879268$397DB4A3-C847-45D8-BE49-8D29BDEEDBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85debdd3bd3577316138c72d2016584d80c3e2bd","datavalue":{"value":{"entity-type":"item","numeric-id":2946770,"id":"Q2946770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879268$BEC34CE4-EF54-4963-A58E-73FE7182DA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"274736e3c02109cf273cdf7bf9017ac1fe6ca469","datavalue":{"value":{"entity-type":"item","numeric-id":2958383,"id":"Q2958383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879268$8F554011-B25E-42F6-8EA1-66B8B05A35F6","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":"Q5879268$D0C9BC1B-20D6-4782-8B56-0A648085FBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51df2d3001c8e72ad1934f2d80cdd4367d4967f","datavalue":{"value":{"entity-type":"item","numeric-id":1929228,"id":"Q1929228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879268$45478B0F-E574-400D-8DA2-BE268E07959E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879268$CAC48427-DC4F-4E00-8985-EE99436BD83B","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":"Q5879268$BCCB22A4-7829-4CDF-99B1-DE0BD6B2D6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6fd749008ce24358e0a61857c0927086aacba7c","datavalue":{"value":{"entity-type":"item","numeric-id":5403076,"id":"Q5403076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879268$CE73C902-F215-470E-9E94-BC474A36A4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4afad5ed0196f7ef83ab00967969971941d7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5351972,"id":"Q5351972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879268$78C11FF1-5436-45EA-B16B-2E2F3EA3BFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3671c04a28b3c6321772a8c859c51ac112c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879268$234514A8-DBA9-4AF9-B312-F431C6045A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879268$CFCF1EA7-38CC-4DBB-9D1A-B19E9FCF0545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70583c666fb181243edc32fb54593edbab1e32b","datavalue":{"value":{"entity-type":"item","numeric-id":1811033,"id":"Q1811033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879268$18F707CB-C3AF-4F79-B215-E6BEC70E578B","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":"Q5879268$D0D51ABD-9A7A-47E0-97EF-7B2966421E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de387b474a5e7630b2d32a58f2ca9248ae0f8e21","datavalue":{"value":{"entity-type":"item","numeric-id":1322164,"id":"Q1322164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879268$894C7907-B521-4D25-85E8-5478C245940B","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":"Q5879268$820AFDD7-1042-4BFB-BC3C-BC8F0A5D5C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e28a8b32df06a79168d48f024922f49649acaddd","datavalue":{"value":{"entity-type":"item","numeric-id":2352504,"id":"Q2352504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879268$D8A35B3D-E679-4C80-8BF1-BD36F8FC459E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237588a6fe4edd6b90ac6a947a7aeb658914a7b6","datavalue":{"value":{"entity-type":"item","numeric-id":4281481,"id":"Q4281481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acfdedbc3471f0ccdd6346823715dabf17cfa335","datavalue":{"value":{"amount":"+0.8051055669784546","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":"Q5879268$6AF0BCDA-C1C9-45DB-B56E-C886D02EF321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf9500bdb0c351e71dae538f51dcde914dd88a5","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dede444b93119e6b6cba499e5fcf0a9e2fbef71d","datavalue":{"value":{"amount":"+0.8036855459213257","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":"Q5879268$E968CAAA-2D2E-4B20-8B72-6099F8B5BD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c954e2d2900d31b8470142a3e3a594c0cee1594c","datavalue":{"value":{"entity-type":"item","numeric-id":1392147,"id":"Q1392147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b43646a85a26b400650233883b1e76e84fd0082f","datavalue":{"value":{"amount":"+0.8032689094543457","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":"Q5879268$A92C7054-D0D0-4919-A865-5F5231FEF4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d7725392132cdba5f03ccf1995b80047465cf0a","datavalue":{"value":{"entity-type":"item","numeric-id":2723890,"id":"Q2723890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29390d1a21cae2f9eb9c799e47d4ef6c083241af","datavalue":{"value":{"amount":"+0.7931047677993774","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":"Q5879268$1D50409D-8068-4AFC-958B-A27C50331AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d5ea8f319beb02881e79c56f126cf784c2a02d","datavalue":{"value":{"entity-type":"item","numeric-id":5170823,"id":"Q5170823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09de1b5c2ea3c74f241b6aba5d49b8d4325ade85","datavalue":{"value":{"amount":"+0.7854678630828857","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":"Q5879268$9A15C4EC-08C5-4E05-B3BD-5E0664A547E1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879268$039E9A1A-7B99-48D7-8A98-8FD465F478E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5879268","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5879268"}}}}}