{"entities":{"Q6587115":{"pageid":14198271,"ns":120,"title":"Item:Q6587115","lastrevid":42364898,"modified":"2025-06-13T03:58:30Z","type":"item","id":"Q6587115","labels":{"en":{"language":"en","value":"Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896543"}},"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":"Q6587115$0D5A889F-8622-4DE9-BF27-0BF347EAE4F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf25ec93f49602de4772d37923f88e41d3725126","datavalue":{"value":{"text":"Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587115$3F58A613-1494-4524-AFA2-9CF59FD77426","rank":"normal"}],"P16":[{"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":"Q6587115$29075C1C-5924-4458-A5F2-CBFD12C40759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"110c1abda81ec91e516f283bbc1882db98bfec7f","datavalue":{"value":{"entity-type":"item","numeric-id":832239,"id":"Q832239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587115$E83CA3B6-B163-42D7-8B2B-44909ECB27FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38fcb30a53aadaa16c67f4c81a6c40126b13614f","datavalue":{"value":{"entity-type":"item","numeric-id":832240,"id":"Q832240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587115$C2754F8C-EE7A-4E71-987E-68C3278209D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85aa7382695dcfb25cd4f1b5fa328c0d7f0fd9e9","datavalue":{"value":{"entity-type":"item","numeric-id":5089223,"id":"Q5089223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587115$D6E3B2E7-CD25-42BC-A702-D79B990DF96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e40f8335b4373d4377ddbb7c5fcf2e4c426cc56","datavalue":{"value":{"entity-type":"item","numeric-id":832092,"id":"Q832092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587115$E28EC9CD-AB1E-4A0E-88F7-A2F026F866D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587115$3416D284-BECD-40DB-945B-1B9A2E220496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20f5b4127431a252123fabe9a9dd1834e29c1af","datavalue":{"value":{"entity-type":"item","numeric-id":832261,"id":"Q832261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587115$D5AAD8D4-82E1-48C3-907D-60BD8C02748C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26b4514167d8cebf022214a803a4b7f5e8d15c8f","datavalue":{"value":{"entity-type":"item","numeric-id":521379,"id":"Q521379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587115$4962666D-9578-4129-93ED-DCE0D057860A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587115$8E0EBBCB-AFD6-403C-86D6-93D65B792E9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587115$F70C1199-972D-4E1E-A628-39B2C31DFAF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587115$85B7E980-0E5F-4E5A-B47C-C95AA6A9492E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfaecf8c1a335eedb5e5b0476e68f9b952e44f7a","datavalue":{"value":"7896543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587115$2862C564-4974-4A66-B861-865CEF311F22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587115$15445C39-4D95-4AEA-92BA-C20ECA279EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71cafc5ab76a65bd6e33a231c10087fc27def53b","datavalue":{"value":"parametric Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587115$929D81E4-406E-441B-B888-D7668652C8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68ecee709fa9febe397963ed3ef34bd56cea5146","datavalue":{"value":"distribution transformer semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587115$89E1CD76-335D-42E1-8477-1ADC267A9474","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":"Q6587115$756853FC-752E-4A74-894A-4BFDED7E2F08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9755e0250a156c6c93d8740389406baed60d0ea6","datavalue":{"value":"10.4230/LIPICS.CONCUR.2022.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587115$00789969-C5B1-4933-9F67-398B28A6E78D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6587115","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6587115"}}}}}