{"entities":{"Q2985890":{"pageid":2996615,"ns":120,"title":"Item:Q2985890","lastrevid":85739729,"modified":"2026-06-03T11:20:19Z","type":"item","id":"Q2985890","labels":{"en":{"language":"en","value":"Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6714009"}},"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":"Q2985890$5DE3A17E-46CD-4F12-B825-722C1946156D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5d5a6cf19103fcb1bc4747ffc64e6314d9c2247","datavalue":{"value":{"text":"Modeling and verification of stochastic hybrid systems using HIOA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2985890$F05DEDF4-D76E-4EF9-A432-A6EEE4C6CFAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6d7869b57a49183936b6508d348d4a401a380fc","datavalue":{"value":"1360.92044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985890$7D01E46D-71A5-401C-ACFC-4E771CFC4DBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d66c7f9b197b2ef665b7a747c0d2c929c6cd443","datavalue":{"value":"10.1145/1755952.1755989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985890$3190D802-A231-4BD5-B290-8B915F7C266E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5d37cecbb74a1df7234cc0da153391361eaeb4","datavalue":{"value":{"entity-type":"item","numeric-id":534377,"id":"Q534377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985890$9B891D4A-3111-43F5-B0D5-01242AFE72E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eb46cd344108c864b2f16861a4edec764c0ae87","datavalue":{"value":{"entity-type":"item","numeric-id":290822,"id":"Q290822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985890$45A83DED-8F89-4E0A-A635-356E8A4ECD2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0830b461b2628d60d78b1ee4b6f9ab7534bcf7ef","datavalue":{"value":{"entity-type":"item","numeric-id":2985856,"id":"Q2985856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985890$3C2334CF-9FA7-492F-8D04-73070BE79C2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2985890$FC83DC62-FB38-45B6-A1A7-B3DBB7150FF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cc6a2d1a81aec0cb5abdfe44055f934ac25329b","datavalue":{"value":"92C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985890$5AD9D960-2B88-4433-A92D-843158501DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985890$24F33004-2F07-4875-A01B-F55279C1F5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985890$6A9034BA-6E5E-41E6-9B9C-606F1DE31EE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f23df742bca896c8787b133fbdad5fb7545a300f","datavalue":{"value":"6714009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985890$BF556C9E-52C1-48B7-98FA-DC05F1E82169","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ea38c8570f559d744576da8e80205a55e5b1e05","datavalue":{"value":"hybrid input output automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985890$2E83128D-748C-444E-AC50-9F096A01DDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6255abf574cd911ce0441a5a04032698806b52fe","datavalue":{"value":"stochastic hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985890$B2ACEECF-49EF-4B8C-991C-7562FA35D204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71935729bce666d4923eda193cbdcd96dd69ee74","datavalue":{"value":"systems biology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985890$FEB85E83-784D-4D9D-958D-E96E32F61327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"573bdc3f68e1497107e49edf096b2e92595c9ade","datavalue":{"value":"verfication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985890$F09CA290-A90C-4B2A-9D7F-4856AF16CD25","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":"Q2985890$9CFEFB33-AF36-4081-9003-C9B8EC2F4277","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12612196450d229629198df038ecad703059b847","datavalue":{"value":"https://doi.org/10.1145/1755952.1755989","type":"string"},"datatype":"url"},"type":"statement","id":"Q2985890$815B32FB-C4E5-4ABA-A3A5-C5B87617A964","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c13c1e41734a1d1150a498c729ef3f7a752424c","datavalue":{"value":"W2143476831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985890$34B2E1A9-9FA9-4736-AB2B-EC85CA546767","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"287044077b582e9a462122d8a37c632519d945ea","datavalue":{"value":{"entity-type":"item","numeric-id":5307451,"id":"Q5307451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985890$5D96E3A0-201A-4C8A-AA8D-07DE8597D2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93fc1426a3a32f66268bd57c530edc65aec126a","datavalue":{"value":{"entity-type":"item","numeric-id":5703956,"id":"Q5703956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985890$DB95BBA1-090F-493E-BA41-8EB262A67C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8c00e6859456436b4dd4fd8d1212e545db8330","datavalue":{"value":{"entity-type":"item","numeric-id":4953376,"id":"Q4953376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985890$2C965CF7-E8F8-4398-9ADE-08510B0AC830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004893761a1ba419f20bd0d2cee6ecb5ba162dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2552879,"id":"Q2552879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985890$4643B2E3-5700-4362-A986-4F2E3B13133F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a376a655e2451a7e6e0d1c6f7ac4717841b2bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":3624569,"id":"Q3624569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985890$C44B3BF2-AFB9-4B3B-A93C-251109D6136D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca0ec24a69cf1f915d924307d29172a5f8a3ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985890$6D4B6608-1F39-42B8-9E7A-78BF7DD68050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985890$3817E865-E325-4A28-B7A0-A0686AA5BB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985890$9D35ED2E-E3A1-41A5-ACEB-FA317BF47B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60f8c18f194bf33652be2dc20af60bb528fda07","datavalue":{"value":{"entity-type":"item","numeric-id":1960531,"id":"Q1960531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985890$7D08C8A2-E2BF-4220-9198-996D14C204D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985890$B26398B0-C7B7-4DD8-8049-7F6128B97847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6484148434bb6bf09207722b95c9d690bb339110","datavalue":{"value":{"entity-type":"item","numeric-id":5273868,"id":"Q5273868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985890$A445B89F-F131-408E-BBCF-DCCF624570F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eea4fcdeb55c6abbe8f81be3656fa099cf058b6","datavalue":{"value":{"entity-type":"item","numeric-id":665142,"id":"Q665142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b56003aebffe277a9af33a4523b32d0e2d529025","datavalue":{"value":{"amount":"+0.7133452296257019","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":"Q2985890$4380A0C8-DB01-46B7-BA38-61A0130DE6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d0ec086a0248bad95f82b766c51408ac666456b","datavalue":{"value":{"entity-type":"item","numeric-id":2403530,"id":"Q2403530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ed9d34655e840ec4aeff06f843846e0f5a63475","datavalue":{"value":{"amount":"+0.7004086971282959","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":"Q2985890$CE0F1F8A-D0D7-4EB9-9E65-49F2E1C6EEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b61d153ca9b19f3d5f85333f857392b2d99e97","datavalue":{"value":{"entity-type":"item","numeric-id":3176388,"id":"Q3176388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15309a463b8930442246c40a5d0d2d1faf5a3c07","datavalue":{"value":{"amount":"+0.6892693042755127","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":"Q2985890$39F811FB-6F7B-4FE7-829B-43872B7907E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"896badaa563e94ff9faf7e1edfd7ac0b8df382fb","datavalue":{"value":{"entity-type":"item","numeric-id":5404087,"id":"Q5404087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ba2f78b0f4e964b5717a74979084abbb10d718","datavalue":{"value":{"amount":"+0.6892046928405762","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":"Q2985890$77E99C69-AE86-486E-AEB5-2513FAA07622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b851509a9f45010b786e09234bf59344d5cb340","datavalue":{"value":{"entity-type":"item","numeric-id":2929958,"id":"Q2929958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"787150c98feacf9b1d257d5f2485713e15e09d0a","datavalue":{"value":{"amount":"+0.6843414306640625","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":"Q2985890$7E8E9F63-47F4-4047-BF38-100167863FED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication","badges":[]}}}}}