{"entities":{"Q2870296":{"pageid":2881016,"ns":120,"title":"Item:Q2870296","lastrevid":51906740,"modified":"2026-01-20T12:41:33Z","type":"item","id":"Q2870296","labels":{"en":{"language":"en","value":"Parallel model checking large-scale genetic regulatory networks with DiVinE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247684"}},"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":"Q2870296$0F5A3650-940B-48CA-B986-B7EF7EC70D6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1405050b4c8e5539d7452056a169f3ad2e63cc9a","datavalue":{"value":"1279.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870296$4B0A8CF9-652F-4AE6-98B1-4CFA6E1697A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b119b02feec4741f0c136f459ab9afd7603e153c","datavalue":{"value":{"entity-type":"item","numeric-id":282090,"id":"Q282090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$AE25BA3A-0AE3-4FF2-8D42-36CA2DD0B5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9b09522aaee1c72f01701b4e5032b55d6618dfd","datavalue":{"value":{"entity-type":"item","numeric-id":282093,"id":"Q282093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$A34E52C4-D32C-40E9-9AD9-872CD9A2FAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98c891e2c7c8bb10a79e88f50e061e3624273d02","datavalue":{"value":{"entity-type":"item","numeric-id":832200,"id":"Q832200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$59254D4A-8AA3-46E1-A8E0-C026077AF4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49f82df4d18eab422e11b74b412720f50f68da1a","datavalue":{"value":{"entity-type":"item","numeric-id":1306564,"id":"Q1306564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$DD2A1D91-512D-4220-A430-DBD428B9697A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8367d1a3e26c0c3ee3c268a4688eb11b418cbc4","datavalue":{"value":{"entity-type":"item","numeric-id":6511528,"id":"Q6511528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$CF9E16E1-0DDB-41C0-B63B-4A4EA41932E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$9A6E3E0E-FB3E-4393-8429-C865BD73FD07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-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":"Q2870296$7A151E74-F2DF-47EA-9F7E-6427FBF118B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870296$DEF3B90C-1D2F-4B07-9D59-0254B1D06E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870296$3BA9EFE3-9752-4898-98C4-EFCD111D1F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870296$F3262DF1-5F8B-4782-AEBD-53633F589DCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c95b3f10697ca60dafeed8a9df405253452fdcd","datavalue":{"value":"6247684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870296$17E87A4F-CC41-4280-A997-C7BD8040E56E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9f1b2d3256ccdf966527ea2ba9573cec61f66e6","datavalue":{"value":"genetic regulatory networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870296$A56396E1-8316-4733-AA2C-0A97D340B0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bb3dd6fc250a56d23fb9f4d2024f359028fee7a","datavalue":{"value":"discrete simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870296$F4177E68-A6E6-4848-AFF7-8E65A2641B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da5613d0d04ca4761bb018644ae7f4db90f6fcf3","datavalue":{"value":"parallel model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870296$9214FA53-C0B0-4569-8998-C7012971C267","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"591ed93514d08f410649063f67d50321c7672ddd","datavalue":{"value":{"entity-type":"item","numeric-id":51676,"id":"Q51676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$489042EA-7940-444F-8CC1-C55CA9F08743","rank":"normal"},{"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":"Q2870296$5ADB3E3C-8006-4DB1-A102-259C07C6453E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c11dd4f5e8562a7579fa5f894672b041bb21507","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$34A4B073-E2E2-4E04-8476-83D36C87401E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"81eb3eaf3d767243a419862033175f8a5191a27b","datavalue":{"value":{"entity-type":"item","numeric-id":22906,"id":"Q22906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$C2255183-2A3E-4389-987A-4AB1CEE91671","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":"Q2870296$62A5663E-4AC0-45B4-9E2A-ADC018EDDEAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8556c1d86bf0ae8899ded726ae6b3ce3c7c7d48e","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.12.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870296$7FEF7978-885D-40D8-A524-B6D223F0CF45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e18103235baeaf280b339cb7dc6c6d1351d102f","datavalue":{"value":"W2025214663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870296$102BB2E0-1A84-4ABF-8670-3134B416FBA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae3a89b23cdd6a2ffa3aa85d2a703972f6809438","datavalue":{"value":{"entity-type":"item","numeric-id":3612958,"id":"Q3612958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$301922AC-469A-4BC1-87A9-6621C14D196D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4266ba79958898a720f31f92493e645ad4c309","datavalue":{"value":{"entity-type":"item","numeric-id":5758118,"id":"Q5758118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$1BC3F152-C3AB-41F2-AB30-CB6AA931E550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7748fffe42c3046944050ed4c8856b648d5ccb61","datavalue":{"value":{"entity-type":"item","numeric-id":5308374,"id":"Q5308374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$E778CF7D-89D6-4BDF-87EE-062FBCB5E609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1465775449a3ff1474899b2385b254f356c4d9d","datavalue":{"value":{"entity-type":"item","numeric-id":5703966,"id":"Q5703966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$33DE4125-6D7C-4A27-B48E-AD71A9082F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2839c818dc904657b5d27869e256732e687b55f","datavalue":{"value":{"entity-type":"item","numeric-id":2440681,"id":"Q2440681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$00C6158A-CF28-4463-9002-12C92955A51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f276d939ceb32b424ad2add813b092c06ebe1083","datavalue":{"value":{"entity-type":"item","numeric-id":2189295,"id":"Q2189295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$03D0F5BA-5E0A-4238-B3E0-54D3C403C6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f1790bd633b004205ffed2a2f674ef41d8831d","datavalue":{"value":{"entity-type":"item","numeric-id":4426370,"id":"Q4426370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$786116B3-8777-45E5-A438-A4CD4F390155","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":"Q2870296$6BC8A462-1093-4808-8406-D947324762A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2399037d2df03cbb0819629f4c4b00803339504d","datavalue":{"value":{"entity-type":"item","numeric-id":253519,"id":"Q253519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$25D8B606-1392-438A-970F-ED5A9E359F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"069a873dbd69ee5bb8da86e3728ece883d05c840","datavalue":{"value":{"entity-type":"item","numeric-id":4417996,"id":"Q4417996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$82DDBAF8-F07E-4F75-BCD3-301CCB12CE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"922961c2109def24c7069a69ac39492c20ccdd48","datavalue":{"value":{"entity-type":"item","numeric-id":253520,"id":"Q253520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$219ACA1A-1F12-49AD-A820-082C044F1B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed70be6a574ecf9bb0b4c2fea55112b7dddb18a","datavalue":{"value":{"entity-type":"item","numeric-id":2771062,"id":"Q2771062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$DB511E09-E28A-4D51-9F81-54A1C0B0F649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc03eaa3e9410f3db48ddb967167dac36ffb0a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4407120,"id":"Q4407120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$06A0DDAD-294E-4662-840D-9AD1790F1D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8bfe79aca0afff1709dc31acdb767ae54855e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5472942,"id":"Q5472942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$3BB45BA3-F06F-478D-996A-B3A9717C59E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ebafd8f33ca8efc79fa03522fb243f74098028","datavalue":{"value":{"entity-type":"item","numeric-id":1346418,"id":"Q1346418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870296$13DF7558-A990-4C0E-8555-6167A46BA30E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6882a96ea013d3b5ab16629394c85e3531af71ba","datavalue":{"value":"10.1016/J.ENTCS.2007.12.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870296$DFA761AC-31BF-48A8-AF9D-38C681C8149A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13d4025a1610beb3024fa1ecdd7fa2e48fcb6a5b","datavalue":{"value":{"text":"Parallel model checking large-scale genetic regulatory networks with DiVinE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870296$A4550846-8698-4C5D-A46E-CE95BA057894","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f97565df8963335bf0884b531f0ecf7543cb828c","datavalue":{"value":{"entity-type":"item","numeric-id":2271449,"id":"Q2271449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40f21d6c61c42f667ce0a24e58e6296ecb5fc10","datavalue":{"value":{"amount":"+0.831722617149353","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":"Q2870296$B9C2902A-00BE-4357-B309-E3962BA2BCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3edc3dd72dd7ef88bd83d7aea463143371139b9c","datavalue":{"value":{"entity-type":"item","numeric-id":5308374,"id":"Q5308374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e79e391efc8861813ef8f4f6f0e2ec654f6d5e6b","datavalue":{"value":{"amount":"+0.7864279747009277","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":"Q2870296$4920C67E-80C7-4D2C-8986-3D2967F75E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a32038638312572aea51b3a77b637bc2399845","datavalue":{"value":{"entity-type":"item","numeric-id":4413225,"id":"Q4413225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"addd547d04207ecaf6fb003edacd24a206b06a30","datavalue":{"value":{"amount":"+0.7801774144172668","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":"Q2870296$843F233D-E75E-48E3-8491-3C830DC40B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e8ace11757ceb5cf691661b8852c37fbb4b215","datavalue":{"value":{"entity-type":"item","numeric-id":5300885,"id":"Q5300885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b32faf4558b88750d0dc95e079cfbe45b7833836","datavalue":{"value":{"amount":"+0.7758286595344543","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":"Q2870296$1629832A-78C8-4561-A330-A439169332CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b186749ef1aa1e66c939b330c20b6cd75c62e457","datavalue":{"value":{"entity-type":"item","numeric-id":3612958,"id":"Q3612958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef12311ade600c71fc8a21063f5b48d4687f95e","datavalue":{"value":{"amount":"+0.7520696520805359","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":"Q2870296$EB2ADFBB-7A3E-4DD5-9F20-4348DF98FD33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870296"}}}}}