{"entities":{"Q2810967":{"pageid":2821705,"ns":120,"title":"Item:Q2810967","lastrevid":52548035,"modified":"2026-01-22T22:43:24Z","type":"item","id":"Q2810967","labels":{"en":{"language":"en","value":"Compositional model checking of product-form CTMCs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6589706"}},"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":"Q2810967$CCB9200F-F2C8-42BB-AE29-52872D9C02EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c4574399818cb6b59fb0b21e2216cc616801671","datavalue":{"value":"1339.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810967$66B4772C-3F6B-4874-878F-F01B03833343","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8092b1c44bd8b7c440d5adecddb9d73c2bd4766","datavalue":{"value":{"entity-type":"item","numeric-id":498907,"id":"Q498907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810967$F2907E70-4D16-4A6D-956D-3942877F5A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b523883019f39f48507a4b45bc671910a982770","datavalue":{"value":{"entity-type":"item","numeric-id":2348026,"id":"Q2348026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810967$2A5BFFFA-C10E-40B8-B76A-9CE969FD95B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810967$7AE2F9C5-0010-460C-BDE3-B18C825A82F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d066e43a0d378deda532184f86b234184fe2275a","datavalue":{"value":{"time":"+2016-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2810967$F66C8728-E578-477B-8F8A-8C54C0153BA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810967$93FDA31E-95F9-4C57-823F-7296B29D4A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810967$8CEB1D08-F995-4BCF-9724-1940E26F59A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bfd44d39fc48f1c1778c5522f250d3165ba32e9","datavalue":{"value":"60J28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810967$92499AED-0F0F-4D3B-8F05-4BE6685850D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810967$069D89E3-6176-4BBC-B819-C66E63A6FC79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b745682ca52f0a0ba8947943f8ed4bdc7c21f69","datavalue":{"value":"6589706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810967$3B2CD66B-9AF1-465E-8300-97D2A0CEBE04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eb2a2ad090cc265f78df6ece4d6046787a6bba5","datavalue":{"value":"compositional stochastic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810967$137A3C19-C937-46D0-A079-E6E762190D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b1be6f98723dd81e7dd26fa86f4a0ff96fe554","datavalue":{"value":"product-form Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810967$AB9F8044-9EA1-45C6-8296-9E4CF57521C1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"36eab66e29b9c417656394ead8714699e82deae9","datavalue":{"value":"Q62048474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810967$CB8EDDA0-E6B6-4993-B95C-A1DBFF7FD357","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":"Q2810967$6EE469FE-F860-4B38-BF90-8573F05CCF26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76e95db126166debacd4b88067968a28b07ccd66","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.08.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2810967$56F183FD-EDC3-4788-BF89-4659994665F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bc30205f98b86265827932b239fd608a81dacfd","datavalue":{"value":"W1992138501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810967$1E4FE8EA-B9E9-465A-B25E-569920FDAFF9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58d8d8c115929f1bebe5ab67166db3c1ed09d44","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810967$7B33CCC7-D195-4011-88AC-3A25FCE85A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e1075ad982b075ef8bc7448ff80a41d820f94c","datavalue":{"value":{"entity-type":"item","numeric-id":1400291,"id":"Q1400291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810967$E64239D1-CB61-472C-B871-420DC3F44C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07d771a9dd85612e75cc2c93439d5a05ea43c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5325840,"id":"Q5325840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810967$B70CE264-CCF1-4B11-8575-39F7178EBEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3508664e84c87c0b7f576cc2ff5a6100ba227a","datavalue":{"value":{"entity-type":"item","numeric-id":4571974,"id":"Q4571974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810967$488D2167-94D3-40C5-AB23-8D40910630AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967f07b57addb157d54cc7fba4da18bf91f4125","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810967$56FF63C8-9FF2-41D9-AC7B-DBC79184A89A","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":"Q2810967$9D267D41-204E-486F-ACAC-09D1534970C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9500ff483f0e1f97a5bb78b70386b2d6dcf53f0","datavalue":{"value":{"entity-type":"item","numeric-id":4798030,"id":"Q4798030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810967$41706D5C-F8DC-472D-9AF5-D83AE50ED894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810967$0E429FF0-8FB9-4C44-B51E-5ADFB9500D38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaf706b148c1aff3c4bfd90bf9bb99c185d638e1","datavalue":{"value":"10.1016/J.ENTCS.2009.08.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810967$031A6BAD-B5A8-4428-814B-78B8A3BB2170","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"d9e785e0b5403e0dac8dadf99c8a496429276a36","datavalue":{"value":"journals/entcs/BallariniH09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810967$0085EF54-4AC7-49BD-84E0-D5BE512D2FD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0ec640d611df749c2e2b1d0726d4a3e0d03a1f7","datavalue":{"value":{"text":"Compositional model checking of product-form CTMCs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810967$CC1BB22B-4946-4220-AD0C-797640775564","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e86c268dc1acaf66e0136a2fe8d43f16d7d0ea7","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a09bade36cd42e88edae54c29263d485baaff2","datavalue":{"value":{"amount":"+0.7894397377967834","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":"Q2810967$153705FF-50E7-4FD7-9CF7-901AE9C0EB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5b08cbe2ce280e7e3b4563c5dcf1960b830f116","datavalue":{"value":{"entity-type":"item","numeric-id":1400291,"id":"Q1400291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15fe3fe72b7290cfa4638789e494d42b180c468c","datavalue":{"value":{"amount":"+0.7871314287185669","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":"Q2810967$6FF18684-4BFF-4188-89D5-7A3AF369F6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7cdc9043065994f5a3a23e8bef5147d1a4efc7","datavalue":{"value":{"entity-type":"item","numeric-id":4779393,"id":"Q4779393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ee8d9fc1bac383bdd9f80b0f4ea67fa55c332d","datavalue":{"value":{"amount":"+0.7731343507766724","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":"Q2810967$EBEDE190-BCCC-491C-8393-716043A34B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2bb6a6c05470d9001c41536a1bc56f05f0f345","datavalue":{"value":{"entity-type":"item","numeric-id":4518904,"id":"Q4518904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a19e324681a5e4c7f4069d41db3bcb290d93a09","datavalue":{"value":{"amount":"+0.7671192288398743","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":"Q2810967$9DE719E7-E5CC-4A44-9BC2-5CB02A9C3E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02c7b511ad267195d8f70d214cd30c1e43450ee2","datavalue":{"value":{"entity-type":"item","numeric-id":3011895,"id":"Q3011895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ffb27ce3ec3c345a24ae45665530032a881ec92","datavalue":{"value":{"amount":"+0.7655913233757019","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":"Q2810967$22FF32BF-9EA8-471F-8D33-BD48A89CDC9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2810967","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2810967"}}}}}