{"entities":{"Q2895794":{"pageid":2906519,"ns":120,"title":"Item:Q2895794","lastrevid":51504386,"modified":"2026-01-18T13:21:56Z","type":"item","id":"Q2895794","labels":{"en":{"language":"en","value":"An operational Petri net semantics for \\(\\text{A}^{2}\\text{CCS}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6052782"}},"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":"Q2895794$165ACBD9-D1A0-47C4-B2F4-4652BE172D9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e32a0ed3532bcab5fd7ecd61e9079c92c90fad0","datavalue":{"value":"1251.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895794$F7930C6A-600D-4C38-B090-D610E2B8F580","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8921684a2fa498a49590c686ac4ea173190d34a4","datavalue":{"value":"10.3233/FI-2011-501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895794$668B9D96-2959-48BF-8A7E-382FBF3ED52B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec51c07710be78560907d5497cf10b0b2c10907","datavalue":{"value":{"entity-type":"item","numeric-id":199202,"id":"Q199202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895794$C48A7123-8319-4191-9CE4-663A9BE7F658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c0fd6f2eeef37b53da06ab0baa314d74e116960","datavalue":{"value":{"entity-type":"item","numeric-id":897106,"id":"Q897106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895794$6BFF5E7C-DA74-441D-ABE5-FCB360F56329","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895794$8CC4E449-87EB-4C33-BEFD-6A05F62D9F04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"82fc1511bfc3f2a612f201b34398e09c3400170c","datavalue":{"value":{"time":"+2012-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2895794$A83B8637-EF04-4D64-A347-E0EAFD9452A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895794$00DCE487-E216-412E-A8EB-E8C9B7B0AD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895794$01C3B2A8-D7DF-4C09-BDE5-555B17BDCB5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bb71e5b9bad8ff7b4e180f1aa1573cd779c2d39","datavalue":{"value":"6052782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895794$B1FF937A-129C-445E-B6E6-EC995C19E7C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895794$AB52CA5B-6982-4394-9428-578C39A54AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87168fe256f11509b750edb30087819922e27563","datavalue":{"value":"\\(\\text{A}^{2}\\text{CCS}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895794$C0C9A25C-51C1-449D-AA59-E45338880878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895794$551AB339-52EF-462C-9D3B-02CCC5722313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0c081abc8eda38858901e1fd627902a9a4a0e0","datavalue":{"value":"labeled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895794$3CA40153-79BA-45D7-8ABB-633D967FFCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc14c2c1888e75c0af87202101bdf748b1ce127a","datavalue":{"value":"Petri net semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895794$4CE04B6C-2512-4458-994B-4DC35B88C2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eccf894d0d0af47d50931c3dcf277d197a937ca6","datavalue":{"value":"interleaving bisimilar","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895794$BC796E3A-A7D8-4366-AD68-884F133FEEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e61316797aee679ce838db0798424f10758bb3fd","datavalue":{"value":"step bisimilar","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895794$66359448-FF54-4DF6-AF25-B4D1DF3A8072","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":"Q2895794$910FB47D-D27D-4F53-8792-933BCF002FDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fb7571ed04d5021dce071f19395b11b52f120ed","datavalue":{"value":"https://doi.org/10.3233/fi-2011-501","type":"string"},"datatype":"url"},"type":"statement","id":"Q2895794$BC24D247-80D2-49E9-A601-436E406BA6AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"399a49c2ae822286e651a95f323cf99f7aa6f794","datavalue":{"value":"W2400580994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895794$0885E8F4-FE9E-4EEA-A468-BCE2239D3034","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15836f6541b81759c765d17b63ce67f15e1b15d0","datavalue":{"value":{"text":"An operational Petri net semantics for \\(\\text{A}^{2}\\text{CCS}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2895794$916E4C3B-40BF-4F9F-9F79-76DF7DC99005","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a7a2fc0d55bea040636f63c9d7b7e081a95f65","datavalue":{"value":{"entity-type":"item","numeric-id":3776645,"id":"Q3776645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"570a1f35caa29d09b2341f370270b437e207fde4","datavalue":{"value":{"amount":"+0.8198509812355042","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":"Q2895794$CAF9DCFF-EF1C-45CF-9EA3-F34DAC300B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e51501e62123a0067007c2fa613788d700436d55","datavalue":{"value":{"entity-type":"item","numeric-id":3795192,"id":"Q3795192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf13010f9034418297c6692e96f4dba7d742045c","datavalue":{"value":{"amount":"+0.806006908416748","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":"Q2895794$33A16F92-B9A6-4D69-A658-E1A703B6C184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25a67765fff0e2b1f62e33e36202c53ef136a9f","datavalue":{"value":{"entity-type":"item","numeric-id":4964000,"id":"Q4964000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2197fd6e14272084dea3e3661c4792536325693c","datavalue":{"value":{"amount":"+0.7907940745353699","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":"Q2895794$23DA6C76-81DA-484F-ACE9-636D936DBED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b77d1f89acc8320ca36b009f70426c8acd8c09c4","datavalue":{"value":{"entity-type":"item","numeric-id":3675536,"id":"Q3675536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3326df6a621aca088b0d945ab7f4e5a1547ee6d7","datavalue":{"value":{"amount":"+0.7855939865112305","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":"Q2895794$C8E3683A-1EC9-4448-A980-E35D737B6340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a5bf52e2457269c156e67478d685661b57d82f","datavalue":{"value":{"entity-type":"item","numeric-id":1802071,"id":"Q1802071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab9487740a4836fada9ded00c612587839a6580e","datavalue":{"value":{"amount":"+0.7826113104820251","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":"Q2895794$AEA20B86-E146-415B-A1A9-1A6A457349A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2895794","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2895794"}}}}}