{"entities":{"Q4683261":{"pageid":6712842,"ns":120,"title":"Item:Q4683261","lastrevid":37095771,"modified":"2024-07-30T08:31:57Z","type":"item","id":"Q4683261","labels":{"en":{"language":"en","value":"Towards Formal Evaluation and Verification of Probabilistic Design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6940761"}},"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":"Q4683261$4B6EA845-A000-4453-865A-123AEBFEFA4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a89bef1b87e07abc2c2a0dba47728e7391110707","datavalue":{"value":{"text":"Towards Formal Evaluation and Verification of Probabilistic Design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4683261$E71312DA-1E49-48D2-B9C8-184C9A3DF7D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12e6c86d71ee87b8b9224bd2e74e485070cb7aa5","datavalue":{"value":"1433.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683261$5F6981BE-5659-4898-83F5-2697EE19B1E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e4b3c9e182d459f62964c307d61d998db7ff9c3","datavalue":{"value":"10.1109/TC.2018.2807431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683261$FEC1206B-0718-46E2-8F03-762BC548D5C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32907325a56017b4dae5ba711bca04428c2cbb16","datavalue":{"value":{"entity-type":"item","numeric-id":4683260,"id":"Q4683260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683261$9314309D-0036-4ABF-B9B6-A25A7DD7B526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d108f2cc75f223419614b9663d463900e39edb7c","datavalue":{"value":{"entity-type":"item","numeric-id":2435314,"id":"Q2435314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683261$03E8356E-4C49-485A-9CC4-8B3DB0F08110","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683261$27B81E10-AB9A-4424-A02C-6D4C3C686BE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45b0b308b892e14a056523b8ca557a64add37a38","datavalue":{"value":{"time":"+2018-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4683261$07124691-7E0D-48E1-A38F-769E26C0DC8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683261$C0CCE4E1-BE93-4A99-8D89-A4BDFBAA6436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683261$91D0E5B1-2AD6-4BEC-8AA5-6C5F6D14D30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683261$8E952292-8F2A-4BF5-A7D5-7F0099B7D19B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3dcebb61cacd73a453eaac7410f32de586dd5ba","datavalue":{"value":"6940761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683261$6E704266-B3E2-4788-91BE-4069A8D517E3","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":"Q4683261$E33EF9E1-063B-4630-B471-CFBC2589C351","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e80b2df37251e056c66b4c1a8f10c404f1743e1","datavalue":{"value":"https://doi.org/10.1109/tc.2018.2807431","type":"string"},"datatype":"url"},"type":"statement","id":"Q4683261$D708CAA1-2EE9-4538-AE4B-7CBDC2D10307","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48c6f201b9fa357836a441611dbcc14975b2253d","datavalue":{"value":"W2790447789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683261$735B33E2-32E7-4CEA-BF08-DAB6A5989D2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4683261","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4683261"}}}}}