{"entities":{"Q3528912":{"pageid":5558816,"ns":120,"title":"Item:Q3528912","lastrevid":50472422,"modified":"2026-01-14T03:35:01Z","type":"item","id":"Q3528912","labels":{"en":{"language":"en","value":"The demand for reliability in probabilistic verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5353380"}},"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":"Q3528912$D4F35D4A-A64E-4F66-AF6E-AB4F9E2B8C43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df56c76c237369b513b2f95d923291bd97d6cf35","datavalue":{"value":"1156.68480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528912$E7687B3E-7757-497A-865B-FF273BEA5DC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c827a3a38a662dea5f87c90599612538f5739678","datavalue":{"value":{"entity-type":"item","numeric-id":402121,"id":"Q402121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3528912$CA3F4058-0FF0-49C3-99AF-9834A8481535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e87f3a3a0165717fabf81d0e9a2337b56848cee","datavalue":{"value":{"entity-type":"item","numeric-id":3528911,"id":"Q3528911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3528912$4A4A1A31-FA7E-47F5-80A9-AF1882CF2CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d118098d92196493c0a2dbf660f2391be37ad35b","datavalue":{"value":{"entity-type":"item","numeric-id":2864379,"id":"Q2864379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3528912$20CA93DF-8D26-4182-BB12-AA4533925896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db1c1d4758cc84ba91e5181bfa794ba378ebc68","datavalue":{"value":{"entity-type":"item","numeric-id":402124,"id":"Q402124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3528912$85AF9D83-757B-4555-9C11-C00347264683","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f51f874f60a0661a38f64a7f4753a2a4e6d82d5","datavalue":{"value":{"time":"+2008-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3528912$B1ED72F1-9649-43B0-9D3B-F3A063FE6261","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528912$EABB01DA-5C5B-4BF3-92B4-3E374047EAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528912$D5D1B871-8AE2-4945-ABCD-67E4AA1086AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9d47e0f5ab8daec04978343ea0d8959da4e0139","datavalue":{"value":"5353380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528912$CAB80BA7-3128-45BA-978F-DA31BCF9105B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ad0740992ee42b4e1685cdcdedd8c5c1bb7edc5","datavalue":{"value":"model checking of digital systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3528912$3E2DDE4E-5C58-4E2C-B246-3058B5717BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3528912$A6047123-8AEF-4AC5-A52A-B97EECE465D5","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":"Q3528912$54ADF430-6EF0-48A1-B58D-D731007EE051","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea7f4d63151a11e936f0012ed4eb5ea493dbeed9","datavalue":{"value":{"entity-type":"item","numeric-id":2151242,"id":"Q2151242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1569bab88b1999205deb52f2b563fb97fbac4a67","datavalue":{"value":{"amount":"+0.7772743701934814","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":"Q3528912$FDB8EC9B-DF5C-4DE1-AD6B-1F785B0E012B","rank":"normal"},{"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":"e2250a8df33e5bbd24eab6a0696feb7e9ca30656","datavalue":{"value":{"amount":"+0.765815019607544","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":"Q3528912$9734BEAD-E07E-4E21-BD9D-A92D2E8C4CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf1785c1e07de294da8d3d7ad6c8946c960b6bc8","datavalue":{"value":{"entity-type":"item","numeric-id":5898615,"id":"Q5898615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce431ed8946cdaca15ccc63fa1fcaab4215d354b","datavalue":{"value":{"amount":"+0.7650752663612366","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":"Q3528912$2CDA6E0C-B66A-4AB0-AC81-E0155239497C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11151f9884af4846a2c2083068fabda4e8fe0464","datavalue":{"value":{"entity-type":"item","numeric-id":2478551,"id":"Q2478551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b5413460a9a4e6ffc51ffb3ab0d7c2c4f0110e","datavalue":{"value":{"amount":"+0.7546216249465942","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":"Q3528912$00B057A4-8FA7-4952-B123-8AD95B30FE7F","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":"4b836c7b2e9adfb9e6297fddce0ce861eff2220c","datavalue":{"value":{"amount":"+0.7475727796554565","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":"Q3528912$AD175092-C33A-4676-8225-7DEA63CBE5F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3528912","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3528912"}}}}}