{"entities":{"Q3090854":{"pageid":3101569,"ns":120,"title":"Item:Q3090854","lastrevid":51324734,"modified":"2026-01-17T18:41:25Z","type":"item","id":"Q3090854","labels":{"en":{"language":"en","value":"Decidability of branching bisimulation on normed commutative context-free processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945213"}},"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":"Q3090854$FE6DB3A3-D594-4FB7-9351-7E19110058BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7d214d401ec82e44cb5ba1424215329c2f5d140","datavalue":{"value":{"text":"Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090854$640FF8A7-E1D6-46A1-9ED8-DDFE4293E54A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"398cbef53900cab791b7f1556157b669c1c0cc7d","datavalue":{"value":"1343.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090854$34EEFF35-8C1E-49EA-8D8D-B53346010891","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0201bf7ae4112823606da1aa5cd379d8e70c59a4","datavalue":{"value":"10.1007/978-3-642-23217-6_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090854$831CE19B-FABB-4B66-AECC-CC4D2C472DB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbacc854e17a0853117b4d86eeb4c426187482dd","datavalue":{"value":{"entity-type":"item","numeric-id":532390,"id":"Q532390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090854$91E56B7B-7C10-4C7C-AE8D-7965C5D82DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aa83eddc2a574af0633c5b9f4ce63a6fb453096","datavalue":{"value":{"entity-type":"item","numeric-id":2254492,"id":"Q2254492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090854$B1199A32-609D-47F7-B925-381D091D5737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090854$526DF856-A2D6-4568-B211-792A7E03CBC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d4b52f40151daea00ff3da0acb2c051d987d247","datavalue":{"value":{"entity-type":"item","numeric-id":3090816,"id":"Q3090816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090854$DE4A67A3-880B-404C-B602-35C4994D62FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3090854$3785EAC7-78C7-48CA-9109-46169D07A663","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090854$E0E0561A-5423-47BA-AB66-814D1716937B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ee6aecf1e0a8ebbe420e555966edbe2af849044","datavalue":{"value":"5945213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090854$A2F20CC7-49C7-4D68-A801-ED0F26D5EDC3","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":"Q3090854$A1BC3714-F3E7-43AF-A324-DE26509CDB9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6d95375e6311418c588a157e248126c725c5347","datavalue":{"value":"https://doi.org/10.1007/978-3-642-23217-6_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090854$75AA9603-CDB9-4E6B-95DF-E2B0D7AB051A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ced5e7f3480e446e603fd3e856fd2b0b60b22c9e","datavalue":{"value":"W23983374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090854$7CDEF12C-FE31-4887-9306-0496D22BD198","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88510136283ff21bf203324d47fc86799aeb32e","datavalue":{"value":{"entity-type":"item","numeric-id":4353915,"id":"Q4353915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090854$3D5CE54C-FEAF-41F2-AD2B-C87386E33DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09873cffd167d733116a0af539165519c3cedb51","datavalue":{"value":{"entity-type":"item","numeric-id":5179048,"id":"Q5179048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090854$6DBFB892-9E92-4D6A-A0C9-61FCDD151716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87108acf045bf78204a3fa41cc71b5de23f7a79a","datavalue":{"value":{"entity-type":"item","numeric-id":4715674,"id":"Q4715674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090854$79A0DDDD-CC26-4169-A245-350E3DA161B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b422e323cfd6825189d1d8e5c7d8176911d5641","datavalue":{"value":{"entity-type":"item","numeric-id":2503324,"id":"Q2503324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090854$3562E6C7-1A55-4FAB-A87E-8F41F90498EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090854$FAF508E7-87FD-43FE-9C58-57E1526291B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95789b1ded4f64bc044fa53a65a44241082d655d","datavalue":{"value":{"entity-type":"item","numeric-id":4736869,"id":"Q4736869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090854$7CC5DEDA-C1AB-4ED2-8CD1-AC3F6CBF8064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7024a9473052e6077ed02788c664c7db7649f7f4","datavalue":{"value":{"entity-type":"item","numeric-id":4665738,"id":"Q4665738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090854$BA1DB21D-D85A-4125-AD08-8283EC63C54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6370bd33e7f017efeca0457a1c3162548686d69","datavalue":{"value":{"entity-type":"item","numeric-id":4218096,"id":"Q4218096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090854$91F3DCCF-6A34-45F2-A91B-7071F20EA38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76488e08224206900795f7917be989a75ab2305","datavalue":{"value":{"entity-type":"item","numeric-id":2769443,"id":"Q2769443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090854$8306DEF8-3955-4200-8772-5080BEA6EBA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab90e9a0e11381c75bb7258c2e6ca7d4b003682","datavalue":{"value":{"entity-type":"item","numeric-id":2254493,"id":"Q2254493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a5b1cde0e4369de4b03cc710e9a9b2a3ebc643","datavalue":{"value":{"amount":"+0.995855748653412","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":"Q3090854$810CAF8F-82BA-432D-8C91-E2405DB3FA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b652b48dd6d14fca6b0e904dcfaa1f9f092249c","datavalue":{"value":{"entity-type":"item","numeric-id":1892892,"id":"Q1892892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de7c36219f1d8dd93702da780e7959bc7772321c","datavalue":{"value":{"amount":"+0.8922045230865479","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":"Q3090854$8D162F88-82DD-4032-96D9-D1A5AADA4076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530a0c6fdd318b80ed0243c9a8a81e3518f24473","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1769475f06ca798b57bcf8e4cfbc066083e97ea","datavalue":{"value":{"amount":"+0.844634473323822","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":"Q3090854$5CC78B0D-D5F4-4A49-96D4-C54FEDA92E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67419e87423ca3b09e38cf30c89d3b05c97a349b","datavalue":{"value":{"entity-type":"item","numeric-id":3569030,"id":"Q3569030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1769475f06ca798b57bcf8e4cfbc066083e97ea","datavalue":{"value":{"amount":"+0.844634473323822","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":"Q3090854$8557878F-C185-4DCA-B14F-49E47790873B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06bbcde98b21768c1e7fa49f54800219888773b0","datavalue":{"value":{"entity-type":"item","numeric-id":1314379,"id":"Q1314379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480f823968223f4ad452db9d20fd3864b8a9cbf2","datavalue":{"value":{"amount":"+0.8434252738952637","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":"Q3090854$7081A680-6BFC-4FBA-AAFF-0D59570D235B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3090854","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3090854"}}}}}