{"entities":{"Q3510491":{"pageid":5540395,"ns":120,"title":"Item:Q3510491","lastrevid":50399525,"modified":"2026-01-13T23:31:55Z","type":"item","id":"Q3510491","labels":{"en":{"language":"en","value":"Model checking compositional Markov systems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5296766"}},"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":"Q3510491$E8E1E4DB-BEBC-4D52-8471-416EDDBAF997","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ff39509c9326c8a3b0a930d01c73a7d8c1de17d","datavalue":{"value":"1144.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510491$3363FB02-81CB-43A2-9E09-F440E535F5EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09a0e187627ed792b3cb3115679de6d706ea9e0f","datavalue":{"value":{"entity-type":"item","numeric-id":3510490,"id":"Q3510490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510491$62E26CDE-A03E-49C8-8117-EBA5B61BA36F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510491$FA265E7B-3A85-4E8F-AF09-2564908F9EE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"948c3ca0565affac6b2c86c97d65b76facaa3f16","datavalue":{"value":"http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8322-7165-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510491$414677F0-27E6-468A-860E-871ECA17A0E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510491$EED02D24-B82E-407F-9298-A6EF7057FCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510491$31109799-0888-40E9-BBEF-4F352304D808","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c6a2b3730fe9a95a8cf5155579ae2404e062f9b","datavalue":{"value":"5296766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510491$6B6A154C-4662-4577-8B8F-128673F68782","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":"Q3510491$4A5441F1-EB25-420A-977F-11A1981CD58F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313d0dae2625133f96ad04f51eb7cdccd127f47b","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a60a679d5c4e86f3030fc7f027ed6e78b7b519","datavalue":{"value":{"amount":"+0.8070232272148132","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":"Q3510491$699A8A10-80AA-4A1B-BAF8-DAFAD6767A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61832110239ed7373c308c3d0562a9d33ee6400f","datavalue":{"value":{"entity-type":"item","numeric-id":3557065,"id":"Q3557065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2fa37752ca0be1b6a351c698605503e6d3c3c8","datavalue":{"value":{"amount":"+0.8031173944473267","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":"Q3510491$3366D924-0A0E-4990-A1E6-346CAEDFB749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e78293d3952d2e142ca43e1e02bb92287cc54c","datavalue":{"value":{"entity-type":"item","numeric-id":3066128,"id":"Q3066128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c17dda79fe226b8595fe904050b8010fcd08acc","datavalue":{"value":{"amount":"+0.7800214886665344","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":"Q3510491$CF72C4D4-3480-4627-8A14-B334A78627E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320b564d9f4f19744106617d05644e9d8840469a","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"497c635df727e61e498adc4d79e7046a9b0381ea","datavalue":{"value":{"amount":"+0.7789890766143799","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":"Q3510491$41A09DB8-9FF7-4C92-BF3E-AFE98F8D83C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee715e587f3b38e40866e1cb19df1dea84016d7","datavalue":{"value":{"entity-type":"item","numeric-id":2842120,"id":"Q2842120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b370162f64251fa0ca0c4aae2dbdfa949407ad58","datavalue":{"value":{"amount":"+0.7771707773208618","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":"Q3510491$D0A7D1A8-5B28-4974-9288-52481A9DA542","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510491","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510491"}}}}}