{"entities":{"Q5227335":{"pageid":7256903,"ns":120,"title":"Item:Q5227335","lastrevid":40777270,"modified":"2025-04-04T16:07:06Z","type":"item","id":"Q5227335","labels":{"en":{"language":"en","value":"Automated Property Synthesis of ODEs Based Bio-pathways Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7085574"}},"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":"Q5227335$848D157E-FC76-45BA-A547-F407FC69A641","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5379aa10e546755568da0a4b2ebc008b3138db5","datavalue":{"value":{"text":"Automated Property Synthesis of ODEs Based Bio-pathways Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5227335$C2B2F07B-EA46-45A4-B9F2-ECB34B39BEFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4189c11654781e801ba6791437b67a7db1212d83","datavalue":{"value":"1416.92067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5227335$0B0DBD1A-017D-4F6E-AF95-EBC10FB29629","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eee90f9778e626567abc77cac288849df81b29b5","datavalue":{"value":"10.1007/978-3-319-67471-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5227335$3C6E2D80-6A87-418D-9F27-521ADB96B988","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bd3cf206eb466ee501c1033db581f4818e8ded7f","datavalue":{"value":{"entity-type":"item","numeric-id":5227311,"id":"Q5227311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5227335$24135AE3-46C0-43D6-B5DD-BD99AD38FF28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3175013e1a6ff204e8149641e8303d84f0a49ecc","datavalue":{"value":{"time":"+2019-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5227335$B56D410B-19F3-497E-817C-E7A55BF14FCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cc6a2d1a81aec0cb5abdfe44055f934ac25329b","datavalue":{"value":"92C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5227335$A0517E3D-7E00-4A8E-AB6C-805A473F0366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5227335$323CBD11-CEB2-474E-B6A8-9D523A18670C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c061e4e7ae883786725eafc8628fcf7f3e822514","datavalue":{"value":"92-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5227335$ECE5E94E-86D6-4687-A8B0-636F49E65836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df8467cf7c74b811c2dff1c6429af7dec65f6693","datavalue":{"value":"92C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5227335$74B2262D-3E73-459A-A70C-403A21A8F6E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40d719fef3d55d197e0e26af566869c4f72cbd45","datavalue":{"value":"7085574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5227335$A766077C-4715-459E-82A8-52CE5109A570","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75504bb6f183d7cd5cce90117b56ceb1cc2bd6da","datavalue":{"value":"property synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5227335$2ADE11C4-3685-4AC0-85B7-C1DE2DB980B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5227335$4A103F1E-E6D6-4CFF-9CCE-BBCBD2F8BEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d2fe679f4d62fc00eab2b04e3d3f1c0ad2d1b84","datavalue":{"value":"bounded linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5227335$B41A4D81-5D94-4065-8C99-F74C6619E956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fd0e2f6defb3a6b505e6086ea18e5789fbc2181","datavalue":{"value":"ODEs models of bio-pathways","type":"string"},"datatype":"string"},"type":"statement","id":"Q5227335$2A6E4C9D-E288-4A46-ADB5-D45B5C04E94B","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":"Q5227335$946F1945-1995-4AB2-936E-11E41D394115","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18e7a81026e53b5f19710d2274dd1586f203d72b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-67471-1_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5227335$E88BAE52-E505-4C90-847A-0924EFE6CFEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd67769c14aa241256b62d92a0d20e60d4238b76","datavalue":{"value":"W2751417466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5227335$4B1773F0-9A2C-492D-B7FD-598B2350C264","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad3622369cb949fe7fffb09456ba28d27e4d4467","datavalue":{"value":{"entity-type":"item","numeric-id":5146655,"id":"Q5146655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"307f42612f0bb54eec84c978053756d9b5d4d943","datavalue":{"value":{"amount":"+0.857935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5227335$8F9AFE0D-984C-4F26-ACF9-0AC5B6DC7498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5863925aa7cc2fb5c6988f6cb9e2b346c585e69","datavalue":{"value":{"entity-type":"item","numeric-id":626876,"id":"Q626876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c5caffef84bf63f8bb67a9212029610b128297","datavalue":{"value":{"amount":"+0.8547611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5227335$A503361F-9171-4DF7-9634-BEB6D99EE4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f1546f6038722536de5d00418f317d56a7820bf","datavalue":{"value":{"entity-type":"item","numeric-id":533363,"id":"Q533363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b2c85e3535e039422bc7d5c2ef2e7ba82343e5","datavalue":{"value":{"amount":"+0.84766394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5227335$DB07F9A0-B65F-4B8E-9536-E739040B3CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a9e33ce1285d7db6696782b79cce8fcb7fc8ae","datavalue":{"value":{"entity-type":"item","numeric-id":1884867,"id":"Q1884867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fbccb4c46ef31742f58cde675e105b0dd3b3b47","datavalue":{"value":{"amount":"+0.8389389","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5227335$69C112C1-33A1-4897-B43F-0582507277D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7225bee7eaf2119c3d61037822a51f73ed6793f5","datavalue":{"value":{"entity-type":"item","numeric-id":5302390,"id":"Q5302390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8374145ab99d0fb8b7605d645229a0fc9b9245c4","datavalue":{"value":{"amount":"+0.83475447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5227335$ECFD21E4-2155-4D9C-87EF-622A1CD2B5FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5227335","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5227335"}}}}}