{"entities":{"Q6074994":{"pageid":13209302,"ns":120,"title":"Item:Q6074994","lastrevid":41677416,"modified":"2025-05-07T02:54:58Z","type":"item","id":"Q6074994","labels":{"en":{"language":"en","value":"Temporal logic based synthesis of experimentally constrained interaction networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7752567"}},"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":"Q6074994$44C36526-D5C7-4F13-BE41-4D56A91DD1F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45098ba6bd707f5be4c9111f076d5eeb705ba8a1","datavalue":{"value":{"text":"Temporal logic based synthesis of experimentally constrained interaction networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6074994$294CE3CB-0EC6-4EFC-8B72-E78D5E8CD08E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ada0291bdfbbf8f21bd8245dd9c92f7e36f14160","datavalue":{"value":"10.1007/978-3-030-19432-1_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6074994$ADD38A74-FB67-46AE-A427-48AB9265BC95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16adf249ea1b81c6efabe4ed37d5b2bdd0d6b65e","datavalue":{"value":{"entity-type":"item","numeric-id":6074993,"id":"Q6074993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6074994$C5305862-B988-4AF8-85C7-2C7B9994B779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47ba31a0dd52d729abd5e87310a7cf44922fd880","datavalue":{"value":{"entity-type":"item","numeric-id":2234095,"id":"Q2234095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6074994$A4D38CD1-2D4B-4ABD-95A8-7B62A6D931B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"058f4228f4df627ba970614b3bb2ec923c3d4000","datavalue":{"value":{"entity-type":"item","numeric-id":6074987,"id":"Q6074987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6074994$5D78DFB5-0734-4B2A-B51A-A431733E93E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1303fc8a10c765af83b02ffda4134cc41a83f67f","datavalue":{"value":{"time":"+2023-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6074994$844C84A2-5D3A-4E09-8715-037362EBF1CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d3429de9d34a3ca0e7472c9aa05e41fa4eb076ae","datavalue":{"value":"Formal methods represent a powerful approach to the automation of the construction of computational models of gene regulatory networks (GRNs) and increase their predictive power by considering a set of consistent models that are guaranteed to satisfy known experimental data. Using the synthesis and analysis framework for biological networks called abstract Boolean networks (ABNs) framework supported by RE:IN, we provide translations of experimental observations to temporal logic and semantics of ABNs, enabling us to use off-the-shelf model checking tools and algorithms. An initial prototype implementation we have developed demonstrates this is a gainful approach, providing speed-up gains for some benchmarks, while also opening the way to study extensions of the experimental observations specification language currently supported in RE:IN by using the rich expressive power of temporal logic.  For the entire collection see [Zbl 1425.92004].","type":"string"},"datatype":"string"},"type":"statement","id":"Q6074994$A7B3EA57-1DBF-4128-A851-7A265822DBDD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fc789b7a88d36669c373a3c409f4a9dd27a84cbd","datavalue":{"value":{"entity-type":"item","numeric-id":344415,"id":"Q344415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6074994$AAA576B4-8DC0-4520-AD32-834A6E162A24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cc6a2d1a81aec0cb5abdfe44055f934ac25329b","datavalue":{"value":"92C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6074994$10C3844F-8C04-4A7E-9F25-EF8AB3AC6AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6074994$AB96F28C-4602-4E27-934D-4837BD154C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6074994$5BB94A42-1B4D-487D-B215-FA22F5C9DF5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75c60b099bdfcb30773a100963fa942c89258669","datavalue":{"value":"7752567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6074994$3C351D69-D17A-430C-80B2-CB9CECAE853E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6074994$B73F4465-4786-4CE9-ABEA-CAE1B479F2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6074994$198449A4-6B5F-4331-942E-34BD66288425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6074994$9B04851A-9D8C-4B3D-9E86-094DA1EF9BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ce72767e589536ece70cde7afc8c19ea9120001","datavalue":{"value":"gene regulatory networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6074994$DD5C7676-17EB-4875-9D69-5ED0240933DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"026e5b87db1f5fc851438c7e6a46a85ded457fff","datavalue":{"value":"Boolean networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6074994$E091EDC2-2397-4765-B16E-4264FBEF0154","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":"Q6074994$04CF7B20-3B90-4BA2-985C-521C51220A84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19aca0e0744e8b9be9441c31c9cd5566ec47ccf0","datavalue":{"value":"https://doi.org/10.1007/978-3-030-19432-1_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q6074994$E2D200F1-1055-400F-B488-03FAB2285101","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a47cc79e0f004e85c715de043e6f5902a1aa44fc","datavalue":{"value":"W2940493967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6074994$A9969EE2-14BA-444F-B8F1-CEF56DB467D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73b150d7ffb2ee0e561246d63e92c3e63aeb71be","datavalue":{"value":{"entity-type":"item","numeric-id":2474436,"id":"Q2474436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af0f3d11d49b705b5334fb85ac398cbdc2227983","datavalue":{"value":{"amount":"+0.8796389","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":"Q6074994$ABFE6FBA-33B7-4C07-95F5-7034B602C991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e16a5297a1b1f8bc96ee3e8824a038ed78f7f1","datavalue":{"value":{"entity-type":"item","numeric-id":3113724,"id":"Q3113724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eba4bd4e3966dc8407b9cad1abf4179f3e619ec","datavalue":{"value":{"amount":"+0.86258763","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":"Q6074994$9141AF86-2C49-42A6-A1DF-6CECE7007DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635341fe2b70c65723ea937d500700ac72e18697","datavalue":{"value":{"entity-type":"item","numeric-id":5206952,"id":"Q5206952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8b20255914723235a99227369c8084b8068ffc2","datavalue":{"value":{"amount":"+0.85949063","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":"Q6074994$D657EAC2-F955-4D52-88DA-595E5253BCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec94a79ea7feb77d6dfa83666e345a7aa51f90ca","datavalue":{"value":{"entity-type":"item","numeric-id":1058846,"id":"Q1058846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8944404078e231faf97b8ec6fe9e2057872759c6","datavalue":{"value":{"amount":"+0.84998804","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":"Q6074994$2F5A7147-6647-48B1-ACB8-089FE70F6589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a7b5c4958e234d1719a9582932fe936fac005b9","datavalue":{"value":{"entity-type":"item","numeric-id":262133,"id":"Q262133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4127ab53842967ce7cdb6bb138be6bb4e9886b0","datavalue":{"value":{"amount":"+0.8478259","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":"Q6074994$F92D7899-27BF-44D6-BDC9-34EA715DCBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ba7c806eaccfd804d6e81d6dc549da28fa18c3","datavalue":{"value":{"entity-type":"item","numeric-id":2372184,"id":"Q2372184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d7ea100299d1f439a4f7f37fda1abde6d67c61d","datavalue":{"value":{"amount":"+0.84533894","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":"Q6074994$BC71AC44-F5BF-4DB1-B80D-CEB5F1327F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb50807888c024fdf11d80b6762b34e2601ca427","datavalue":{"value":{"entity-type":"item","numeric-id":2062122,"id":"Q2062122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f0a83c508e22b2d79c4cae656674f785ca2898","datavalue":{"value":{"amount":"+0.84373283","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":"Q6074994$48BC8F46-4D93-45D7-8362-A8548728BDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ddef41592952b3a794f4ba2e4feb2f65f021c3a","datavalue":{"value":{"entity-type":"item","numeric-id":3341874,"id":"Q3341874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f0c1a06583ad9a846d7e7a03ed33a5783eb757","datavalue":{"value":{"amount":"+0.8430304","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":"Q6074994$8F45EC24-A23C-4915-AA30-89A0A1DFB1F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6074994","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6074994"}}}}}