{"entities":{"Q3779772":{"pageid":5809678,"ns":120,"title":"Item:Q3779772","lastrevid":52461227,"modified":"2026-01-22T17:12:07Z","type":"item","id":"Q3779772","labels":{"en":{"language":"en","value":"Finite canonical rewriting systems for congruences generated by concurrency relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4041311"}},"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":"Q3779772$53A139DA-BD72-41C1-948D-508C2C048E2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22d0bb2ac0d86ff873aa88d44f8d35cbd94109e2","datavalue":{"value":{"text":"Finite canonical rewriting systems for congruences generated by concurrency relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3779772$591BAC28-7BC9-4320-AE40-7E783BC76DD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bce2c32373da04c03dc117c63b4dc5f6bb33eab","datavalue":{"value":"0638.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3779772$AB9FFD5B-B440-4231-90D7-692AFA9FED90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c78fd7d1a9c9e292a9ab93bc7e85c6a63abd403","datavalue":{"value":"10.1007/BF01692068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3779772$03B9CB0F-27ED-4B76-A743-DEFB2CF22FFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46c7c00558d7121734d489049799fa24953dd04","datavalue":{"value":{"entity-type":"item","numeric-id":287428,"id":"Q287428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3779772$361883D4-B27B-4C07-BC53-AB0D67C55D6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a8d775b0b8ac1723ca563ec42b8bfa391952af8","datavalue":{"value":{"entity-type":"item","numeric-id":3026825,"id":"Q3026825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3779772$A689B5D0-3B86-4660-9372-7158731024F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3779772$7E870E17-7EDE-4EC7-A758-2EE3638F5123","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3779772$D3B0C2A0-15AF-4976-8565-F22479C827AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3779772$F4F9BECD-0F11-4BC1-9941-FA112ED853B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3779772$C6A7B528-ED81-4679-99B5-FF65754FB64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3779772$2FE92D56-7238-4C39-BF2E-1BF2F9D632FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd08cf3504552517c4aab283947913ecb6c55949","datavalue":{"value":"4041311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3779772$6A4506A3-FEA6-4DD9-985F-71E3A8F2C2D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6e39485aee225ec4a293d088b1dfc560fb50c51","datavalue":{"value":"decidabilty","type":"string"},"datatype":"string"},"type":"statement","id":"Q3779772$FDAF8D01-2415-4430-B02E-5E3855E9B163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c00152e581664842660e777c00d35f424a7edc8","datavalue":{"value":"concurrency relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3779772$C01EB3A3-811E-413D-887A-20741A7A5D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b06f809e2a2d49d26b8d7de0f8648aa58d470d7","datavalue":{"value":"alphabet","type":"string"},"datatype":"string"},"type":"statement","id":"Q3779772$984789F1-F0A2-4D59-96B1-A5B474986485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17e9efccf80d0dddb7e99616ac28a0706679bc76","datavalue":{"value":"free partially commutative monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q3779772$D474EF4D-9709-4323-85F5-BF990246082A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea77a4ba4680f7c74964f98c461cf78c2189d0cd","datavalue":{"value":"finite canonical rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3779772$54AEDDE6-15F5-43C5-B9AC-2E690BF8F22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3779772$2377DE05-FF99-4860-8C5B-2D52ACF4182F","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":"Q3779772$2C2FDD09-DD69-4731-9656-CC58833F2F6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d0787b1cc5b37ced50aeab4d936b4e054af97e","datavalue":{"value":{"entity-type":"item","numeric-id":3659975,"id":"Q3659975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3779772$E4D09DBB-57DF-438D-AA87-0C452A6A4786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ed2635b92a0fcffe0089ab3fcfb67f37c400b","datavalue":{"value":{"entity-type":"item","numeric-id":791314,"id":"Q791314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3779772$F84B46AB-B232-4A60-865F-388ACF1B730A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f8caa4d24218ecf63bb6d39ed1b79a4c2266ea","datavalue":{"value":{"entity-type":"item","numeric-id":3936184,"id":"Q3936184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3779772$4C5484D2-7BCF-4A75-B10F-EBFA7EC99B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7308904c25699725e27878eb09aa21880049698e","datavalue":{"value":{"entity-type":"item","numeric-id":4740555,"id":"Q4740555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3779772$FAAE92B8-D426-4DB7-8F60-66F566F2A65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2321ffc17406524f453e4fee8339197a12bf2512","datavalue":{"value":{"entity-type":"item","numeric-id":2536784,"id":"Q2536784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3779772$1572C3F3-822E-4D57-BA2E-12E716235DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf2a01a0ef6feaa31f9c416ebdccea4faeae877","datavalue":{"value":{"entity-type":"item","numeric-id":1087012,"id":"Q1087012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3779772$F6AEFD21-065C-4C57-AC4F-5C8A62AFC086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49716778d2052bc48c41f915a376cfa1f999ef74","datavalue":{"value":{"entity-type":"item","numeric-id":3328583,"id":"Q3328583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3779772$4288B222-D79D-436E-AA79-EAAC61FEC73B","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":"Q3779772$F232B492-2F51-4FBA-873E-59B2EEC90202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6137204e53322ccfd080d9235bd0df957f98274b","datavalue":{"value":{"entity-type":"item","numeric-id":1067781,"id":"Q1067781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3779772$71FED380-C985-4928-8ECB-97D35D64C0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb7e17689f7a32c0ad80890bf5d055b34c49978","datavalue":{"value":{"entity-type":"item","numeric-id":1073016,"id":"Q1073016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3779772$98A4B6DD-CDD2-451E-8B09-6D6B726050BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f4bac577a64da3e0f5b00fa0cb5bd1193d03ad","datavalue":{"value":{"entity-type":"item","numeric-id":1108811,"id":"Q1108811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3779772$4C005BB3-E92C-47CD-815B-AC22BE935A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3779772$C79754CF-2E73-4CFF-A2FF-733CA1A1A81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f36e618ce3d4423b040fecfecf6cdc89017b4f","datavalue":{"value":{"entity-type":"item","numeric-id":3735697,"id":"Q3735697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3779772$BEB074C2-A691-40D2-AAE5-5B7FE94DD86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3779772$258BE2A4-24F2-433B-942D-99A6CD3856CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02db343997ab944980c4626a9c07f3c111caa187","datavalue":{"value":{"entity-type":"item","numeric-id":5055732,"id":"Q5055732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7170c67320da0e4e7281994be3eab216fac111f3","datavalue":{"value":{"amount":"+0.9122696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3779772$5E7D9893-B53D-4A1B-87A7-F223080FEBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ada13ec5e0f75103ec2560e788dbfd8bc12822e","datavalue":{"value":{"entity-type":"item","numeric-id":1089798,"id":"Q1089798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7592954ef7ddea7bc6246792c28ffff97056542c","datavalue":{"value":{"amount":"+0.89589155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3779772$50392380-2C87-43B5-B4C6-C679A33D4644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac4e024fa56b2772751ceb9f7b71554ee9262799","datavalue":{"value":{"entity-type":"item","numeric-id":1262758,"id":"Q1262758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c4008bc8fcd76eb905e95c0db9aa9b81f8cb92","datavalue":{"value":{"amount":"+0.88860285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3779772$F9D86B0B-FA75-4B18-A11E-738ACCC01A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1130dc3bfbfc63200659c797a0bbde12a3e1f721","datavalue":{"value":{"entity-type":"item","numeric-id":4680589,"id":"Q4680589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b3ca0277130e849f7071987933fb45c297d3bc","datavalue":{"value":{"amount":"+0.8877295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3779772$E104C578-FD79-4BB6-A28B-D300EFE6DA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217f54b6c3935910f43ccc6f844514028ca0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":5703842,"id":"Q5703842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e627843983c197f5dfd8bba6c9a84352ac4f3b45","datavalue":{"value":{"amount":"+0.88605094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3779772$76CB994D-6EC3-4449-8D49-0739664CF968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1af317d7402ddef83cd453c4bb9ba47ac16b45c","datavalue":{"value":{"entity-type":"item","numeric-id":5879266,"id":"Q5879266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2536870ab2459c15263afbae08fe79eb0ae0131a","datavalue":{"value":{"amount":"+0.8860095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3779772$93B043AD-A599-4199-BF52-763DB5A3A649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e97392bf2e1546d0937496d0e0eca814822d09c4","datavalue":{"value":{"entity-type":"item","numeric-id":1331943,"id":"Q1331943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bc52be15fb691bf201992880b1d14b8835645f0","datavalue":{"value":{"amount":"+0.8853823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3779772$B6843FD1-011F-4FE3-BB82-F0FDDA89293F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e3f45eea40d80ccd249df454e6f68e1181ab9b6","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a515ae0edb9deff9ff924ab65a917f37c245201b","datavalue":{"value":{"amount":"+0.8845497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3779772$B22D2661-495E-4E12-90B1-833835C33AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a27774b9897549967fd108552265fa090462b2f","datavalue":{"value":{"entity-type":"item","numeric-id":4846997,"id":"Q4846997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd6edc32920aabdb10840835e4b89a6d0d9c3892","datavalue":{"value":{"amount":"+0.8838283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3779772$17E7EDD7-EE56-481A-B8B6-136D3A83234D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a4690dad1bf660794e1148bd6b0d6a28b6b1784","datavalue":{"value":{"entity-type":"item","numeric-id":4942275,"id":"Q4942275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7861c89a57a2a393c909899fda7af3c057e135d3","datavalue":{"value":{"amount":"+0.8827707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3779772$4E1718EC-E54C-4953-8603-F25D9BFEEAE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3779772","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3779772"}}}}}