{"entities":{"Q5194958":{"pageid":7224530,"ns":120,"title":"Item:Q5194958","lastrevid":91522022,"modified":"2026-06-04T23:23:09Z","type":"item","id":"Q5194958","labels":{"en":{"language":"en","value":"Model Checking Gene Regulatory Networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105972"}},"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":"Q5194958$19FF458C-42D8-42B5-A3B7-521832E3FF36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0bc37ecc642ceb8190cb5fa0126f2bfb9e55f79","datavalue":{"value":{"text":"Model Checking Gene Regulatory Networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5194958$D3D63211-BEDB-4E79-BC0A-22C332C0FAFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11380aa1e79f8bad12e74c2c19194008f229be5e","datavalue":{"value":"1420.92041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194958$463CEB69-3C40-4064-909B-4D75E65D7E7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ac82adb8492e43665134969231125e003a34ad9","datavalue":{"value":"10.1007/978-3-662-46681-0_47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194958$FFA3393C-1647-472F-90AA-A4A9A01DEE34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"461036bcd5927cb876baf0b603e5bfaa0711c683","datavalue":{"value":{"entity-type":"item","numeric-id":832243,"id":"Q832243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194958$198996F1-B913-4A8C-825E-E329CF58A5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17cbd5063b82f27961db7af73115041a8ffe3896","datavalue":{"value":{"entity-type":"item","numeric-id":1683929,"id":"Q1683929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194958$631AA794-A70C-45C7-A87C-E381EE205942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cefe2994cd2e378e79e344a451c126379a495f1d","datavalue":{"value":{"entity-type":"item","numeric-id":630709,"id":"Q630709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194958$21CA189F-BA8B-44DF-9B0A-41E07246465C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7895ed3ecb314ee6ff42de923595b5e7f6b20526","datavalue":{"value":{"entity-type":"item","numeric-id":739405,"id":"Q739405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194958$BA8F09CD-EC4B-46D0-BF88-9E637EB96A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9c30ba4ff9f6a2e85f4173774877e90d990c01b","datavalue":{"value":{"entity-type":"item","numeric-id":404797,"id":"Q404797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194958$42139E2B-F284-4ABA-A646-EFF14A195918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194958$EC30E338-6844-4FE3-8C68-0F4D06D07DD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194958$F0874D28-2E93-4A63-BE02-F4F574FD9251","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5194958$39E79FCA-6AB0-48D4-B3E7-33054F5C8DD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194958$3470F0F7-36B9-482F-B4ED-3C99AFD29DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194958$A897AD74-FD5F-41DC-BEC2-64B5313BB5AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8f2b700fa1c300e03d39a8354e557d8a70294fa","datavalue":{"value":"7105972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194958$13AE1435-EFAC-48BC-844E-FC13F06AA6A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00395212b82813585d1d92034ca9f4ffdaabe907","datavalue":{"value":"model check","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194958$D34D7B9B-B8A5-479B-81C7-2596F5E2A813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fe98c85d6546fd27029892c702be7b246704fd2","datavalue":{"value":"gene regulatory network","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194958$5CCF3371-5168-47B8-8820-3250D251A794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194958$035E4985-15D7-416C-A6BE-C07612085761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7a45139f47b3d308156671fc73d6ce136cff3d1","datavalue":{"value":"label transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194958$6796456C-7115-4058-9A3C-AF92D0DE37D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9be9c1bfb790fc85ca919d5a7c80b1115d03c58b","datavalue":{"value":"bound model check","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194958$4E4AEADE-7426-4E85-946A-9EC3BDC53E1D","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":"Q5194958$DC58429E-5A8A-4CA7-A1CE-1948E5B04967","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a170770490f696199cc80598463594c243f4d11a","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46681-0_47","type":"string"},"datatype":"url"},"type":"statement","id":"Q5194958$6C09F49A-2BB6-44CF-9E23-AB8AE09C2CA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f60383b3d4eb02e568b7fbe656d7f5bfa692a9a","datavalue":{"value":"W2134272947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194958$91D8C519-B161-4861-94A6-9498AF89B243","rank":"normal"}],"P1643":[{"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":"40254df0212c009f3fcc0417c1e3a66b885e2e5e","datavalue":{"value":{"amount":"+0.9524379","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":"Q5194958$7476ACB6-1C43-42DB-9526-1BAC4D9A2614","rank":"normal"},{"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":"322949eb2155a4d94feb987c4b40db0d1b13ff33","datavalue":{"value":{"amount":"+0.9501076","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":"Q5194958$1B6F616A-DE3A-47DF-A5D8-E91868BCF57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac73859dc35bc8e64c8dd03bc854a0ca8730763","datavalue":{"value":{"entity-type":"item","numeric-id":1683930,"id":"Q1683930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c0855396820af6374c2727a3ed950d4c7a9d3a","datavalue":{"value":{"amount":"+0.9483941","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":"Q5194958$8B7E1112-9DC3-471E-BABB-CC5169ED5F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90c0496ac6cc2f1f2105153357086950346168ea","datavalue":{"value":{"entity-type":"item","numeric-id":5503773,"id":"Q5503773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee46fd0d0d3e8f00bc19a075ce04259d6496777a","datavalue":{"value":{"amount":"+0.9365097","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":"Q5194958$3F72ED42-EC60-445D-87A5-48E6A57F0A3E","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":"9fdf5a4ae0c1f09f35b233fa039627f7762228e6","datavalue":{"value":{"amount":"+0.9337088","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":"Q5194958$7641C74F-9C79-46E8-B389-8631B6E21CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf88f8a8343c304b21b1641083ab377be3c1811","datavalue":{"value":{"entity-type":"item","numeric-id":4554266,"id":"Q4554266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd0f67c896dfdd14ddad20b83fb633ada4494160","datavalue":{"value":{"amount":"+0.9302299","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":"Q5194958$3C28E734-507E-42AF-8701-473981B7417C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b477db2c3e1f3f19e86ee6737b1def3a971edd7","datavalue":{"value":{"entity-type":"item","numeric-id":4657064,"id":"Q4657064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc8d9db209b979e77d40ca2fc6000130198b776c","datavalue":{"value":{"amount":"+0.92637205","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":"Q5194958$5DD6E7F6-7DE7-44A4-954B-ECB21C908CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ec1bf427e08e3174ea8064f6e61efebf7b27bfc","datavalue":{"value":{"entity-type":"item","numeric-id":5471651,"id":"Q5471651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21f047a93435585c88c298143c74edf51e75e17","datavalue":{"value":{"amount":"+0.918726","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":"Q5194958$452415E3-9B33-4B69-A169-3D8139C65988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ad0f4aad72e3e91eda78cc8faaf54df363c7fb2","datavalue":{"value":{"entity-type":"item","numeric-id":3370795,"id":"Q3370795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79103d327145ad12937ee8bbe4c5dc508ad0505c","datavalue":{"value":{"amount":"+0.9057633","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":"Q5194958$7E965C1D-3565-411E-AAB4-FE03172DAB9C","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":"b118fbde3ca985a492721036111d3a8754b0bdd7","datavalue":{"value":{"amount":"+0.9046641","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":"Q5194958$7D077700-8AA4-46DB-8F13-7C03073E5AAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model Checking Gene Regulatory Networks","badges":[]}}}}}