{"entities":{"Q5404087":{"pageid":7433661,"ns":120,"title":"Item:Q5404087","lastrevid":75580684,"modified":"2026-04-19T13:10:17Z","type":"item","id":"Q5404087","labels":{"en":{"language":"en","value":"Modular verification of interactive systems with an application to biology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6272180"}},"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":"Q5404087$9F100A07-3FC2-4210-9BAD-3AF26C8EFE87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe7a6148de77e25bb06120cbf3acef995d2115f6","datavalue":{"value":{"text":"Modular Verification of Interactive Systems with an Application to Biology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404087$61633B56-BCD9-4450-B4A1-4A62729F4E48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5776a1343e30ad4d07b9529123cdf5039578d63","datavalue":{"value":"1283.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404087$1B82DFDC-7894-46A9-A7A4-2997479CA059","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"553154e9b0d82eb905b234ed1c938eab4d734a33","datavalue":{"value":{"entity-type":"item","numeric-id":4621145,"id":"Q4621145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404087$27836133-64AB-4663-A786-5A431CC81C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"986210a7788bf135576802eb9fb5ade52a93410d","datavalue":{"value":{"entity-type":"item","numeric-id":256972,"id":"Q256972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404087$F76B2AA7-BE95-4E56-9FCC-49292FFA166A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479d1038b6b48ff3b38084f7171d92adb9c96ad","datavalue":{"value":{"entity-type":"item","numeric-id":256971,"id":"Q256971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404087$AE889B2A-42EF-46CA-BEE2-E48BC82399AC","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":"Q5404087$6C37E7B3-D3B3-4AE5-9BC6-CFBC16DA8114","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d90e7ba9218161af565114c8c946a60a85d1807","datavalue":{"value":{"time":"+2014-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404087$EE029339-4A74-4E62-B169-250181916042","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404087$BF2914CA-ADA7-4606-BAD4-24DC3FED007A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404087$10EBB605-BF8A-4DCC-A0A9-CE8060BADC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404087$CF9A3895-0A8B-4187-AB78-BFA4542A3CE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ff8d964c0a75fbbe0893bc989f6799707ff7d71","datavalue":{"value":"6272180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404087$214558DD-1613-46ED-8CD6-C0D0E4673DD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71935729bce666d4923eda193cbdcd96dd69ee74","datavalue":{"value":"systems biology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404087$2A1AE00F-09C8-4A26-9125-78F7A45B3126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"926a87ff71366da1aeed17b7ef2eca2ca32a9582","datavalue":{"value":"concurrent interactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404087$C99642D9-A5B4-4EE2-93A5-7DDACEDBD4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"642fb89fab960669bf77c30a5366e85b7fb02243","datavalue":{"value":"modular verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404087$8C7960B5-5224-468E-BF90-652CD4215AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404087$D5463D39-238D-4ADA-9277-C9E95771A231","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dd19631fce76e17a4b9780b87e80043c4fa87666","datavalue":{"value":"Q113318348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404087$5453A1FC-233A-4A0A-86B4-198C73636638","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"893408b55425822008bbb61cbc533a89cd7bf4e4","datavalue":{"value":{"entity-type":"item","numeric-id":14101,"id":"Q14101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404087$6D1E5743-7EB6-4875-AB8D-E40E87C04526","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":"Q5404087$AF9EE8FD-DAAE-4133-99C5-E69865408227","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":"Q5404087$BD514688-D601-4C44-8721-D3ADCD203B83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"785c149a2e4fabefa4904e8fb316df5add8bbe11","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.12.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404087$59446D04-5B3E-4F4F-BE71-48EEBC3A8D7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f0e1385ab8b8a8704fa83d87577e98a2ab0939a","datavalue":{"value":"W2107611262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404087$C4FF21BA-0C32-4C5C-99BB-158CDE484B03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac06ca83df09724c682ad0cd1bcc0adf6f38ac72","datavalue":{"value":{"entity-type":"item","numeric-id":346790,"id":"Q346790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404087$7B778B08-6065-47CF-8A4F-CB2768A952A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccea8d988076b7864922035450bc8bfe1bc57cba","datavalue":{"value":{"entity-type":"item","numeric-id":5486047,"id":"Q5486047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404087$3B474B12-00DA-4F93-B7ED-EF606F9FBEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"557c8e6f58a6cf3a18d88c4cab8d603ee71fd1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5712404,"id":"Q5712404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404087$19F1447C-2235-4ED7-ACC5-037B4F6D356A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e3e09623e43e30d6d46fcdeadf9fa5f804c320c","datavalue":{"value":{"entity-type":"item","numeric-id":2271444,"id":"Q2271444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404087$9C5C1DCD-7C76-444E-9AA3-5A86680C9ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404087$DB2DC260-B79B-4C46-81B5-3A75D03E8BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c49a241346a72d41a7eed6a4ace2f8994bb45cb1","datavalue":{"value":{"entity-type":"item","numeric-id":1884864,"id":"Q1884864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404087$46D35EFD-6D26-4F28-B9B0-52521874ADF6","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":"Q5404087$7C39DEB0-0C44-4CB5-A0DA-7476E416ADAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5274edf95cbfa00f50d26f8311358f99b7856e2","datavalue":{"value":{"entity-type":"item","numeric-id":1607114,"id":"Q1607114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404087$62A8F139-1AB3-4D28-ABCF-1CCB3C0027B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e14f4be5ea10dd4ca1608a944ee645401769bf3","datavalue":{"value":{"entity-type":"item","numeric-id":1884869,"id":"Q1884869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404087$D6BE507D-2A82-4B2C-A367-7357E9BE5745","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"341a0c2e7dd102d207f2ea0ba808d70aac519d72","datavalue":{"value":"10.1016/J.ENTCS.2010.12.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404087$A83EFCB2-63A6-458B-A643-C7A9A57570E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db497fae044582ff5561bf1404b03abd1fdc619b","datavalue":{"value":{"entity-type":"item","numeric-id":4621146,"id":"Q4621146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"863f9a94a4019ab62cca4d0ad1348b5b9b8103a2","datavalue":{"value":{"amount":"+0.9364603757858276","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":"Q5404087$7847725D-91F1-4490-A671-0A2AE363DB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fcaf7f79b06132fdfd62168369ff49008f5b9c6","datavalue":{"value":{"entity-type":"item","numeric-id":5500406,"id":"Q5500406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a51c4aaeb1cc02351c74d0cfcd6ec459fef7e96","datavalue":{"value":{"amount":"+0.7925861477851868","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":"Q5404087$D45BFBE6-F1C0-4799-8BB1-7ACFAAA1B8CD","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":"3bdd34bea9fafea2b157a7cf80bc6d5c143e7e60","datavalue":{"value":{"amount":"+0.7736433148384094","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":"Q5404087$FA3F318F-F5EA-4C88-9B82-030A44A87A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef83fb9e879e082c2a8be558de74b70b190ade6","datavalue":{"value":{"entity-type":"item","numeric-id":5302876,"id":"Q5302876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6e39bf9a28bd179480b05fce6b82ab9c6fa652","datavalue":{"value":{"amount":"+0.7478176355361938","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":"Q5404087$F489507B-913A-4A1F-B18F-6EED676E07D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1decaf82694369643113bd45ebfc96eec9d9e8f","datavalue":{"value":{"entity-type":"item","numeric-id":989287,"id":"Q989287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6289eb4740abd740e13ef7330a39683d551cc45a","datavalue":{"value":{"amount":"+0.7435129284858704","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":"Q5404087$FE908BD1-AF58-400C-83CC-AA6A4F99EC91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular verification of interactive systems with an application to biology","badges":[]}}}}}