{"entities":{"Q2364692":{"pageid":2375435,"ns":120,"title":"Item:Q2364692","lastrevid":52864742,"modified":"2026-01-23T16:23:56Z","type":"item","id":"Q2364692","labels":{"en":{"language":"en","value":"Combining refinement and signal-temporal logic for biological systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751329"}},"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":"Q2364692$C8DF6953-8A83-410B-A21B-FAD83BD9C4AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ef68e6c983584c418929b2bd73c8606e8da49b6","datavalue":{"value":{"text":"Combining refinement and signal-temporal logic for biological systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2364692$71192983-43A4-4E68-83C8-4E429B027F51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6323111147a28076d4d0afd6a14de2746e621de4","datavalue":{"value":"1367.92045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364692$F04C5F1E-BA9D-40F8-9B06-D014FC017121","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bc1f53c363efc5de4a682a4cc5c8be03eb96226","datavalue":{"value":"10.1007/978-3-319-62075-6_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364692$3F7A306A-EEE2-4AA4-A3F2-EC194238C6F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee3842f19b9aacb3d41ea2fce93493d3fa8c2878","datavalue":{"value":{"entity-type":"item","numeric-id":2364691,"id":"Q2364691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364692$C88AA10C-7F81-4D10-BEC6-C0060C09CA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21f80ae8d71f9783cdb2f9f83e88055ccf7296d6","datavalue":{"value":{"entity-type":"item","numeric-id":315312,"id":"Q315312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364692$5ECBFC1F-6921-46DB-83B7-EDA7CC065B92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-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":"Q2364692$AF16499C-BAB9-4C29-B248-C6BE31199315","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364692$D3065743-86B9-49AF-B07A-DDB320D1AF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"66dcdd6c9d1434d9b02c9e8da2a5b3edaf28f4c3","datavalue":{"value":"00A71","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364692$60EDE485-C168-485F-A528-E279AB57A075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364692$6AD4FA57-E66C-44F4-B746-5497D5007F5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98bbcdf22061aefb9b012b3ecf553287d151f13b","datavalue":{"value":"6751329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364692$F8CE4768-AF26-4CFC-A2EB-6D3A4C9B34F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75282c719bc2e6d94724777c05fbd256ab5e89d9","datavalue":{"value":"biomodeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364692$DD836170-E5F1-4B2B-9A52-A3F0E102EE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364692$145DF4DA-EEF0-4C7D-AE04-B1BFEDE35DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ba4bf98dd124c8c2742b84b6fb188b54821857","datavalue":{"value":"Event-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364692$0B0D112F-5889-44D5-81A1-6414805689B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2936bdbc6e93a4eab9a6826675888933868d6c2b","datavalue":{"value":"signal-temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364692$CD05E013-D5CC-47E9-9620-25C458BEB8A9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"df9f46973d8c78aa3238ba7e8fb358838da0670f","datavalue":{"value":{"entity-type":"item","numeric-id":32636,"id":"Q32636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364692$600F8CC1-4603-4B99-890F-D2BA16FF96BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364692$3C61B0DB-5914-4A3A-A8D9-7D8B733E2988","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":"Q2364692$70EC5434-04D3-473C-8D76-3592E8F7FC49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"030ead2c44cf111962d98d1c96e9938fbba46256","datavalue":{"value":"https://doi.org/10.1007/978-3-319-62075-6_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2364692$CA70A4C9-0832-4A37-AE88-13AFD54F4098","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40238726b40497144e4dee7f4e1c7b0e80fe96eb","datavalue":{"value":"W2731247677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364692$8D293FF7-512C-4C26-82FB-F2022D084308","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364692$3962D941-150C-4F04-8A74-B657422CD6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364692$16383B78-5AC4-40B1-ACDE-C6AEECCECBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364692$29FD3684-7EF7-4EB7-8F01-0F4A3BB96B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7dd1fd20704a5d11302e1d4bcf8fe3429246b7","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364692$A4417637-2673-47EA-99C0-5FAEC6623D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c48b656862e768c01acec283b9cc4b6d064138","datavalue":{"value":{"entity-type":"item","numeric-id":5404094,"id":"Q5404094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364692$7F32317E-56FF-4660-AC3F-F1CE31DDE713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5eb573f82e366344add49075d7077ddcf4dd70","datavalue":{"value":{"entity-type":"item","numeric-id":5452193,"id":"Q5452193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364692$FE7A1CF4-FB9C-4F9C-8032-F8A6B7C23F00","rank":"normal"}],"P1643":[{"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":"fa67c50e930e739f522a978e1566e0e002cf20f7","datavalue":{"value":{"amount":"+0.7262042164802551","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":"Q2364692$5927A524-B435-4E49-86CF-3360332D1EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9b3bfc4b8c03a3d2e0b056527a264447ec2302","datavalue":{"value":{"entity-type":"item","numeric-id":5452054,"id":"Q5452054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bdcbc96a4ea2ad9093ada5e2afbcc230c9f105e","datavalue":{"value":{"amount":"+0.7195135354995728","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":"Q2364692$E4070F62-850F-49EC-A9E3-BECFCC1D4FAC","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":"8eaff9bf5b86eeea67673b1b164291e4100ad00b","datavalue":{"value":{"amount":"+0.7060914635658264","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":"Q2364692$329E33C7-9F31-4CB1-B4D4-9D8987CC8FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8116fea7272992749e4bd457136741d83f9b182e","datavalue":{"value":{"entity-type":"item","numeric-id":4916070,"id":"Q4916070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a7d46fa01dd7792bea4f05c9361973104b7f0a6","datavalue":{"value":{"amount":"+0.6913026571273804","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":"Q2364692$224B5B4B-77AE-46DC-8E02-317E8D3314DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a2bc8727b343fdce9cae140f43ff4e36ae28e24","datavalue":{"value":{"entity-type":"item","numeric-id":5404094,"id":"Q5404094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e57b2fd13c4845c1bfc363e717d3d6243b763fc5","datavalue":{"value":{"amount":"+0.6889505386352539","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":"Q2364692$9D147E92-8A47-4DB6-B506-DCF62B66A024","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2364692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2364692"}}}}}