{"entities":{"Q5389147":{"pageid":7418721,"ns":120,"title":"Item:Q5389147","lastrevid":51453752,"modified":"2026-01-18T07:44:51Z","type":"item","id":"Q5389147","labels":{"en":{"language":"en","value":"Computing critical pairs in 2-dimensional rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6027902"}},"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":"Q5389147$AF916521-09F2-4787-ABB9-9AE43A512C49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ca48de7588e49389020096557f0d9e8c6b48848","datavalue":{"value":"1236.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389147$24524C2B-B8CE-4ABF-A8AD-BA348EC8C1C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a43cf0a9bf485d009abdf07da36233316c201547","datavalue":{"value":{"entity-type":"item","numeric-id":265806,"id":"Q265806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389147$7BDAEEEB-F20A-4D3E-A723-42901DB47AE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7127bdd4a8e1ad01c2e7468e6ab34969b5f3188","datavalue":{"value":{"time":"+2012-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5389147$8A78E45E-4751-4A98-9FBD-64FBCF1032C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ca8783149f7d3bc38c5da5e35e4e2f0db776a7c","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_8f45.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5389147$C4B665BB-6F90-4196-A593-A485DA898062","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389147$2499DF80-5E67-487C-BFA1-16C37E12678B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7926920502e840ea85a1204555f93e1d798d50f","datavalue":{"value":"6027902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389147$0C966865-7E24-488B-8B3B-09C2E09480B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcfb0301bb17cb416489e95a0d2e3c5b1efbac9","datavalue":{"value":"rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389147$2C072B5E-A71F-4F5C-B8B4-FE57AA7A3431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58c34cfe223316591f56cdf41b66e4b6aa918f66","datavalue":{"value":"polygraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389147$8D4D27E1-B750-42B8-9109-C64297DDC5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96079492089e0343bd65443753c9dc00528e6aea","datavalue":{"value":"presentation of a category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389147$564EACD3-E274-4284-911D-74512FC3C754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"840232c250b1e1458d71cfdc7fbe467b8d493361","datavalue":{"value":"critical pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389147$D30907C6-683B-4D32-8C3C-588B2FC80C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389147$98084B45-4236-4F6F-B9D1-9A42788AA67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389147$9BAC57A7-7A72-4ADA-AEBA-B3B5DE9E080E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0b228eddb781a4abf1ac4a21684980e1d3aa8c2","datavalue":{"value":"compact 2-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389147$5635C552-250F-4ED0-95A7-2BF9EE9360A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d668889f77f3e419bed3147b829f1a444275662","datavalue":{"value":"context","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389147$3DE6370E-6329-4764-9C7B-0CF1AE9BB770","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":"Q5389147$7191E568-9AAF-4237-B531-A3E2088E0FD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c963011e695b42b14edf174dd7d26404a27fbed7","datavalue":{"value":"W2963644874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389147$B3B7E58D-88C2-4B4B-990F-CFAACFFB0F51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85c9c014b18ce15c5f08fef6c9c7026e7c1ee7df","datavalue":{"value":{"text":"Computing Critical Pairs in 2-Dimensional Rewriting Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5389147$434C37BB-4A5A-4B57-B9BA-0EC8A661F3E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9ddace6a09f3eb58338b7a7065855ff08371c3f","datavalue":{"value":"10.4230/LIPICS.RTA.2010.227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389147$285995AD-1636-4F76-8629-E6D03AF84195","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8768ae01efdcd6934ea6593a0487e2fcf4d49c61","datavalue":{"value":{"entity-type":"item","numeric-id":5417740,"id":"Q5417740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915bd909d5c4d8e735bc90b611abf9748f4c3b15","datavalue":{"value":{"amount":"+0.8959922194480896","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":"Q5389147$C40081C1-DA26-414B-A232-42710CFF1391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143b9072beb81181413c7313177be3d25106dc9c","datavalue":{"value":{"entity-type":"item","numeric-id":3138543,"id":"Q3138543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a34c86577d0472e79c2409f17263c4e149c908","datavalue":{"value":{"amount":"+0.805161714553833","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":"Q5389147$376AB5D8-6033-4541-8753-26143D5A5A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea2d22552f121c62f5068e1b3678b0263e25f1c8","datavalue":{"value":{"entity-type":"item","numeric-id":2504386,"id":"Q2504386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ddf3a2b945bfcfe6d20fed1bc3363b45da0b59a","datavalue":{"value":{"amount":"+0.7805633544921875","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":"Q5389147$D7600BA0-E11F-47A3-BC0F-8C838476BDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43d8aac7f7682564360a5a6ded66908de1c9c85c","datavalue":{"value":{"entity-type":"item","numeric-id":2463397,"id":"Q2463397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec4a6c5f7856f480df43843f370907100ae35a7","datavalue":{"value":{"amount":"+0.7585623860359192","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":"Q5389147$A4EA8560-F4A3-4E68-A184-F9F84EF569D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b957453c39762a391b73f0ba51bbc9209cf83303","datavalue":{"value":{"entity-type":"item","numeric-id":3646431,"id":"Q3646431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14b8727e2a14ecf6b9e0a4de016b08331beb8868","datavalue":{"value":{"amount":"+0.7521197199821472","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":"Q5389147$F9BAB7B0-62D8-41BD-8BA9-DEA69DB48F00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5389147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5389147"}}}}}