{"entities":{"Q533361":{"pageid":535128,"ns":120,"title":"Item:Q533361","lastrevid":62579247,"modified":"2026-04-11T07:02:44Z","type":"item","id":"Q533361","labels":{"en":{"language":"en","value":"Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5883072"}},"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":"Q533361$6719D55F-5001-43C4-AF48-9C569C6A6B91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"388327ac24c12daa6a3cf818386156a919305642","datavalue":{"value":{"text":"Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q533361$172AA01C-F92A-430A-8023-A06106CBAEFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"357e0343e2dab757975d20f1e9b640e05e5ef875","datavalue":{"value":"1211.92021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q533361$C5E65558-C9B4-415B-9C6C-A7A6205C8845","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3492802310ea237e48fe4aa2834169fa16ff3309","datavalue":{"value":{"entity-type":"item","numeric-id":533359,"id":"Q533359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$B0382EED-E113-46C9-B4F2-5A49FE4ED933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f24ad24231c51e9e7e1d995592b4f152bf76bd99","datavalue":{"value":{"entity-type":"item","numeric-id":533360,"id":"Q533360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$57A80743-EAD1-44A4-A340-AF196D595F44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$0FB12976-AEFE-47C5-B983-1715B33D9586","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1027a69b5950b2bebc334133e115a4f0d3de3d6","datavalue":{"value":{"time":"+2011-05-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":"Q533361$C5547B41-662E-469F-BC3F-61C817FCB91D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cc6a2d1a81aec0cb5abdfe44055f934ac25329b","datavalue":{"value":"92C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q533361$AA888804-3318-417A-83A0-C5FFBF17F3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q533361$241CAD11-A9D7-4DD6-B6E2-DEDDB5F068D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q533361$268FD630-0DDB-401C-A8CA-1F99B28A1278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"708a6f1a75f978962215fcdf6748c16c77f4fd6e","datavalue":{"value":"62P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q533361$F498CEF6-0B34-453A-8279-1881C3E4619E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a3b56b9370e2a5b7f63132367f814c4ec6f1c3c7","datavalue":{"value":"65C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q533361$6AB36ECF-7EB0-4DCA-89C8-C47A94211A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q533361$54932FB4-7B5A-41A8-B3B5-0F0EEB5A81E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b97026b583a934a53ca842b4548907dff02a74e0","datavalue":{"value":"5883072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q533361$84F08242-5F37-45E0-BDA5-50FB1D546A5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71935729bce666d4923eda193cbdcd96dd69ee74","datavalue":{"value":"systems biology","type":"string"},"datatype":"string"},"type":"statement","id":"Q533361$72F64260-3DBF-473A-A240-C83862DE09BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e101f7f59f22564ca505a04735b03a71301737","datavalue":{"value":"stochastic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q533361$C4B1C237-BACB-4C59-AF23-D11AB8E2F2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68fcceb571b26a4c9b75f5c240617195525207bb","datavalue":{"value":"parameter synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q533361$DAC5A8BE-98AD-412C-9610-2268ADFCAECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8251304615417cb5dbc650f2afaa4aa225292195","datavalue":{"value":"model infeasibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q533361$5418A336-EBC4-4095-835C-7BA1A79C473C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q533361$9807AC86-C139-4E12-9416-5C6700F3785E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d0c9f773002b18cf1ff08d115d66842d31d72e91","datavalue":{"value":{"entity-type":"item","numeric-id":21906,"id":"Q21906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$D9996570-8D72-4980-8D86-015CEDC337F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19ea0268485aa3f9787caf2b44c02b981e5e73ce","datavalue":{"value":{"entity-type":"item","numeric-id":16320,"id":"Q16320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$436D2B7A-64AF-4325-B1F2-3FA06FF4AFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cf3b53fddd0939c65f47cd2c3ecdd8d7e23ce456","datavalue":{"value":{"entity-type":"item","numeric-id":23425,"id":"Q23425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$3B2C1807-2993-49D8-B703-F483C23F6EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$6D379F7A-971F-4E35-BEDE-3F29877AD453","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":"Q533361$BE2C2690-CB0F-4914-B821-3F508A33006B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94d04dddfe2a652a7fbb6c90939173df28cf2efb","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.01.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q533361$50E3C4D9-B3CB-47CA-AABD-C47C4DDD1C4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d6921dba4a626aa001dd516dc3640abdd025797","datavalue":{"value":"W1965702219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q533361$21E93180-584A-4DBC-ADE3-B10D7A33571B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$506EA8A5-471B-4A29-B959-02E7BFEEE56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a39efbcf1ea2df828f7353a567f294d02c8e00","datavalue":{"value":{"entity-type":"item","numeric-id":657698,"id":"Q657698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$784A5EBD-AAA9-45E9-9C79-066136BDF0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbacf7213fac1ad7134058ae3b370a57245783d9","datavalue":{"value":{"entity-type":"item","numeric-id":2754104,"id":"Q2754104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$2BE03B26-DFA2-4239-9C25-53593285338F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17227eab8c4ab9c03769b3696e360e757a8518fe","datavalue":{"value":{"entity-type":"item","numeric-id":868432,"id":"Q868432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$5010D6A7-DB5C-4619-8548-F745707660C6","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":"Q533361$3C25BE5E-21F0-4D43-8E66-5E85ECFD7987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24c588c367f11d776ad86f4fe0ccd1567dc27d73","datavalue":{"value":{"entity-type":"item","numeric-id":2371887,"id":"Q2371887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$7EE6DEB3-F807-4B4D-B269-83AE034D6D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0002858691d36f1151f3c0038479d7be3d0f19f4","datavalue":{"value":{"entity-type":"item","numeric-id":4413225,"id":"Q4413225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$DE59BD4C-4478-4799-9AB0-6BB9F5FE8F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$9F86B430-5427-4793-9BE7-FB68FEBE52A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02c90d5dfcae50baaaab8bcbb80dfd3f95124ef","datavalue":{"value":{"entity-type":"item","numeric-id":3612969,"id":"Q3612969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$C6E80B5A-93B4-46A9-9393-F46CF73F5D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b58796cf00b940d3bc56a4acf10581f80a01256","datavalue":{"value":{"entity-type":"item","numeric-id":5898978,"id":"Q5898978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$D792BB1F-2126-4AE7-8735-E10D65029A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09648fb46469011140ab8712b83801125017f5c0","datavalue":{"value":{"entity-type":"item","numeric-id":3523107,"id":"Q3523107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$456C5384-85BC-4122-9DA4-42F692F5B6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be4aeabd76882cd08097b6b24f3517c4224cbf14","datavalue":{"value":{"entity-type":"item","numeric-id":4417994,"id":"Q4417994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$CFA067DC-F75C-4217-BDCD-E01E04457DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b1b68f3b9227f6893b9b967eee56379ca0ea92","datavalue":{"value":{"entity-type":"item","numeric-id":5703764,"id":"Q5703764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$62F639CF-F728-4BE9-A816-1ED392415CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e13a0e7c5ee2944580dd300a656a9cfafaf4d5","datavalue":{"value":{"entity-type":"item","numeric-id":2474435,"id":"Q2474435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$0BD2A4A7-534D-4B97-93FF-4D3E5E2CAB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dab088d995d3d939e403e3a0a80def6dff68a2","datavalue":{"value":{"entity-type":"item","numeric-id":5901904,"id":"Q5901904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$2FC174DD-32CE-460D-9FB9-4EA74E499818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1158d1a9a0e55cab1b277faab3807870f28bb880","datavalue":{"value":{"entity-type":"item","numeric-id":5726065,"id":"Q5726065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$0808750B-3F3E-48B7-AC63-809CDD121EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55c4252d7d980545543cc918e92286a79060f15e","datavalue":{"value":{"entity-type":"item","numeric-id":3510848,"id":"Q3510848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$C9E937EA-7BF1-4878-A7D7-67C1BAEA5E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6a7918bf4a2ff0a7dd0c860a931a547e7e751b","datavalue":{"value":{"entity-type":"item","numeric-id":3612979,"id":"Q3612979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$F759BFB3-5ED6-4119-8AC2-0C563E8EB111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e942176137f1b90262b4539514bd834122c35dea","datavalue":{"value":{"entity-type":"item","numeric-id":1398133,"id":"Q1398133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$5379D5E8-3D42-4AF6-B847-C126EF1E5D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17638db1f144c3c0eb75314d4bcb89af51a3e82","datavalue":{"value":{"entity-type":"item","numeric-id":4953402,"id":"Q4953402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$6609C8C5-5E74-41E8-B522-D6F5CD844EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$187048DE-4405-4220-9FA8-E6B3E5E2406B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b64edaefc1341a6e2a6192158f59846c43ad037","datavalue":{"value":{"entity-type":"item","numeric-id":5312900,"id":"Q5312900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$8976AE47-9DDB-49D4-AC31-DFB1B64840FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408563137274f89aaaf748e3ef7fa707ad154441","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$080D6649-E4C0-4197-AE99-E413C5E2E46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054ea8f58ba45108d452657f9db815887ac8ece3","datavalue":{"value":{"entity-type":"item","numeric-id":4418863,"id":"Q4418863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$ABA73188-D976-41C8-AEDA-48EAB05F8C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abce7460f53931c79ff8c0ec3edb21464689b134","datavalue":{"value":{"entity-type":"item","numeric-id":4953388,"id":"Q4953388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$22A41EEB-5C11-4D10-B018-E5E518B543DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27c3d7723f28194a995f526d5c63bbd591aa725","datavalue":{"value":{"entity-type":"item","numeric-id":5836364,"id":"Q5836364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$0B3E2ACE-3F7A-449A-B3B4-8D536A2BB7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb95e9c8e0397dc3a0c25d523be278c079261978","datavalue":{"value":{"entity-type":"item","numeric-id":5801671,"id":"Q5801671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$0FF9051D-19D6-471B-BE53-53C25B6CCFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565422056a5f210aace0a69b27549f3fa24348f7","datavalue":{"value":{"entity-type":"item","numeric-id":4806205,"id":"Q4806205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$61B30B08-E62C-43EA-81F9-7364EF15004A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc8a7d69d1fddee9c9a2d74466b5eb6eab42ed50","datavalue":{"value":{"entity-type":"item","numeric-id":2509358,"id":"Q2509358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q533361$927FD0FA-0AC5-4523-8FB6-CB1A14EAC331","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f9ad7aff16db3441944214129289916d9e0b68a","datavalue":{"value":"10.1016/J.TCS.2011.01.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q533361$C6EB957E-73CF-44C3-8393-0E2FAFF3E66E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acabd4b2b5a518b01e22ccb61aeea26d6921a0aa","datavalue":{"value":{"entity-type":"item","numeric-id":2407983,"id":"Q2407983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35bc03b231075e63056d1afde516b3ddd738e945","datavalue":{"value":{"amount":"+0.8439525961875916","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":"Q533361$46E84E6C-0F69-4922-BD8A-8E4855FEC183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd051791b2d19bde840525f129250bdc5a47d969","datavalue":{"value":{"entity-type":"item","numeric-id":2110675,"id":"Q2110675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39db51e7a767c4996ccf216c00bdf7ad8b252b1","datavalue":{"value":{"amount":"+0.7387070059776306","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":"Q533361$E2096922-7A9D-4274-9121-EBC9D8271B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635341fe2b70c65723ea937d500700ac72e18697","datavalue":{"value":{"entity-type":"item","numeric-id":5206952,"id":"Q5206952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6999e3e87c3cbd245037cd26c03b3d81d27c7e50","datavalue":{"value":{"amount":"+0.7364410161972046","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":"Q533361$9E9E6D5E-54C3-481B-BBDD-9008C532F042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94802cc7800247854465da3e2c69c4359b5b10c","datavalue":{"value":{"entity-type":"item","numeric-id":5204380,"id":"Q5204380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0dd19b69459763604fdb953e2e9f15e3430ffab","datavalue":{"value":{"amount":"+0.7349277138710022","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":"Q533361$FD34D104-75C6-4E70-BF33-AEC961DDBAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80d3b0d302f82eb633d641d3871734ccd5f5f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":2324239,"id":"Q2324239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cd881ae433b222ade4702fba32a8a1008450cbb","datavalue":{"value":{"amount":"+0.7311229109764099","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":"Q533361$C172676C-9F77-44A5-B1BF-CB9E4B02ED23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesis_and_infeasibility_analysis_for_stochastic_models_of_biochemical_systems_using_statistical_model_checking_and_abstraction_refinement"}}}}}