{"entities":{"Q5404082":{"pageid":7433656,"ns":120,"title":"Item:Q5404082","lastrevid":75579709,"modified":"2026-04-19T13:06:17Z","type":"item","id":"Q5404082","labels":{"en":{"language":"en","value":"Approximating probabilistic behaviors of biological systems using abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6272174"}},"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":"Q5404082$1ADAFD62-3139-4E13-8D3A-F8640FFE7694","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2e30106cf53e452b8c6dd3d6706a2c213d0c81b","datavalue":{"value":{"text":"Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404082$8AD7FD77-1607-411A-9CFA-E39A57DAEF87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eea184235189f8834c56c4c0287996060459c78c","datavalue":{"value":"1283.92037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404082$452FB2B3-24AF-4EE4-B170-243AEFEE78A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04d921ce48eeaf8b6231d9e6e965603d6ddd0b79","datavalue":{"value":{"entity-type":"item","numeric-id":5404081,"id":"Q5404081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$B0A39D78-0C1D-4DC9-BCD8-7F183CBE7C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aadd89b6cc4356f39201146726ac65253316123","datavalue":{"value":{"entity-type":"item","numeric-id":264546,"id":"Q264546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$54344093-8898-43B2-83B7-BC1D1DFD30C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e296e60635f909e1d7a67ffd7cdd348a4d088e9","datavalue":{"value":{"entity-type":"item","numeric-id":264547,"id":"Q264547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$CA1A473C-BA9B-403A-A00C-6418613BB3CE","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":"Q5404082$8D4F23C8-668E-404C-BCFB-303035E38C98","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":"Q5404082$534F3B5C-84A1-49D1-BF38-4B8CB9C5034E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404082$01524EAC-0714-455A-8C2B-C3BB8D1B17C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404082$BB3DBD99-3DB7-4BE5-87D1-6E9E250F1526","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff3602486eb79d99ecf653da6060a3526abde8ff","datavalue":{"value":"6272174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404082$BDCA4BCF-DC1E-47FA-A51F-99C0734EEADC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07bd9bc8bd08cff58fd5b189b72bd2f8ef273e3e","datavalue":{"value":"stochastic \\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404082$C2D217E9-7E53-48EE-ADF7-00A89005523F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404082$33C4BB18-E66B-460A-B22D-C8F36921B048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a5256505b297c0a66287a3a8327bd2e887d9fd6","datavalue":{"value":"probabilistic temporal properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404082$CE4933E2-80E3-44A9-AD22-2FE060DF6164","rank":"normal"}],"P1463":[{"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":"Q5404082$02EB021B-DD1B-4440-A528-54B7C0971A8C","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":"Q5404082$9A3B3318-B1B1-4DA5-9097-470191F908CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"982de0f61160d19dd0529b8a3166b3a13fee0042","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.02.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404082$5ECE4BD6-E056-4FA6-9337-048B89171A43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c5afd01227d0f6890c47a1107f73689ed50f294","datavalue":{"value":"W2150959680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404082$0295AF70-320B-449D-8C3B-EF566DD1B8BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f3f2f2ebce38bf116ec41928db66587659e692","datavalue":{"value":{"entity-type":"item","numeric-id":5429327,"id":"Q5429327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$6D1327F3-CDA4-462D-AF9B-A75E60970168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0444f180abec0cddd3ea1900c859c5fecb70523f","datavalue":{"value":{"entity-type":"item","numeric-id":1854437,"id":"Q1854437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$6BCAE9C6-5DE0-4928-ADD7-A5163B8BBCE0","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":"Q5404082$CBC2824F-A308-4205-9D47-533C2DEEE924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d267520a8bc44c2f4381b45c205a6d0e3929bb24","datavalue":{"value":{"entity-type":"item","numeric-id":2474433,"id":"Q2474433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$BDF29A39-8AE0-4901-88B2-91863E60A265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986dff955b3323903dc04ef58ae4ff4b0eadf895","datavalue":{"value":{"entity-type":"item","numeric-id":1884862,"id":"Q1884862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$8AD33157-BA9D-4763-808C-12D77C1EC82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$EF9DE2A8-D435-4257-B78B-5AFC31338DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$DB9AF8EB-E095-43C8-8BB7-2AD91E04AFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80261a9172a3fe7b744c2e07607c3df774722d25","datavalue":{"value":{"entity-type":"item","numeric-id":4798031,"id":"Q4798031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$90BBEEB4-9F5D-44E7-9A72-39D664D77341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79fc7f17988ce0e0429ab759ddfd29ad9a08df14","datavalue":{"value":{"entity-type":"item","numeric-id":4813198,"id":"Q4813198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$0AFEEB24-D867-49E3-8552-2C09562620B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96eeec6f235d21a7744312a54a3904016dbe38db","datavalue":{"value":{"entity-type":"item","numeric-id":5899037,"id":"Q5899037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$325240BB-1F02-4106-AB06-9A7BB23E7B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ce2d367d9160a317d3c3485f510ca95c2b2b67","datavalue":{"value":{"entity-type":"item","numeric-id":4778710,"id":"Q4778710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$96DDBA97-B7CC-47BE-936E-693B33EC3622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434a15023b5bc71546f4a4e69e1204d62a0d5d09","datavalue":{"value":{"entity-type":"item","numeric-id":5493399,"id":"Q5493399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$1EC60897-BFB1-40BD-B1D6-D5BF8EF89AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d21aa03823179a333eed83f52807223b8aed85","datavalue":{"value":{"entity-type":"item","numeric-id":5385599,"id":"Q5385599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$5C7CD141-AB5F-43FC-8DBC-40BEB7092058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73a3367a22ae5c4f47dec3e05bb0254a2cdd04ba","datavalue":{"value":{"entity-type":"item","numeric-id":2576951,"id":"Q2576951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$B4305F02-7DD0-4BEE-99E0-368FB97E267C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be9744593562b5f79ea0575cfbe25989dff7a276","datavalue":{"value":{"entity-type":"item","numeric-id":1887169,"id":"Q1887169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$0511B02A-9EAB-438E-875F-FB0201F0794B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f278fb8f0b94aafeed03fab9bd29e989c7db3162","datavalue":{"value":{"entity-type":"item","numeric-id":2568451,"id":"Q2568451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$29D840AE-7CBA-4405-B612-56EAF27E7B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d449a21464ffff4e2aa49f8dc26b0a680cbbaadf","datavalue":{"value":{"entity-type":"item","numeric-id":1603656,"id":"Q1603656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$54A1F696-68DB-49BB-9CBC-A19FF76DDDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5841ea721ffbb3cdd4116da205bd9bcd6cd5bd90","datavalue":{"value":{"entity-type":"item","numeric-id":5466579,"id":"Q5466579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$A5CE7370-449A-4936-97C8-216B15DC1AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6098764f0c09265c50b719a5c96a6bb70dfba1","datavalue":{"value":{"entity-type":"item","numeric-id":953532,"id":"Q953532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$2137345E-9A86-496D-B95D-10F3F0B0D827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb41d95ac6b19b3c7aa547d272e7788124eb1be2","datavalue":{"value":{"entity-type":"item","numeric-id":5712405,"id":"Q5712405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$500A0105-AB4F-49D5-BBF7-0A6279A90498","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":"Q5404082$ECBD03A3-8DA5-49AB-B8B4-6255EAFB0CA1","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":"Q5404082$C1EC689D-C8E7-4488-BB68-468B69CEA760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c8433d36f9953e72693f38149c06d29f0ff92b1","datavalue":{"value":{"entity-type":"item","numeric-id":5899070,"id":"Q5899070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404082$85E2583A-C2D1-489B-86C6-C667836453AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"683f03a999c49b8a4ac189ea27a884ef1a2f5d90","datavalue":{"value":"10.1016/J.ENTCS.2009.02.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404082$E5245FA1-5EBC-40EF-A13B-573DF5DC95DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f79d2ae9f6e6db5657b7de034b3a4e33d76e9feb","datavalue":{"value":{"entity-type":"item","numeric-id":1935818,"id":"Q1935818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9487fe34b3c4b052ab365164d7c416a32052d774","datavalue":{"value":{"amount":"+0.8898189663887024","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":"Q5404082$4BE1D0C3-3847-41E2-B5FD-70800F251FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e64633ec1a393cf785d4efb7bfa06a5e6f3c7ac","datavalue":{"value":{"entity-type":"item","numeric-id":3648832,"id":"Q3648832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd26be34e5c59c3a2e044a71943e2eff3d80db7","datavalue":{"value":{"amount":"+0.8799954056739807","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":"Q5404082$51088F8C-A280-4374-9593-AE34D72CDC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce88db62d37f8ea54268ab83b29e8cd80fe36b6a","datavalue":{"value":{"entity-type":"item","numeric-id":764350,"id":"Q764350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2199d27ac76d177cbd6c89a17b9d00130cfba56c","datavalue":{"value":{"amount":"+0.7729422450065613","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":"Q5404082$B681D51A-B850-431F-A655-5A3BD1E613FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5dfa52fcd9b00bb6a8576e44ddc7c2f738a2e22","datavalue":{"value":{"entity-type":"item","numeric-id":3646252,"id":"Q3646252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"791f0346d58a5b51622218fa72250c85c933eb11","datavalue":{"value":{"amount":"+0.7377104163169861","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":"Q5404082$479A807D-E7DD-4BDB-BEEA-F2CFEB1F78BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebebb42fb524c98a00e33699a27f41b9ddbebf46","datavalue":{"value":{"entity-type":"item","numeric-id":3636872,"id":"Q3636872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8823e3cbd9d205bcfbd1c0d5af12c6002b222c62","datavalue":{"value":{"amount":"+0.7345542311668396","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":"Q5404082$6887349F-1C8C-45B3-9A88-8B7111036422","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximating probabilistic behaviors of biological systems using abstract interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximating_probabilistic_behaviors_of_biological_systems_using_abstract_interpretation"}}}}}