{"entities":{"Q2389338":{"pageid":2400081,"ns":120,"title":"Item:Q2389338","lastrevid":72678147,"modified":"2026-04-14T06:27:23Z","type":"item","id":"Q2389338","labels":{"en":{"language":"en","value":"Symbolic model checking for channel-based component connectors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5579074"}},"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":"Q2389338$1432B695-A3AC-48A5-A679-5759103F68CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f982215ede4ba9b02b641d2b05ce97b43d970b05","datavalue":{"value":{"text":"Symbolic model checking for channel-based component connectors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2389338$F964729C-B894-414D-9CE0-544C69BD6301","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"470bb0e8d47573312debaa2a161ae0b6c7ea2c16","datavalue":{"value":"1167.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389338$7E8E2942-82EB-4DF8-897F-1F2A7E8DD9D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed2781b53a0a8b46d604dc9c062a87a23780da56","datavalue":{"value":{"entity-type":"item","numeric-id":967522,"id":"Q967522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389338$F9DD9B5B-D297-43DB-9250-5C9F23FD968C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389338$D79088FE-E676-40F7-B2E9-5437785CBF5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389338$AB375A03-D621-47C3-863B-B21B055F5D18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8768e7a5d5b85f5421c2a03899fbac26eac6319","datavalue":{"value":{"time":"+2009-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2389338$C6B62975-8D1F-4AAA-8569-2A48592DD93C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389338$8DB113C2-DBA8-46AF-B59B-62B592500E51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f98014a9cac12cb30e7be2f2a1a5d2cd61f55529","datavalue":{"value":"5579074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389338$317508D3-E7AA-4587-8BF8-CFD55647A79D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0aa662b2b7ee896a11f94703cabb105ae5fd891","datavalue":{"value":"constraint automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389338$DF7E6C21-9ECC-490A-A889-7BB738937419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389338$E9B67EBD-F547-48E9-9C23-196DC49D9E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22faee7a58a8049518b23c537e4b85ea66f3563a","datavalue":{"value":"branching time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389338$459C23EA-1B58-4B12-8B95-78E318D72154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8a4705fb72c24781f28685359fd87f282d5c06e","datavalue":{"value":"data streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389338$AEE0F329-62DB-43FC-BEF7-AFDB0A6D24F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389338$0DD28FBE-3C13-476F-8CB9-5B630C5F1290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92d06a08bd127fd75955d50fdd5f150c72cf7cee","datavalue":{"value":"Reo","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389338$071DE6E2-C227-442C-8E96-1243E8E6D8DE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a8414726934ad74fc66bfb4dfdb61eea21cec47","datavalue":{"value":{"entity-type":"item","numeric-id":18479,"id":"Q18479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389338$0DA48044-BDAC-4AA3-A8EF-C20C4009C8B7","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":"Q2389338$D3A559EE-326B-4197-BB14-E53BFB9C21F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1517419510ccfafcb212427efb2ea36c5b1d09af","datavalue":{"value":"https://doi.org/10.1016/j.scico.2008.09.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2389338$7BBBC4E7-BEEC-499A-A220-82CC615EBAC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0609833bb10594c908b9a6e1450531f87fec043f","datavalue":{"value":"W2000050281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389338$34A51C83-6345-44AF-913D-C19CF44F8CB4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"633f782ab060a5035a3a732b5c63e01ae4744325","datavalue":{"value":{"entity-type":"item","numeric-id":5897123,"id":"Q5897123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389338$EEA4CAD6-C1AA-4371-BAB5-D105AD20F0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5ddc6c0766496c445e307e5e9c51907b2d428a","datavalue":{"value":{"entity-type":"item","numeric-id":4819114,"id":"Q4819114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389338$9B6D80F8-4E5B-41B7-A378-79E5288B874B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c04514017ccf09a1182abf7d6ba78fbb552273","datavalue":{"value":{"entity-type":"item","numeric-id":5900818,"id":"Q5900818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389338$0CBD8AD7-43EB-4100-B162-7EF0AC60338A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316a7f52d1a85eea1cb2fa0afaf4cb5ab7a50ad5","datavalue":{"value":{"entity-type":"item","numeric-id":2495551,"id":"Q2495551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389338$5A9E9940-9E17-48E7-AC3F-0EA2D5AAE14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ee6aa321f9adbd8dbe2049b3e3a72d1f3577161","datavalue":{"value":{"entity-type":"item","numeric-id":1416838,"id":"Q1416838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389338$C6E2E4B6-13BF-4805-B602-19C94B83A846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389338$32A6427B-E74D-4FA6-9604-395FAE461DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389338$489B0139-5272-4A01-80FD-553CF306CF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42221eafb59709a6d2964c137b17785812806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389338$3416A906-4937-4930-AA28-C78A7B87311E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389338$30746A81-D6F3-45EA-ACBC-C68833272B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d86aea778343072a3160fb17bfd25242a00010","datavalue":{"value":{"entity-type":"item","numeric-id":4888830,"id":"Q4888830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389338$17ECEB6C-3A40-41E2-A861-718552A4E30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389338$14AF4E62-B781-4EED-8F25-BC3AC0C539F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389338$E3B58167-6A62-4B4E-9EA8-5EF2354348DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d715b3ebd64360a07f63c1fa612127382417fec0","datavalue":{"value":"10.1016/J.SCICO.2008.09.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389338$35916A9D-169E-4116-87D1-FC7FDCAB867E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7094a3c988c734ca21ea53bc6ec6f202282d2855","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7485ff69f824b6cc8aee00c51d6750462b3eb093","datavalue":{"value":{"amount":"+0.7597155570983887","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":"Q2389338$674DCDC6-7D05-431C-A56A-36FD26F99460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"852ad7ae2c4d6f7c5e0fcc54b3eab08c1293a8ec","datavalue":{"value":{"entity-type":"item","numeric-id":3400925,"id":"Q3400925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1682a7c8cefb3e2bbc9139a95f736f7fa32b0ee","datavalue":{"value":{"amount":"+0.7572129368782043","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":"Q2389338$8B3B131C-A4ED-4B6E-BE23-731753CC65EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60083195d5298330dc01e257307502926fd4b338","datavalue":{"value":{"entity-type":"item","numeric-id":3638992,"id":"Q3638992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bdf564665d9d751edc08ef9881a20b3c6ed92b0","datavalue":{"value":{"amount":"+0.7461921572685242","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":"Q2389338$E33F3088-31CC-4725-AE0A-C29BE1BB747B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"301ddc2298731a8a016fbbc12e07b891a3c36891","datavalue":{"value":{"entity-type":"item","numeric-id":3628607,"id":"Q3628607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"872b8d27c89b9238e6ad70806e97c3bf9fd8f863","datavalue":{"value":{"amount":"+0.7446871995925903","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":"Q2389338$233CD86D-A663-43BD-8DF0-6AB356CB11E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2590457b4043c7e9e101da71e3465af57ce0a0","datavalue":{"value":{"entity-type":"item","numeric-id":5900818,"id":"Q5900818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea4d92d3c0e4547d143913ea18e591cc0631f61","datavalue":{"value":{"amount":"+0.7429559826850891","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":"Q2389338$ED35C604-18C0-45F3-99FC-E6B72DA294DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic model checking for channel-based component connectors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_model_checking_for_channel-based_component_connectors"}}}}}