{"entities":{"Q5145655":{"pageid":7175226,"ns":120,"title":"Item:Q5145655","lastrevid":58456011,"modified":"2026-04-05T07:26:54Z","type":"item","id":"Q5145655","labels":{"en":{"language":"en","value":"A complete proof system for 1-free regular expressions modulo bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299489"}},"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":"Q5145655$53290359-3A7C-41CE-A993-A62664EB62C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf4c11b563f0d9456c4557e7176aa0fd342822f5","datavalue":{"value":{"text":"A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145655$E9EC1341-BE00-406D-AD05-D5B46CF22C66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fb4541815b845a38cebfd3e80a225a50f539999","datavalue":{"value":"1502.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145655$100686BE-3E45-4C0E-B1B3-D21B80914A31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bae673522d088c96b39a1865f70a25f71241b4b5","datavalue":{"value":"10.1145/3373718.3394744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145655$BD735BB0-41CC-4B35-B3C1-219BD0770F42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"226f031fbae3e27660d7d9a4703c5ba4b6d13509","datavalue":{"value":{"entity-type":"item","numeric-id":409314,"id":"Q409314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145655$7A475CE7-9615-42A0-83D5-3E18FA80E885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f48fe98eb6731fc6d10e36e20e2cb30403db223e","datavalue":{"value":{"entity-type":"item","numeric-id":513184,"id":"Q513184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145655$B0DD227F-94B7-4352-AF43-52EE304F73DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145655$4B09E590-1388-4AE5-A684-234521C4C7CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145655$5A20B35E-2E5E-4E48-995C-99F71BAB1E61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c964d56e7e6bd5ef69ba8c2ddf9e4c276849724","datavalue":{"value":"https://arxiv.org/abs/2004.12740","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145655$200A4109-AEDA-44F5-B7AB-BF38E6584847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a2d597b3bfef24d791d7ff8dea22160fba7c3ef","datavalue":{"value":"https://research.vu.nl/en/publications/e69656e0-1b79-47aa-8161-7e6574b3cec2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145655$0A6D1F97-2549-4A07-B9A0-0DC7BE75EC3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145655$A9FD5DA3-8E70-40F4-AAD6-3BC8C037983C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145655$EAF21EBF-A54B-4A60-907F-746DF23285B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145655$CC810CAC-B42F-4B5F-9775-8C093F5A3DAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61131221067473ad2ec0b4745b890370aff0c816","datavalue":{"value":"7299489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145655$7AC55B97-727C-4608-AF6B-E89B177B4815","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145655$1C0E6854-0181-40DB-B1D9-8EB50F417A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffa0c3289e258a19de6332c67476e528f8f33f0f","datavalue":{"value":"complete proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145655$7C225044-80AE-4485-9B7B-DDD15F248098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145655$D16660D4-FEDA-402B-AE8D-3695461935EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e74f2cc884124fc77033ed7440a07d17ce55038b","datavalue":{"value":"process graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145655$93E385EB-FF9E-4264-9F73-A98D0B25B399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145655$D1581D91-EA2B-43BC-86FB-9A63B8AE5284","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":"Q5145655$272D64D4-AB03-4C02-B12E-76A37F5C4BFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4846e4df1429801b7a7834d3549d181a0ab21281","datavalue":{"value":"W3022119532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145655$19A00505-963B-4642-9DEC-381CB59AF4AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e17895ec51434e8c7ec91acd478ec58f984f72","datavalue":{"value":{"entity-type":"item","numeric-id":3546331,"id":"Q3546331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f05e3641930f20c35ee30dbfa24010db46ee110d","datavalue":{"value":{"amount":"+0.7862991690635681","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":"Q5145655$CFDA7DC8-5507-4DC4-92A6-781C996BD66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522d6365f9a7ad03dd913a09152e0c68bba316aa","datavalue":{"value":{"entity-type":"item","numeric-id":4542240,"id":"Q4542240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf8d74e10c091cef1158708d8c1cf558e3644654","datavalue":{"value":{"amount":"+0.7687820196151733","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":"Q5145655$3B730121-5006-4E9F-A67E-EF89AA2774F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6fe1c3d707daa76b5d3c8b0cc1f5baae93f6a3","datavalue":{"value":{"entity-type":"item","numeric-id":3792231,"id":"Q3792231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f07a1d7425f989b853300ac0d60d071dec6e4b","datavalue":{"value":{"amount":"+0.7548437118530273","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":"Q5145655$F8B80F7F-5DEB-4AE1-8F4D-A26849585139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23325c3bca427a16c9a3e77ed4a9a328c68497a8","datavalue":{"value":{"entity-type":"item","numeric-id":4375630,"id":"Q4375630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2178610658e40103d713b894149613dade210ed0","datavalue":{"value":{"amount":"+0.7543729543685913","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":"Q5145655$7208EF93-21E7-4A99-94C8-A841501F134D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3417b037f9e3e5e9ed4e92ecb6a91b54b76fdae3","datavalue":{"value":{"entity-type":"item","numeric-id":2971071,"id":"Q2971071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d425572fa3182bc349f52758520f21dc62bc21d","datavalue":{"value":{"amount":"+0.7543728947639465","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":"Q5145655$0D49F50E-29D6-4057-AB98-EF93E2A63448","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145655","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145655"}}}}}