{"entities":{"Q4542240":{"pageid":6571832,"ns":120,"title":"Item:Q4542240","lastrevid":47952679,"modified":"2026-01-03T04:20:10Z","type":"item","id":"Q4542240","labels":{"en":{"language":"en","value":"An Equational Axiomatization of Bisimulation over Regular Expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1775130"}},"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":"Q4542240$03EA9A9F-67A6-48B4-9EB3-5D723C722000","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f466b7c75a100d14e84f582a24eac799b95dd85e","datavalue":{"value":{"text":"An Equational Axiomatization of Bisimulation over Regular Expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4542240$1F14060E-F36D-4CEC-B74F-AD94C1F91002","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"844146735fc74a56ef045b62ca6be1315d7b4536","datavalue":{"value":"1012.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542240$E92DD1B8-4453-4333-8EDA-1B46DC23F19A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"467355300579464725662c12a473c283bc71860e","datavalue":{"value":{"entity-type":"item","numeric-id":384931,"id":"Q384931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542240$B6A170BC-F272-498D-A6E7-5FC9E0B195F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bee65a70d0957435b8677048012b64cd699e6f41","datavalue":{"value":{"entity-type":"item","numeric-id":236445,"id":"Q236445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542240$5B13EF15-BD1F-4C5E-98BA-142476B8A246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cca12677f2478e2b66d7a7a0ac2c7062b971caf","datavalue":{"value":{"entity-type":"item","numeric-id":234453,"id":"Q234453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542240$2C36EDEE-2E49-4D2A-B645-D341A4DC42DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ee0375579b3e58742dd9de2663777d816eb143e","datavalue":{"value":{"time":"+2003-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4542240$0DFF71A2-52E8-442E-953C-0EB2507598F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542240$B3D910EB-40A5-4840-91FF-E709D43E54E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542240$4CA17B94-1273-4686-A3DB-1B26B1EF3F7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e6f2893da41b768c6abc42393aa313005570ba4","datavalue":{"value":"1775130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542240$C60560D5-4F24-4841-8C89-D2BF49B4C794","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542240$B283D04C-F62C-4D88-9B39-CC8F9D99F9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542240$1DFAD678-AF5C-4835-A500-B27A3CFE8E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b7606adba97b79deff62f5f698385376d50fe16","datavalue":{"value":"equational axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542240$7909C765-DF31-4042-83A2-1E44417584BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542240$5306B1C7-667B-4A82-A024-E8F5F49C6B5C","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":"Q4542240$668E6C17-686B-4D87-A733-BE8EE442CD46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bfe656fd20a77782fd38ff1ffaa8c5e611f145e","datavalue":{"value":"https://doi.org/10.1093/logcom/12.2.301","type":"string"},"datatype":"url"},"type":"statement","id":"Q4542240$A2BA4180-6F27-4670-95AD-2C445B9A8D3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b74985fb699d3838479785cff747e3ec9f1ef4b1","datavalue":{"value":"W2050354577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542240$30C888A5-35A2-4F22-AF17-8D40D667EB16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e0976290b841ffade87e560f5d6904ab1b0d7b6","datavalue":{"value":"10.1093/LOGCOM/12.2.301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542240$41A81C4A-1961-43CD-A022-1962BF752F26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542240$5D860939-4A66-47CB-8BC7-705C4DE70C6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e52013f68b080b602decc8b9682c826e3daf6ca","datavalue":{"value":{"entity-type":"item","numeric-id":4943553,"id":"Q4943553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf4b1e6292c064e19eb0beac82a9652e456bfa46","datavalue":{"value":{"amount":"+0.8023690581321716","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":"Q4542240$3328EDED-FB79-45B9-B4FA-33ECB70DE616","rank":"normal"},{"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":"9f9aba5836871077b31f8c06cc7ffd7ce21ec5e1","datavalue":{"value":{"amount":"+0.7912763357162476","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":"Q4542240$3D513CF9-A1DB-4B39-808D-C11C9023C457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc64271269238fff8bb65e0bf00ca12274e2b22","datavalue":{"value":{"entity-type":"item","numeric-id":5145655,"id":"Q5145655"},"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":"Q4542240$0CCC402D-D5DE-46E9-95E0-AF51D90B8B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfaaf3dc169a4e7d773afb329a56b6b2e585a6db","datavalue":{"value":{"entity-type":"item","numeric-id":4279247,"id":"Q4279247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5876fd37a0d88f040c827b335c4a498b10f3811","datavalue":{"value":{"amount":"+0.7676507830619812","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":"Q4542240$ADD06D78-6E00-4755-92B6-FC4DA6CE596E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4566b3e3f81b2a0f792abf3825c876d15528cf","datavalue":{"value":{"entity-type":"item","numeric-id":1274921,"id":"Q1274921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5876fd37a0d88f040c827b335c4a498b10f3811","datavalue":{"value":{"amount":"+0.7676507830619812","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":"Q4542240$5E198AAF-E1AA-429A-A1A1-0C554DD0CE32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4542240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4542240"}}}}}