{"entities":{"Q4697197":{"pageid":6726774,"ns":120,"title":"Item:Q4697197","lastrevid":47177752,"modified":"2025-12-31T22:26:13Z","type":"item","id":"Q4697197","labels":{"en":{"language":"en","value":"An action-based framework for veryfying logical and behavioural properties of concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 221726"}},"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":"Q4697197$4199F8FF-1C75-4AEE-87BB-5AF8324DCA6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a652e954ca4bf9f895846ac5f449a94c0282da6","datavalue":{"value":{"text":"An action-based framework for veryfying logical and behavioural properties of concurrent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4697197$3DB25AC2-4F4D-4EA6-9354-452AE70F026C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d953f73b10ea9d58ce8d9205ec27e0330278a1b","datavalue":{"value":"0789.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4697197$E35A9F96-65AE-468E-ADD0-89CED23B7EA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f1930186324a976565e6f35762d65966a9181ca","datavalue":{"value":"10.1016/0169-7552(93)90047-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4697197$A9F7D020-D1E4-4E73-B31E-B16650EABEFB","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":"Q4697197$0DA9DB75-E01B-4B52-BC4B-17718907B16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"558370a88e7c439ba7e3c3eadd7c0f5c89653110","datavalue":{"value":{"entity-type":"item","numeric-id":246444,"id":"Q246444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4697197$7FEA25E4-2124-4440-9E33-EB23A8ED7404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd2984005ce562423e705837ece60ae424b1f13","datavalue":{"value":{"entity-type":"item","numeric-id":246445,"id":"Q246445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4697197$A029FE0D-4945-4B31-BCE6-B7347585A9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3927d10c42bcd78f1e24a3195293011b1a3f8470","datavalue":{"value":{"entity-type":"item","numeric-id":1182129,"id":"Q1182129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4697197$7A78EB76-0F89-4DBB-8F81-63B09118D22A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c968a1ef8d0033339fd2c089e4a121a423a1be5","datavalue":{"value":{"entity-type":"item","numeric-id":3495099,"id":"Q3495099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4697197$83725131-D0C5-4662-9A17-45936D4CC580","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4697197$DE4DC5D4-AE94-4DF7-9021-E0429D755153","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4697197$B6A9DB23-8486-43C4-BD13-B83F3992E1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4697197$5EBC71D9-1AC1-4D4E-B91B-6FED8E4A2DF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e4a78158cded15248f419e9dfca28200465534c","datavalue":{"value":"221726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4697197$5060A053-48D7-4686-8129-9F5EE8F5AA10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed31551b17c88fefc00220195c02a9f143daa07c","datavalue":{"value":"formal description techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4697197$2008490F-ACB1-409A-8DE2-32F21A8C192C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b9241cdc7a1f337eeb9d162d13f1f2809142bdf","datavalue":{"value":"verification environments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4697197$3DB845D7-9A96-4DA9-8928-103F7B0B64BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f79e31496d11f73c7d8c7a3026ef41cc58d335a8","datavalue":{"value":"behavioural equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4697197$7BC9C026-8751-49B0-8906-DABA1E7ABC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4697197$AA568816-13C9-41CB-822A-49DB78697B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4697197$9C314640-5794-436F-AA65-46372CC8169F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4697197$5D7C796D-DB29-4B51-9E92-89944A5E4E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2496691daf8dd1c24f52f78fb5ff215d44fc935d","datavalue":{"value":"labelled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4697197$98D06435-3A6C-4235-B9DA-C54AF2191DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22faee7a58a8049518b23c537e4b85ea66f3563a","datavalue":{"value":"branching time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4697197$9AA729E0-617B-4DAF-B71C-71AAB5D1FCA2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9f28740a2718d6c9fffe02da7647971ce5619026","datavalue":{"value":{"entity-type":"item","numeric-id":13803,"id":"Q13803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4697197$A941899C-47FE-4B2B-89DB-54C2DDFB0793","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":"Q4697197$EBA43E39-D6E2-432D-94ED-E9352BCC3716","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8ae171e29ac2e9cb676ccbfadca58009f7011b7","datavalue":{"value":"https://doi.org/10.1016/0169-7552(93)90047-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4697197$21B0297B-9792-4A2F-ABFB-E76AB7157981","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db2922046742a8d3c5ad62313911ded245e20d79","datavalue":{"value":"W2025788721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4697197$0B3C0C1E-5BB1-417B-8BD2-A1EC243964C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce857befaecd6296176f332d1fd10bc35c53b61","datavalue":{"value":{"entity-type":"item","numeric-id":1326587,"id":"Q1326587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9a810f5e671b76c0a7faa2e4064ef85396f141a","datavalue":{"value":{"amount":"+0.830693781375885","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":"Q4697197$94AE85EB-4646-41A2-92BA-635FA3786ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9f9c3da8d063c38ac733038a8365d3f67e6200","datavalue":{"value":{"entity-type":"item","numeric-id":4207567,"id":"Q4207567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94653e1b4c052f361577e9fc8b7a631abe8a2981","datavalue":{"value":{"amount":"+0.7830663919448853","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":"Q4697197$46B87B2A-6871-4CA7-B0B9-C8300908E16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94845cb0192c44f2f405da435c6139e86c20e67c","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f404300d09a7967ef780c803153f0828adfcef0","datavalue":{"value":{"amount":"+0.7723867893218994","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":"Q4697197$C8E8283D-D05B-4BD0-9C35-D959BB4C3345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6882b79013d56774d5b62d9efa037be9974b73d","datavalue":{"value":{"entity-type":"item","numeric-id":5754519,"id":"Q5754519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8692bdf7098071eb0f03f408af83bda431d75c4","datavalue":{"value":{"amount":"+0.7685846090316772","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":"Q4697197$431FDF97-D0D3-4564-ABA3-B58AE2197907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39db03e2cf515bd41b470fb48106609845ec540d","datavalue":{"value":{"entity-type":"item","numeric-id":2476788,"id":"Q2476788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94480cd8fc102e3321d8d6a06c659d5c415c202a","datavalue":{"value":{"amount":"+0.767538845539093","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":"Q4697197$FD011660-2259-4E10-B551-2EAF2DF9E4F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4697197","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4697197"}}}}}