{"entities":{"Q6879025":{"pageid":20770711,"ns":120,"title":"Item:Q6879025","lastrevid":84217469,"modified":"2026-05-13T17:35:08Z","type":"item","id":"Q6879025","labels":{"en":{"language":"en","value":"Image reflection on process graphs of 1-free regular expressions modulo bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8141096"}},"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":"Q6879025$3CB5DDB6-C949-4D8E-A8B9-DCEBC782F272","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"046f814fe720a14f5f51cf79440b6c95f648b9bd","datavalue":{"value":{"text":"Image reflection on process graphs of 1-free regular expressions modulo bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6879025$A32B98B0-588A-4069-A05B-7FA52DC27DB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"074c6ce211c869b4bc847a21db88eb9e219410ba","datavalue":{"value":"10.1016/J.TCS.2025.115678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879025$7465E17A-9764-424C-B7B3-929B33304785","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c08212652ded0e873e915b605fa464db22c6450","datavalue":{"value":{"entity-type":"item","numeric-id":6151607,"id":"Q6151607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879025$3B28D847-AE94-4D5E-A48A-0FBA15EF1EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a0be023ae0e9e5a0ddfbb1f86d4e9f4133d772a","datavalue":{"value":{"entity-type":"item","numeric-id":1894679,"id":"Q1894679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879025$FBD14933-3659-4987-B4BF-7E7F17ECA926","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879025$34B16C2B-B3D0-400F-A25F-0E1E220DF830","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a5535f2f7ac6f7294e7c25bdf8cd671b2189a10","datavalue":{"value":{"time":"+2026-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6879025$1825EEA4-210C-48C9-A1C0-1F08EFACF6F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879025$1D1A0680-D5CE-4E35-8C03-624992903239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879025$C33B1781-8951-4CA6-9D00-2325351A42CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46bbd6c48506703661548eac52431fae34a3b557","datavalue":{"value":"8141096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879025$02249F9A-50A6-4975-94D4-7FFE66057FFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b20c4b3ecbf6a55dded370bb6db624e056d00d0","datavalue":{"value":"1-free regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879025$2C69BF6A-3321-42F8-A6FF-8F6C8DA6C407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e74f2cc884124fc77033ed7440a07d17ce55038b","datavalue":{"value":"process graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879025$775DCE01-B99C-41CF-98FC-E752A511E6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a426b3ee2c58275dc27872646ee690c86a095cab","datavalue":{"value":"process semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879025$ACA3C441-AAEA-42B9-A825-93CD5A1C5B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879025$BF88388A-51D9-4C0A-B5E9-5C1F1E7A99EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879025$30343123-AB46-4AF4-84E2-162425A81158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879025$A82ED730-AD8F-4F3A-A1A3-9D6E0AF96ADB","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":"Q6879025$22687D7D-1568-4F06-B4E9-C6790D432747","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c337cdfec2a0c93044682993ac69b5b40c5b5276","datavalue":{"value":{"entity-type":"item","numeric-id":3260577,"id":"Q3260577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879025$340D7D51-24DA-4507-87F6-E146977FABD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879025$6D086CD2-7841-43E4-B578-7020FF3DBCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80eaa52138fe6dc1cc5abd1424bc7779edb1d9a","datavalue":{"value":{"entity-type":"item","numeric-id":4689064,"id":"Q4689064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879025$2821196B-B3C9-407F-92D5-B5FD5C9E495D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c200a502106ccfaae5cf68ef362e25173d34302","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879025$E5885D58-1D8D-48CB-8400-2E0767A29D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49ce1337a4d1606e89be2c26995b66a83555870","datavalue":{"value":{"entity-type":"item","numeric-id":2802486,"id":"Q2802486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879025$1769C5E9-4065-4392-A064-9A5E59617EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879025$8869F94E-C564-4413-9460-3EC0BEBC9216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879025$369A9269-DE2F-4ADB-A28B-2D45CF202610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776e9bb2630af984cb377be363b40fad99700a6d","datavalue":{"value":{"entity-type":"item","numeric-id":4375630,"id":"Q4375630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879025$1A288211-451F-4F45-B2AC-6A2184BAE975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f16179dcc68fb16c71fabd40f0adad6e5c9502","datavalue":{"value":{"entity-type":"item","numeric-id":5145655,"id":"Q5145655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879025$B265B7E6-185A-4FDC-9943-1AA7B99DC991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3107b4924e8586116088af8042a95304e153d0ba","datavalue":{"value":{"entity-type":"item","numeric-id":6649466,"id":"Q6649466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879025$90E02E22-6EB0-4D53-840D-DE4121F79AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9369a191a441bd3f77552fa2262c9387e3d7c92d","datavalue":{"value":{"entity-type":"item","numeric-id":6889883,"id":"Q6889883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879025$CF255CA2-B23C-4DC7-8B58-AB328E6CFBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f300bd13b8af1abb98382432d45b6ef216b919f","datavalue":{"value":{"entity-type":"item","numeric-id":6135767,"id":"Q6135767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879025$FFB1EA6B-67A7-435D-B87D-E48B801CA608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a92762655154219e5906519932d01838efe4ca90","datavalue":{"value":{"entity-type":"item","numeric-id":5021231,"id":"Q5021231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879025$ADEF83BD-52F2-468D-BF4F-41BE3FEE06A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c19000b18e2100d12698c681b770344c246dcd4b","datavalue":{"value":{"entity-type":"item","numeric-id":6653760,"id":"Q6653760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879025$C1A40068-5ACD-45A5-816F-6F13A3829DE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Image reflection on process graphs of 1-free regular expressions modulo bisimilarity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Image_reflection_on_process_graphs_of_1-free_regular_expressions_modulo_bisimilarity"}}}}}