{"entities":{"Q1187545":{"pageid":1198294,"ns":120,"title":"Item:Q1187545","lastrevid":67070205,"modified":"2026-04-12T14:49:07Z","type":"item","id":"Q1187545","labels":{"en":{"language":"en","value":"Coherence in category theory and the Church-Rosser property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 39465"}},"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":"Q1187545$2F29152A-86D7-47D9-A9EC-51710D141AAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"458f5387f1f06a6bdcbd5ea804cc475b2e1dbf72","datavalue":{"value":{"text":"Coherence in category theory and the Church-Rosser property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1187545$BBC64B83-36A1-4F24-95E2-D93E41B32613","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f242bdc0693cf6a171bb17bba439b07e72843166","datavalue":{"value":"0757.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187545$92A328CF-0B85-4C38-B859-90C7E407FA4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b90fa7a1210e62a50e28791a4ad13f433322428","datavalue":{"value":{"entity-type":"item","numeric-id":584379,"id":"Q584379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187545$0E1A80AD-87D8-4C7B-BDBE-95E1C9E9C7E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187545$8824D7F6-DC79-4E45-A458-58DA4EA21C4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e4d962d2dc96d2f5a9a4662218fd9d693008ec8","datavalue":{"value":{"time":"+1992-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1187545$5D7780A8-B5D0-4B08-87D7-661062C3385F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6777faee1a6bb3a3e612fbffff2e064d86fc3eca","datavalue":{"value":"It is claimed that the set of reductions of Gentzen-type derivations [proposed by \\textit{M. Szabo} in the book: Algebra of proofs (1978; Zbl 0532.03030)] is not sufficient to establish equivalence of two derivations \\((\\alpha\\otimes\\gamma)\\otimes \\beta\\to(\\alpha\\otimes \\beta)\\otimes\\gamma\\). The reason: absence of reduction corresponding to \\(1=cc\\), where \\(c\\) is commutativity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187545$E1F82148-85A9-45F5-8AE7-BF843B3B2885","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187545$60313AF4-CD19-4654-A313-095625F1D104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187545$3EBB6B95-A64D-4AD6-A2E7-B5DFF51FF829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187545$E5EEBA75-1516-4E7C-B6F9-81C5A088CDD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29c2059c4f6cea4dce2b65b906f544e999e95e9f","datavalue":{"value":"39465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187545$32881360-D118-40AE-A0A7-A5EA22845738","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4f978daac89527e0e5d0b756742ed1dbc9f451b","datavalue":{"value":"equivalence of derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187545$3F59F598-8952-4ABB-BA75-B84938E99B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20398a6212545e32c2a5daf1e71400f075d3707e","datavalue":{"value":"reductions of Gentzen-type derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187545$DE3CD009-552A-4B89-A19E-B277DFAD7251","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187545$352017DE-5D76-4359-AF78-D6F0D489C11A","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":"Q1187545$F3936085-3133-45CF-B899-CC5A96FFFB89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81fa02c42d3aedf9e586317775df0983a6a8b6d7","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636017","type":"string"},"datatype":"url"},"type":"statement","id":"Q1187545$90C93CAE-37EA-4F4C-A47C-DA4E4FDCE9D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70eb20433149e6235130f915f661542368f9982f","datavalue":{"value":"W2031437328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187545$50DAFC5B-85EB-466D-9A33-F44E70C3E526","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9619710ab2e8bdc7927a8ab20d1d31b29a30caa6","datavalue":{"value":"10.1305/NDJFL/1093636017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187545$4303ADD9-3914-4CBB-BD0F-86BF3CC11D52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c5abe198bfffc2e27965724acf237116b2d052","datavalue":{"value":{"entity-type":"item","numeric-id":3365447,"id":"Q3365447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"290656a3c5e806e59ffb32190ed249da070ceee4","datavalue":{"value":{"amount":"+0.7553507685661316","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":"Q1187545$CB9274DC-15D6-4B68-AF64-1D32A6181C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f605de60e8287a20a0c473abedccca910682256","datavalue":{"value":{"entity-type":"item","numeric-id":750442,"id":"Q750442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"775e2dd87ad19a2c8cf3aed2189d08a4d2493c60","datavalue":{"value":{"amount":"+0.7034521102905273","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":"Q1187545$D489C4CA-B246-477F-A3E4-19ED890F78D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cef574a817f31a3862134cf4be980388bd4ee129","datavalue":{"value":{"entity-type":"item","numeric-id":2373695,"id":"Q2373695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"198567fea86d1b8a1361f1d0cfa8a4e8b23379cf","datavalue":{"value":{"amount":"+0.6961326599121094","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":"Q1187545$7097F8FE-9B7A-4C61-B5EB-6B5FB26BB8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7809bbf23cf6d18ff1f947180d5f27ea7714554","datavalue":{"value":{"entity-type":"item","numeric-id":1604796,"id":"Q1604796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c138a41a06ba709d11180bc9c59ae21bad4543","datavalue":{"value":{"amount":"+0.6956411600112915","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":"Q1187545$234AD3B9-81A1-4242-9108-097BEFE2F9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cff4e63658153fc92f77969b593bb9a6f68a149","datavalue":{"value":{"entity-type":"item","numeric-id":3972526,"id":"Q3972526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ea197de99977b00295ab338c2048c4574118bf8","datavalue":{"value":{"amount":"+0.6951636075973511","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":"Q1187545$509CCC8D-9554-4E1A-BC07-A428432284FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coherence in category theory and the Church-Rosser property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coherence_in_category_theory_and_the_Church-Rosser_property"}}}}}