{"entities":{"Q548484":{"pageid":550251,"ns":120,"title":"Item:Q548484","lastrevid":62703225,"modified":"2026-04-11T07:53:23Z","type":"item","id":"Q548484","labels":{"en":{"language":"en","value":"CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5914351"}},"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":"Q548484$2D6BEFD4-5D7A-4980-8F0A-D2AA1735AD5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"206fa72d7e46160471efc8fc3b647b8f9a79ced1","datavalue":{"value":{"text":"CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q548484$23D0F492-5C33-4782-909B-8B0076B99E75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8bd7cb6daf27c1d83351471d1d689f93dbbbefa","datavalue":{"value":"1231.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548484$AFC9FFE7-5BF5-45AB-BFFB-2813211BC3D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02c329ce73cf2cf05208eaecb8501cfdd9b30fb6","datavalue":{"value":{"entity-type":"item","numeric-id":282109,"id":"Q282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$FD412BAE-4EEF-48BC-A028-F473A16B96E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e0fe6ec5b53932a71829d693b60f498398f8ceb","datavalue":{"value":{"entity-type":"item","numeric-id":548482,"id":"Q548482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$54C4D59F-3E67-4653-A84E-42D65013E2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba8975614cd8d1d595b7cef60fd45d29d6579b0d","datavalue":{"value":{"entity-type":"item","numeric-id":548483,"id":"Q548483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$12E3C9B2-8619-40C5-B498-C5FB8DA15DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1ce681841212db1b2f48f7274560ac1b06ea90d","datavalue":{"value":{"entity-type":"item","numeric-id":253514,"id":"Q253514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$9692147C-9288-4A48-B743-C694CC330486","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":"Q548484$7D2A88EB-84F8-4DCA-89D0-DF2129B0140F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"867413887a7ccf081ae51fc77317028b78dc3415","datavalue":{"value":{"time":"+2011-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q548484$852464E5-0A82-4522-8178-BF6CFE0BAE96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab209f255c35a57c3a93b45a7a669c34e4f52c87","datavalue":{"value":"https://hal.inria.fr/inria-00610831/file/Mateescu-Monteiro-Dumas-deJong-11.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q548484$69A76A7C-F70E-4AB0-836B-A447A861776A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0eb6439f8e7211302ba8575bd1617e39847605d2","datavalue":{"value":"The paper promotes the idea to use formal methods, in particular model checking, in order to analyse the behaviour of biological systems. To this end, it introduces a variant of the well-known branching-time temporal logic CTL, extended with regular expressions and fairness operators and shows ({i}) how formulas of this logic can be model checked and ({ii}) how this helps in the analysis of biological systems.  The first aspect is covered in too much length. There are several extensions of CTL with regular expressions by now -- often introduced in articles by the first author -- and the extension with fairness operators has been known for a long time. A large amount of space in the paper is devoted to the translation of this new logic into the specification formalisms used internally by some model checker. The purpose does not justify the effort. The new logic is said to be designed specifically for the requirements occurring in the specification of biological systems. Thus, it would have been nicer to learn more about its use there as well as see it thoroughly compared to other extensions of CTL. The translation into modal equation systems -- a notational variant of the modal \\(\\mu\\)-calculus -- is of little interest to people wanting to analyse biological systems. Thus, it would have sufficed to give a clean translation into the standard representation of the modal \\(\\mu\\)-calculus with the hint that there are model checkers for this logic. Also, it seems like using \\textit{J. A. Brzozowski}'s derivatives [J. ACM 11, 481--494 (1964; Zbl 0225.94044)] would have eliminated the need for some ad-hoc determinisation procedure, the correctness of which is not immediate to see.","type":"string"},"datatype":"string"},"type":"statement","id":"Q548484$8D92732E-F55B-4FB1-9781-86B80A0A4F7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548484$EEBB1317-5D0C-4A0D-B3CA-99EF44163741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548484$880753C6-FBA4-428E-A9F9-C7A9695FEFA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"660b08b1740ea218ebb56e43d2814c258e3a5d5a","datavalue":{"value":"5914351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548484$0275930D-A0AD-4C99-9C68-93C408C584E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q548484$1EBD7C6C-F84A-4D05-A7DC-D4D35A9D3680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q548484$ABF0B3E3-A7B0-4F19-ACDB-A014282EED59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q548484$6A99D3C2-7DE2-443B-BC9A-A247B4709B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71935729bce666d4923eda193cbdcd96dd69ee74","datavalue":{"value":"systems biology","type":"string"},"datatype":"string"},"type":"statement","id":"Q548484$D0F6B71A-9799-403E-9198-B64B156BE9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9f1b2d3256ccdf966527ea2ba9573cec61f66e6","datavalue":{"value":"genetic regulatory networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q548484$6A2B8B80-09FB-40D0-876D-3432FFCBCC6C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e94bb2c3fd7ba5cbc6a88659011b04114996bca5","datavalue":{"value":"Q59843858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548484$1A94EF19-C379-41B8-BF9E-1F295078931E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$3E260C4A-33DC-418F-A190-B4BA703FF80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c11dd4f5e8562a7579fa5f894672b041bb21507","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$058A1B83-82AC-4447-AA2C-4E51237D22EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$3D4C7759-2086-4FC6-9011-A75242B1A6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$9FAF112E-DED1-42B8-8BBF-FCE66EEDF577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15f42f34bb8034b7153a71ee2b21150989bbe06d","datavalue":{"value":{"entity-type":"item","numeric-id":19719,"id":"Q19719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$1D97CED1-2237-4CCD-B041-4F969E9E4033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76fd75bdf0976a0e4ed41326843ac8e5ceb2869b","datavalue":{"value":{"entity-type":"item","numeric-id":22161,"id":"Q22161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$FA7C55F2-B9B2-4B04-B5E1-FF42F6FF40D0","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":"Q548484$F6256F69-3E64-46F6-817F-692CBEC84952","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f43bcfc311080380f5aea4ee6fed14bbafd75f95","datavalue":{"value":"W1966021826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548484$95F91FF0-5476-47D6-BEC0-655B05AD3CA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4099c2dffdc34c9a8cc569c4ebb17f8d9459681e","datavalue":{"value":{"entity-type":"item","numeric-id":2368954,"id":"Q2368954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$3EE4E219-1548-4EAC-88AB-E60B6A658A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e23095c9e979a8ccbe1d8e5e4d4b937b8eb36cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4472249,"id":"Q4472249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$C1EEC76A-8002-4811-9834-42885C72FF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a024e4af83fa9f2f2a77ba3224e9437876b3e7f","datavalue":{"value":{"entity-type":"item","numeric-id":2870296,"id":"Q2870296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$758C6DBC-A25D-4325-BB91-01C995E09B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53bbc31a445e987f53c0841acd693d68b85167b","datavalue":{"value":{"entity-type":"item","numeric-id":5901902,"id":"Q5901902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$84F0AA21-D660-4658-9C7F-CEE4EA895CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7748fffe42c3046944050ed4c8856b648d5ccb61","datavalue":{"value":{"entity-type":"item","numeric-id":5308374,"id":"Q5308374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$59F365B2-0F3B-4158-9B60-5A3C82C53CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2839c818dc904657b5d27869e256732e687b55f","datavalue":{"value":{"entity-type":"item","numeric-id":2440681,"id":"Q2440681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$702FF79C-6D27-4EA6-8BCB-51D81DA0BF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e30b87f6e3f7618cfea7524c097e8adbdcbcd4","datavalue":{"value":{"entity-type":"item","numeric-id":4551164,"id":"Q4551164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$D1E2F934-A9DA-4D54-9F51-65C4011494AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f276d939ceb32b424ad2add813b092c06ebe1083","datavalue":{"value":{"entity-type":"item","numeric-id":2189295,"id":"Q2189295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$BEF1AC18-B42E-4258-920F-C2FDBDCEB5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46f762c9a8efd45bd5817d1e9f96d4701218d48","datavalue":{"value":{"entity-type":"item","numeric-id":3430687,"id":"Q3430687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$BC054EEB-6AD6-4365-B976-93CFE3FA0A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$FC8C9803-DD52-44F4-87D0-00820C6B2DD5","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":"Q548484$160E111C-9D7B-4727-A779-E7F8030EDB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a470c5ce589890367502981ff1b71f1c93977be2","datavalue":{"value":{"entity-type":"item","numeric-id":4540483,"id":"Q4540483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$E58AF1FE-D1EB-40F9-956B-30B4F24AC1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0618ab971b1402c4c34251dffc850ea86689a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$CC7E5D91-4D8E-4E94-8436-C6AAF1AB3818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$97F8C770-04A0-4D7B-B9DB-DF35A6D19D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e6a970ef833d1f16c56166519e7e5cabfc785e","datavalue":{"value":{"entity-type":"item","numeric-id":1325848,"id":"Q1325848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$6B997155-9651-4E8B-9D07-47AEFACECF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761764ab341e3c45ab12b1fd51baacfaf6590a95","datavalue":{"value":{"entity-type":"item","numeric-id":5946346,"id":"Q5946346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$248A988A-0374-49E2-A67C-9DF85E49CEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2399037d2df03cbb0819629f4c4b00803339504d","datavalue":{"value":{"entity-type":"item","numeric-id":253519,"id":"Q253519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$6FCA8A7F-8CB3-4FA5-AC6F-5CFFE8384CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"922961c2109def24c7069a69ac39492c20ccdd48","datavalue":{"value":{"entity-type":"item","numeric-id":253520,"id":"Q253520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$F1D1EDE5-14EE-49E8-881C-6775377448F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$9FDB6B50-CED6-427B-BF50-5ECAD9402F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$7849A3CE-7D22-4DF7-A384-84FAA1F3C1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$D29678E3-9949-4144-95D0-ABFBEF52EE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b5c41b8fa9bfd32b9ea3ffe89f5eb644d3cbe4","datavalue":{"value":{"entity-type":"item","numeric-id":2373606,"id":"Q2373606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$25FE35D1-123F-47FD-A276-507A3FF06A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd65aee83981e7c0284b830a2a3909673325bd27","datavalue":{"value":{"entity-type":"item","numeric-id":4037390,"id":"Q4037390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$298DC6EC-D6CD-4750-8F2C-0257F89A0AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6a7918bf4a2ff0a7dd0c860a931a547e7e751b","datavalue":{"value":{"entity-type":"item","numeric-id":3612979,"id":"Q3612979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$02B11FAC-A583-4ED8-8E79-C740F46D286B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"974578463365c4190c36b038170e52ce58a3c14f","datavalue":{"value":{"entity-type":"item","numeric-id":5899040,"id":"Q5899040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$93169212-65E6-4E0F-9E96-C90732690B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$905B4E47-1471-4BA6-B1FA-CFFD79AC802B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$34AE4883-486E-4086-9574-1132C24DA13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612277e182ba1b70a3979c9589d06d0d97b6ea4c","datavalue":{"value":{"entity-type":"item","numeric-id":5703777,"id":"Q5703777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$D971D32F-A6DE-48EC-A6D1-B514592D7111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e4c3801010a4bee6d03ee81a6a1a5d94252213","datavalue":{"value":{"entity-type":"item","numeric-id":3792217,"id":"Q3792217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$C5E0B46D-B65E-4385-A350-4C6698AD876F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a9ff85488e4141698f1e4fc413c11477c143d1","datavalue":{"value":{"entity-type":"item","numeric-id":1102258,"id":"Q1102258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$EE85CB6F-073E-4A1C-B975-F863D70F5E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601ce7898e4281227c5c615b21433d778c777f29","datavalue":{"value":{"entity-type":"item","numeric-id":3540063,"id":"Q3540063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$9668146E-5308-4A23-B6E4-D8AA37F8AF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad737a5c5987d428a8ca90278b0e43f2eaa2b701","datavalue":{"value":{"entity-type":"item","numeric-id":1870865,"id":"Q1870865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$C3A9F2C6-37B0-4302-8ABF-D8F855E781AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10a5edd20b3eb028e1ede379f4ed933e3c61de65","datavalue":{"value":{"entity-type":"item","numeric-id":2209074,"id":"Q2209074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$B49C1806-B17F-4C75-9D77-7D35A4FC540F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$B752A270-B02F-4663-B036-A638748C0ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$74C4B213-E1ED-42FC-B9A5-610F17D6AE56","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":"Q548484$1935C767-FCD7-4403-9439-D1D576E58A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45b6547cdfa53f3bfe0a1e76a0ebc5eb0475cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1346417,"id":"Q1346417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$4717357F-3535-46EF-8587-5B10D50EFA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5b71b7e6f84e554c58be41609ee5d08fb2e826","datavalue":{"value":{"entity-type":"item","numeric-id":4733423,"id":"Q4733423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$B0105CBE-B73C-4477-9EFB-CCD846ED43ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe51e8ca511a5bb5ee4c175e518b6004a41de45","datavalue":{"value":{"entity-type":"item","numeric-id":4736610,"id":"Q4736610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$189B0A48-610D-4EAA-8856-C12A8501E210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6099da69c2eb7db5a8595f9de4e39712280e72e7","datavalue":{"value":{"entity-type":"item","numeric-id":4632435,"id":"Q4632435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$2A418C7F-A9A7-40AD-8BD4-6172E60903E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548484$5A306345-72C1-4F34-8A17-6F2DEEB0AEBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aee10d75984e8c7b1c39af3709e7b1c488fd7809","datavalue":{"value":"10.1016/J.TCS.2010.05.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548484$3A062B15-C5A9-43C9-B157-0D7C3F6AB3D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3edc3dd72dd7ef88bd83d7aea463143371139b9c","datavalue":{"value":{"entity-type":"item","numeric-id":5308374,"id":"Q5308374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"571ea2a44805fa501f0e6ac58fc5e981784a033f","datavalue":{"value":{"amount":"+0.847559","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":"Q548484$8B45AD53-B59F-47CA-A646-861F88508C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2599df89fcfb1171c0bff2617de68b60e9a37d9b","datavalue":{"value":{"entity-type":"item","numeric-id":3540063,"id":"Q3540063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dc1b915ce387c6d848805f4cd89d328d03fa54c","datavalue":{"value":{"amount":"+0.84084415","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":"Q548484$357A6098-056A-4945-857B-C7788C05F1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b186749ef1aa1e66c939b330c20b6cd75c62e457","datavalue":{"value":{"entity-type":"item","numeric-id":3612958,"id":"Q3612958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecaf92be9ef413fe72e23d0011e55d927d638fed","datavalue":{"value":{"amount":"+0.838602","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":"Q548484$EC995FE6-9956-4987-AD9F-1E6CD3FDE0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0b67a94862f78eceedf2c11e426c4ff48073e90","datavalue":{"value":{"entity-type":"item","numeric-id":5194958,"id":"Q5194958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25d8396cea1522ab0d9986542c47074cb68d3c2","datavalue":{"value":{"amount":"+0.8376625","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":"Q548484$214FC543-7E05-4B44-9A4D-5275237F4B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1c4ddd9166686dcc18ad1b027a570ce16d7363c","datavalue":{"value":{"entity-type":"item","numeric-id":4560115,"id":"Q4560115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b671b82f488314cca934205a2600fe4627e98b","datavalue":{"value":{"amount":"+0.8321828","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":"Q548484$3BA9B9B9-4523-4C24-A43C-617F1BDEA4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebcf595135817baddc7a2054f0057f43035afcb4","datavalue":{"value":{"entity-type":"item","numeric-id":2440681,"id":"Q2440681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf545bdfd606576ad4b04e7c545e2c675039a767","datavalue":{"value":{"amount":"+0.82888615","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":"Q548484$FA2FDC34-E5F5-43D4-B632-5185A0243459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f97565df8963335bf0884b531f0ecf7543cb828c","datavalue":{"value":{"entity-type":"item","numeric-id":2271449,"id":"Q2271449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc83909bcfb16c94ecb8cd6fe99f70d93c6afcc5","datavalue":{"value":{"amount":"+0.82718116","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":"Q548484$ACE783E7-4E2E-4834-B153-2F4CAAAD646F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4eebfc2771486c7bee67156857a4564f0f03dd8","datavalue":{"value":{"entity-type":"item","numeric-id":2870296,"id":"Q2870296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"339823ce71e9fd4fd8fb1a95c413f480da458fb1","datavalue":{"value":{"amount":"+0.82162","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":"Q548484$5D11E01C-7F58-416B-8629-49E48671255A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20bfc5f36e1c7a0c7c4b147a047447b1eac3f7e5","datavalue":{"value":{"entity-type":"item","numeric-id":2202146,"id":"Q2202146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"285b89186382d9a9748a653e5ac7211d6a1b4620","datavalue":{"value":{"amount":"+0.82107425","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":"Q548484$DCA06057-4CC0-41D5-AF90-5085E9948CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69221831d8ddff44c7061382d2f02296b0e97b69","datavalue":{"value":{"entity-type":"item","numeric-id":5758118,"id":"Q5758118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"513a43f2afbe3fbac602ab2fd8bdb3ad2c018aea","datavalue":{"value":{"amount":"+0.81882745","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":"Q548484$B1428BF1-3D20-4A58-BFC6-0976FD460A78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CTRL:_extension_of_CTL_with_regular_expressions_and_fairness_operators_to_verify_genetic_regulatory_networks"}}}}}