{"entities":{"Q2248059":{"pageid":2258802,"ns":120,"title":"Item:Q2248059","lastrevid":52028321,"modified":"2026-01-20T19:12:10Z","type":"item","id":"Q2248059","labels":{"en":{"language":"en","value":"Event clock message passing automata: a logical characterization and an emptiness checking algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6310011"}},"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":"Q2248059$747050FB-CAC1-4833-9675-B99C04CAF891","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a4d4c3e6fd8a09a0fa485ec63bd1a84e7ca2f91","datavalue":{"value":{"text":"Event clock message passing automata: a logical characterization and an emptiness checking algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2248059$89BD7CDF-8033-40E6-AAEA-BFFD85F394BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"016bd30d333cbe2c5eeb918843d311d82578a596","datavalue":{"value":"1291.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248059$18D33F51-810E-4AE3-B775-C9C7D02B63EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0148a7914729f10791714961eacfb31054def7ce","datavalue":{"value":{"entity-type":"item","numeric-id":436614,"id":"Q436614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$32D4F700-82C3-4E7B-9594-0C91C4329B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65221e215393442395d12a6532e173c4dee8b90f","datavalue":{"value":{"entity-type":"item","numeric-id":420854,"id":"Q420854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$FA1EC55B-652E-4CE8-B7D2-4A0860469145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$6F267334-2DC6-4E23-B2B8-8ABEDA969DD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$276C08B3-347D-4BFE-8CCD-F407CAB53488","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"117a9f146c2b43e9cf22c7fca681da0aad1e0ba1","datavalue":{"value":{"time":"+2014-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2248059$D191421A-9CAF-4501-A8F4-363E180A8D7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248059$5A93CA3F-ED84-4DD7-BF64-37FEA6E2F498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248059$EAAE7D23-BB45-46DA-9D95-B7CEAFA95D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248059$DA231680-7CD2-450A-B6AA-3B77F86469BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248059$32EDEDC1-B36B-4F58-A0BA-74476BCDDBF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f85fb50a29450d09f4f8ec03339dfde409a7b60a","datavalue":{"value":"6310011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248059$C8B265F4-06FA-4F6A-89C2-4A9D6746EA5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c58e446456bf7213432e48a8e41a996033d2e292","datavalue":{"value":"message passing automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248059$81E5D704-0219-434E-8365-D5AA37B9C2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248059$A45F51A3-429F-48B3-BB2A-CD501A50CCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c3898212513e24c39127a6e58f22e0141bc29b0","datavalue":{"value":"MSO logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248059$AED28D44-AA3C-4F8F-8703-54A98C1EBF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8af41e9c11fb36e87e205c27fa49c8bed0db91b","datavalue":{"value":"message sequence charts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248059$5127CB81-F707-4A21-9BBD-02788F12E8A1","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":"Q2248059$5E14A3DA-88AB-4D1D-94E5-7746E7CD36D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"699615c44786d9b3105310ee91ca1064921dafca","datavalue":{"value":"https://doi.org/10.1007/s10703-012-0179-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2248059$2E604F86-6476-48A2-9096-3117F6C33A06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e9d80b8c71e9f128512cbca617968753a2559f0","datavalue":{"value":"W2045909926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248059$9EBBD7C7-0A6F-4008-8416-17564C7C324C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aee5f7ef210612ec0dccdafa60ae90d71e910bc","datavalue":{"value":{"entity-type":"item","numeric-id":5458842,"id":"Q5458842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$9E9DBCB6-1340-4F60-9982-4777C7A49011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$A55695EA-9B31-43A8-985F-78AA282FD8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$7A0C533C-5075-4970-8010-59A755EA556F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44215fba535e4838ff9ef2f49cee6494643d177b","datavalue":{"value":{"entity-type":"item","numeric-id":2503037,"id":"Q2503037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$D27F45FB-85E6-442D-9CAE-953839A2678C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0407a215480ddd9e54d8be6c2e28e9e0490e5298","datavalue":{"value":{"entity-type":"item","numeric-id":3522916,"id":"Q3522916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$6158FADA-B103-4ED9-A9DD-6AD576A0F6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$8F225BD7-C7AD-46F7-876C-1FD42E08079D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$FDFE5B3F-7F4F-42B9-BD32-13F5B836E256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0bb12ed38887abcabf99a6e60f20ed7a97898c","datavalue":{"value":{"entity-type":"item","numeric-id":3511226,"id":"Q3511226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$97B08233-3352-40B3-9C0C-DB88DCD69DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0530baf7a1f195d7b7b6c7924e772908c7c1a9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5897963,"id":"Q5897963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$B5CB6539-B277-4DCB-B15A-C4215530A3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610f18af86e72d607815e49bf82138004c1095e4","datavalue":{"value":{"entity-type":"item","numeric-id":2496297,"id":"Q2496297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$8301F82B-FC87-4E0E-9245-AB84C4F31918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4054ee90cb47d36f9dbdf5d9070674c3b097946","datavalue":{"value":{"entity-type":"item","numeric-id":5696929,"id":"Q5696929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$AD942F53-3570-4DCF-A125-F22D3E9245E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce2ad635b0c2e70cd3607fdb43f92ac805e9a373","datavalue":{"value":{"entity-type":"item","numeric-id":4501664,"id":"Q4501664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$F652FCE6-2815-4B8A-BDAE-C4A05749A363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$BDBC602F-8B86-4A76-B197-9BE08B1CAD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$A8E65A6A-4DBA-45E6-B9CC-2F6FF2DC112A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01bdc88213ad901fc13d8a639e5a25c91349bfab","datavalue":{"value":{"entity-type":"item","numeric-id":2573333,"id":"Q2573333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$DAC00CAB-E80D-4862-BF8E-273567AC5130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d499354eab8502f97a03c838f7e460501f69493","datavalue":{"value":{"entity-type":"item","numeric-id":5756736,"id":"Q5756736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$02E62F4A-6259-466A-89DD-B839E71F02B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea69308b2b00b252c7d16faea7bf32a3dd31c40","datavalue":{"value":{"entity-type":"item","numeric-id":4907862,"id":"Q4907862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$DD572D32-58C9-4D00-ADD6-965F9C7DF451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdcca8078da70cd6b86300469ed5634daa3f58a6","datavalue":{"value":{"entity-type":"item","numeric-id":1881218,"id":"Q1881218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248059$6023DE93-B45E-4757-8926-CB5AB9703CCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69dfd5ae9595639ee203fe64996b8a79aa2a9d94","datavalue":{"value":"10.1007/S10703-012-0179-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248059$0079AF1B-A0BB-41AC-BCD8-A82A35D9C2AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"015eecb01d1893e0d62746682fc175ed144b0605","datavalue":{"value":{"entity-type":"item","numeric-id":5458842,"id":"Q5458842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce370628f047fdc2fca65827602a8846af64bec4","datavalue":{"value":{"amount":"+0.8194808959960938","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":"Q2248059$507C8429-F2C7-4198-B81C-7415E25C9E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39977c4f97dd371d59af55b22d7e2bf83be5be66","datavalue":{"value":{"entity-type":"item","numeric-id":5200069,"id":"Q5200069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc36fbb6ed81cbdc7628182f0e500a5eda6dc1ab","datavalue":{"value":{"amount":"+0.7752543091773987","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":"Q2248059$DA06891A-C3D4-47E5-BAA6-A65F2FF24AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c48b7701eea0fd2d5993daac1e4d0d06fbd593","datavalue":{"value":{"entity-type":"item","numeric-id":3541012,"id":"Q3541012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc5a9d0a41d8aec6edf78eb42483f4b94076f169","datavalue":{"value":{"amount":"+0.7724329829216003","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":"Q2248059$5E06A8AC-5FC7-4B7D-ABC2-002A62306E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb45d97f97b2df9c4516e9bcd04da4b299ed7942","datavalue":{"value":{"entity-type":"item","numeric-id":5416741,"id":"Q5416741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48469b5e19ae6c02c14165b278560439968ac90d","datavalue":{"value":{"amount":"+0.7697693109512329","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":"Q2248059$0D914CB7-1DB9-4C1D-BAD0-84DFE9C5679A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5e35b6129d8bec91cf6f4decafdd5ef6a2343d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7001aec69c6495c7a87b49bd3b41ddf6e00ac57","datavalue":{"value":{"amount":"+0.7683753371238708","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":"Q2248059$FFB112F7-6FAC-473E-A0F1-9515778A37AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2248059","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2248059"}}}}}