{"entities":{"Q2518376":{"pageid":2529119,"ns":120,"title":"Item:Q2518376","lastrevid":44253594,"modified":"2025-11-21T10:38:32Z","type":"item","id":"Q2518376","labels":{"en":{"language":"en","value":"Abstract interpretation and types for systems biology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5492884"}},"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":"Q2518376$F72EE08A-14CC-4791-BC3E-1E21A246B428","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9563e1fb7a249658da7b57166f1045564660f0c1","datavalue":{"value":{"text":"Abstract interpretation and types for systems biology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2518376$68279F90-1803-4610-82E9-DD5AD6F887B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52f6239ef92ff05e4bcd05cb03a6f2459840faac","datavalue":{"value":"1155.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518376$E57730BA-AE93-426D-9026-D7C8F144B086","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3af5bd70bdf1aab77620ece66f5e40dd3ce66d83","datavalue":{"value":{"entity-type":"item","numeric-id":272012,"id":"Q272012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518376$1547A2F9-AEDB-40CC-A288-96E903DCA42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27e1a6841a438913c0c4f697350a5aa1c22e2108","datavalue":{"value":{"entity-type":"item","numeric-id":272013,"id":"Q272013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518376$ABC2C292-A99C-4968-ABAC-BC33E9A5579C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518376$C963DE34-19C0-4264-A3D7-E3A16CA418E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e26e6c2a83c3157baf46ffe4a8d556736cf88fe","datavalue":{"value":{"time":"+2009-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2518376$3E3B7484-6649-4D75-955F-7F3AFE739BD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518376$15EBF83F-49DB-4C2E-A071-538576B7AE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518376$B29758F2-E719-4D7A-8C0B-3A5D33780A0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db1cf06776162a09593346a4960e96ee11fc8760","datavalue":{"value":"5492884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518376$AE8447B6-F757-47E0-BB0A-C9055141C108","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7659f1eb7aff63a950db145db21ea0c4758efa1c","datavalue":{"value":"SBML","type":"string"},"datatype":"string"},"type":"statement","id":"Q2518376$E8959483-F0ED-4C5B-AEB7-F8E0814FEF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2518376$506395A3-4879-4B7F-BB27-0B03370CA92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cee8b4b37189bef03bda39ce18e163acafbc8b06","datavalue":{"value":"hierarchy of semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2518376$935098AC-EEAE-4DFA-A9B3-8AB60B6D218A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"993f9a496ecd5d3ee521ed2547719fb6af15d882","datavalue":{"value":"ordinary differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2518376$A75A6021-1A31-4F4A-AB94-1A5F3C3D8DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2518376$B50F84F2-1308-4B3A-9585-8E9B62047842","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e2243951679d2e624d129d6084e8db9b9de7636f","datavalue":{"value":{"entity-type":"item","numeric-id":25777,"id":"Q25777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518376$EA0FDEF8-F1DD-4BE4-BD31-67D8D6DB27F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e163074498dc86fdb750cb9ddb541eabbb0d8ebb","datavalue":{"value":{"entity-type":"item","numeric-id":12904,"id":"Q12904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518376$2D9FC608-214D-48CB-B988-0FD865853A18","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":"Q2518376$8F4E5ED1-399F-472B-879A-A8C634A9EE2B","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":"Q2518376$6C344AE7-AB07-4EF1-8615-BFF6749056F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ba7d0977c68196ad99df8ceddb998e6c7c5c662","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.04.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q2518376$2599611D-7EF0-4039-9C74-95840997963E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fa67fda4e9964611e263799374741441944f651","datavalue":{"value":"W2122529434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518376$B12B2AA1-D3CF-4BC6-B20B-E6605D9C0B5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40404716a12d90a16b901c97377966fe1558fa17","datavalue":{"value":{"entity-type":"item","numeric-id":4002146,"id":"Q4002146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518376$2BB3EB03-2A4E-41B6-A3B2-911E7DBCC6EC","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":"Q2518376$70BC2CB6-0FE6-41C2-9BEF-CC7D6DA419B0","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":"Q2518376$A4C21261-72AE-4029-A45E-021B1F753847","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":"Q2518376$A0CA84B4-AA85-422A-A657-727D793A7790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2158d5ec57778f2ee77f0bd5fd074b1840ec167","datavalue":{"value":{"entity-type":"item","numeric-id":935833,"id":"Q935833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518376$75F486A6-DCA8-47FD-970A-A02F4C576BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e3d8ff6a446530c7b5dada7b43162d4ed7f6d1","datavalue":{"value":{"entity-type":"item","numeric-id":5191512,"id":"Q5191512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518376$D3017BEA-786E-4905-AD9E-6A3D79715000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518376$641AD4D1-3565-4AF8-AFE5-AC1B2807CE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d5b4a8113b914146778f9cdfb24fb2524be9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1605224,"id":"Q1605224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518376$7C827A62-4596-404B-BE6B-2F22D0A3FEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518376$51E2E5AC-482C-4E23-9A84-E9F8C29B9176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fac5d892f687aa3ba2eef634808b2359d1be32e","datavalue":{"value":{"entity-type":"item","numeric-id":4452649,"id":"Q4452649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518376$E476EEB6-2DBC-4CA2-8928-8E884E65FF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"553d9cbbc14cf67edec307cc8b2f9633e7cd8f5c","datavalue":{"value":{"entity-type":"item","numeric-id":4553263,"id":"Q4553263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518376$3EBF763A-D0F1-4E08-8BAC-3459D38D5ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"404a4c48c7238a7c9dd97729980bc12d97221527","datavalue":{"value":{"entity-type":"item","numeric-id":3642953,"id":"Q3642953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518376$535E3A1E-D02E-4B13-AA93-ACAEC7320072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba5679dddcefa506a90fe4c52d69c9fd1db4f87","datavalue":{"value":{"entity-type":"item","numeric-id":3780791,"id":"Q3780791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518376$D231C276-62BC-45B1-A657-06CC3AE91A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8210a43a6d3cc921d0d14a0fcbcdada5b279a639","datavalue":{"value":{"entity-type":"item","numeric-id":5712392,"id":"Q5712392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518376$F4C4D9B8-DFB1-4FAA-840A-8719F463DD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b842449cc1f63c929aabc38992d4aac8500444","datavalue":{"value":{"entity-type":"item","numeric-id":2728814,"id":"Q2728814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518376$89BFB541-D340-480B-8390-DD76E2FBE69C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f35275994457bdcb40bfd616d6f09dd58e7feffc","datavalue":{"value":"10.1016/J.TCS.2008.04.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518376$9AE9AE52-7E6A-46A4-8F29-BD77B27F10DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5892a8983a79979763bd5966aaf0d86b202dad62","datavalue":{"value":{"entity-type":"item","numeric-id":4413247,"id":"Q4413247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86393fc977de10efd71f26133d943becd7503180","datavalue":{"value":{"amount":"+0.8623062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2518376$B73F1946-F3FE-40CF-96DF-67314D0E955C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc5be116372e6dcd264799679f7fc2b6f78bbce","datavalue":{"value":{"entity-type":"item","numeric-id":5898015,"id":"Q5898015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9617cc8b9ae3605e9dc4c043129b138b8cbf9fba","datavalue":{"value":{"amount":"+0.86181104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2518376$43C57337-4BF3-4549-A4DE-6F52F8BFE1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f32ca7a7f15c8428fc57edba219ea00ccd1d20c9","datavalue":{"value":{"entity-type":"item","numeric-id":4447216,"id":"Q4447216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b8775062cee2124a56c7825e04057095937c22","datavalue":{"value":{"amount":"+0.8567924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2518376$D07507CC-E0A0-496A-ACF5-91BD98EB4797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123304fc93bd27562bcf7f7cd5a51eb9ff02a234","datavalue":{"value":{"entity-type":"item","numeric-id":418848,"id":"Q418848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"890039686ed79a1bf6e47e5c55b2732838a8c972","datavalue":{"value":{"amount":"+0.8551487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2518376$DE493FE9-0110-449E-AA61-45467A3E17E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4629c7c6de0820e3631440c778a0945ab2aa28d2","datavalue":{"value":{"entity-type":"item","numeric-id":5404082,"id":"Q5404082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e814dc9ae486499b4fdec0881985071a5d3e23d","datavalue":{"value":{"amount":"+0.8525715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2518376$B3BCB922-833A-46B7-B2A9-6F6F32B50F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f41a75ecc7a46266c4e397b8c576270cc9e0830","datavalue":{"value":{"entity-type":"item","numeric-id":5307959,"id":"Q5307959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1be577fcbaaa80ebcbab9408650706f23a03f0f","datavalue":{"value":{"amount":"+0.8498276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2518376$5D30849D-CEB5-44ED-8616-DFD0E5697FC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2518376","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2518376"}}}}}