{"entities":{"Q4596795":{"pageid":6626380,"ns":120,"title":"Item:Q4596795","lastrevid":58298682,"modified":"2026-04-04T15:15:29Z","type":"item","id":"Q4596795","labels":{"en":{"language":"en","value":"Branching bisimilarity of normed BPA processes as a rational monoid"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6816937"}},"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":"Q4596795$BDEE759B-2E27-49D1-96F2-26326D036454","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ecda8589b92059639695a9208898d231f6f4fef","datavalue":{"value":"1398.68366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596795$B7EC0335-CF1C-4810-BB71-199D3C52AA8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b907ec9dec464fd0d0e64064c0380dae6bd1be2a","datavalue":{"value":"10.23638/LMCS-13(4:17)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596795$788DEAA0-198B-42E2-98A5-138E3A21EACB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1abf00e7511afcb97fc436b2efb2d85d50713e","datavalue":{"value":{"time":"+2017-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4596795$1B553B3B-A35E-4BD0-9A88-C1D330D2CDA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be3ac2b589dc8c934351bba0b2e106f9add10dcf","datavalue":{"value":"https://arxiv.org/abs/1602.05151","type":"string"},"datatype":"url"},"type":"statement","id":"Q4596795$F715B0FB-02BE-4495-A9AC-6BFF055B33A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596795$B8E5BD21-B5AB-462D-89E7-26E1FDEC38B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"619ffd8d33867fb3fbd2abb468fbeed91a003ae3","datavalue":{"value":"6816937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596795$D08918B7-69E4-4D6E-9B28-DBF09CC44899","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9faadcd25ba6bfcb6574f70813d64f7651f95350","datavalue":{"value":"branching bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596795$A6DD0E40-7B27-4EBB-84C2-4A5E97CE24C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a797f12ec2d611e4095c46253086b1b4ac2a19e","datavalue":{"value":"basic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596795$9885F1A4-35CC-4352-95FF-8196827B8431","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b34490b42e542c961f98f9ba6d799768378b70","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596795$E7B39D27-148B-43D7-A109-7405D3D22480","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":"Q4596795$66C8D1C9-4CAF-4C02-914C-1471BEC7F13B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1396d1e0e17f6387e96f18e799337976c630069c","datavalue":{"value":{"entity-type":"item","numeric-id":4635801,"id":"Q4635801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c63ec252d716ecdfb9198f600ca5bf0ba76dfd","datavalue":{"value":{"amount":"+0.8707876205444336","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":"Q4596795$27F0942B-AC82-42C3-B4DD-2D1C8FC55E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b24630b3115f8346cdbce1f482ea7aa1dcaba06","datavalue":{"value":{"entity-type":"item","numeric-id":4635802,"id":"Q4635802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5266b56942a338189f98d36dc3580219c34aa6cc","datavalue":{"value":{"amount":"+0.8275213241577148","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":"Q4596795$ECF48244-1ED4-4ACA-AF6F-F4EA0FE85567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d200a2dac8e851aa1f1862c4e1f2194c864e9f","datavalue":{"value":{"entity-type":"item","numeric-id":1959482,"id":"Q1959482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9894174cbce6a92ef8a3f28ec2d60be0ffd1510","datavalue":{"value":{"amount":"+0.8021177649497986","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":"Q4596795$9216694E-2792-4360-8B29-B7B55E0BE3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82408f3441d796ed2cd7637698c16002dafde811","datavalue":{"value":{"entity-type":"item","numeric-id":4222869,"id":"Q4222869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd9021b8509cff3dc73a1d32971813e55d91344","datavalue":{"value":{"amount":"+0.7962263822555542","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":"Q4596795$F2DA9830-3FB4-401E-B855-5F6ED26F8AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd1e0b19f6f7e4632825e2cdfda9d03fdbceb222","datavalue":{"value":{"entity-type":"item","numeric-id":5111633,"id":"Q5111633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8631cdc4acb044df9d3bc479ef5154cca312c73","datavalue":{"value":{"amount":"+0.796161413192749","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":"Q4596795$F05B849F-CB0D-43CE-A0FC-A6C1233D63EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4596795","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4596795"}}}}}