{"entities":{"Q4621146":{"pageid":6650729,"ns":120,"title":"Item:Q4621146","lastrevid":89892770,"modified":"2026-06-04T18:33:00Z","type":"item","id":"Q4621146","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 7020145"}},"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":"Q4621146$66A8FC76-8626-481A-9DA2-A211680BEA3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56d57a0e5e39100eba8c77e8b972fd082a525203","datavalue":{"value":"1424.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621146$A8857B71-79D0-429D-BFAE-543A8AC901E0","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":"Q4621146$0D477C61-E68E-4D7C-B3F9-2AF8246D6ABA","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":"Q4621146$EA9112F0-A760-47B2-8B63-C838600833D4","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":"Q4621146$22345271-6858-4FF1-9734-21996A29A5CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4621146$EAE892EB-EC10-45BA-9028-D6AA4ECDA97D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621146$33684DDE-C51F-4BF4-A991-6AF8F83BF7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621146$C5699180-ED05-4302-99D7-99EF5FE15620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621146$AE68B65A-0F4D-463F-8E3E-C70B7D2D9689","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4fcf7e7f5fd24f348b7f6be8377960946dcd31b","datavalue":{"value":"7020145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621146$ED7529CF-3D89-4254-87E9-A4125308658E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec539b8a354418acaf0e6ea22dcaa06c2f2d6eae","datavalue":{"value":"sync-programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621146$56F60B91-0605-4A77-8534-C2B5EC525B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fdde78b7cc01742d55b05996904910d5cafc12a","datavalue":{"value":"biological systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621146$75FD3409-A56A-42FE-AFBF-9DBEF7F5E638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be986b582b93a797489af5243241eec92dee9a5c","datavalue":{"value":"interactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621146$D5AA25EC-66D4-4D5F-A202-6063417AE30D","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":"Q4621146$F4DAE7D1-7898-49D1-B16D-28B82AC3732E","rank":"normal"}],"P1643":[{"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":"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":"Q4621146$A1AB048C-02C7-41F7-AB0E-35F9C13500F0","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":"d58bd641fb07de8bde5afdcd15fb8b0f867c50d7","datavalue":{"value":{"amount":"+0.7622476816177368","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":"Q4621146$0253D74D-C9D9-4F4A-856F-517C7C9EBA93","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":"dc87b0c9bb172bc29034313289196e4e58ad0dde","datavalue":{"value":{"amount":"+0.756445586681366","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":"Q4621146$E70C1BC7-5D82-4184-8922-038EA7AD704A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f80e13fb229f4ae9636f1f2089b70f64238936","datavalue":{"value":{"entity-type":"item","numeric-id":4621168,"id":"Q4621168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6565331123b85889e6a6c2da6d771d5ceb2fccf","datavalue":{"value":{"amount":"+0.7453284859657288","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":"Q4621146$827CCCF3-22C0-44B5-B5B5-EF98AD6AE6C4","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":"f560333d57809dbea6662b69171ef9321e8bfee7","datavalue":{"value":{"amount":"+0.7446715235710144","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":"Q4621146$323CC4B1-A89C-4E70-80C3-D498F76CFDF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular verification of interactive systems with an application to biology (scientific article; zbMATH DE number 7020145)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_verification_of_interactive_systems_with_an_application_to_biology_(scientific_article;_zbMATH_DE_number_7020145)"}}}}}