{"entities":{"Q264544":{"pageid":266311,"ns":120,"title":"Item:Q264544","lastrevid":60482847,"modified":"2026-04-10T17:16:32Z","type":"item","id":"Q264544","labels":{"en":{"language":"en","value":"Complexity of model checking for reaction systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6561604"}},"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":"Q264544$9DF86485-6842-46C7-BE75-BB5E99F5B466","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78e581c9f6a5470a058f055080d89f74bdb37190","datavalue":{"value":{"text":"Complexity of model checking for reaction systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q264544$D62598FE-D211-4E07-B1DF-31D3FCD04C75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60edafdbd8fad064eff536349fb29fa2f0cf5849","datavalue":{"value":"1336.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264544$B8C0ACA3-AE3B-4D11-BECB-526D526C5D63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2374781cb3e7afc5f9e620c471de5c662769beee","datavalue":{"value":{"entity-type":"item","numeric-id":264539,"id":"Q264539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$EAD2FBAE-7849-4274-BFBC-9EAFA48EDAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f0259573622cd1e03790bf690bda6c6d39686b0","datavalue":{"value":{"entity-type":"item","numeric-id":264540,"id":"Q264540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$C6F0917A-D8A2-4C21-A27E-9191D78DD72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0831a99913c94ca8e8045f86f7f42a7973dad4b6","datavalue":{"value":{"entity-type":"item","numeric-id":264541,"id":"Q264541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$EDEAABCD-1247-4D47-8411-29821A55EA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d51619430e561dec897f5076a0a8a9c980f8b1f","datavalue":{"value":{"entity-type":"item","numeric-id":264542,"id":"Q264542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$E4664B12-C37E-45E3-97EF-B244256358B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f24d9c5441ada517025b6e202b51359842238ba8","datavalue":{"value":{"entity-type":"item","numeric-id":223821,"id":"Q223821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$D3A73FEB-BB0B-4E43-A002-28162F9E097C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab17f69d3731a50d23b4959665885ba4ff0ca8a7","datavalue":{"value":{"entity-type":"item","numeric-id":264543,"id":"Q264543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$5D6B2EDA-E104-464A-8CFA-685D81B94DDA","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":"Q264544$F012FDC2-944B-4DD2-AFD6-900F6D3721DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e04a1e830ea0fd093529fe82379b6a163df4dd6f","datavalue":{"value":{"time":"+2016-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q264544$AC2E1E1F-0B8F-4C80-8738-A0E7C2C14B9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264544$82EBE29C-483B-4799-8AD2-BEA401A9BCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264544$AAF5A929-B011-4C91-905C-AC560BEFEF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264544$49F729BB-AB22-4B00-AECC-BEEF58C1C4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264544$64622520-6EDC-4A8F-A491-31BD055BE865","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ac850251ca24143a5624449c1243c5b7190e4f2","datavalue":{"value":"6561604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264544$ADDE9F73-08F2-4B42-8FEB-EC108B6964C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72c94ce08f907b715f55fa107594119a9c392405","datavalue":{"value":"reaction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q264544$D43E9677-489C-4D12-AB6F-1120C28976D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q264544$11D0DD10-6841-46DD-95EE-1F8FDD8F8F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75282c719bc2e6d94724777c05fbd256ab5e89d9","datavalue":{"value":"biomodeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q264544$72513F5D-8FC4-48BD-8364-40D01082CA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ed5d9608c42766f0863d478b24e207928c14759","datavalue":{"value":"conserved sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q264544$D975054B-85FB-4F84-A88A-10820FB1021B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q264544$DA6BBA46-55C3-439B-81DC-6F8E40E7C889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3be721bb986f3598c7730d722110fb75cc6a286","datavalue":{"value":"steady state","type":"string"},"datatype":"string"},"type":"statement","id":"Q264544$3CBBC461-1D46-485D-9554-6B4C4D1DF555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aadf49ba1b7986124b2a3f1354e8d1c242d2e18","datavalue":{"value":"stationary process","type":"string"},"datatype":"string"},"type":"statement","id":"Q264544$1E61F983-C227-400F-BC78-CAC49EBED7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cdb3807cdd3a9f3f0cef82b40dceaba3b02439c","datavalue":{"value":"elementary flux","type":"string"},"datatype":"string"},"type":"statement","id":"Q264544$CA6900D9-ECCF-4FEF-A8A2-B2FC67BB9336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a64fc47d6b4374dda5b80285e4867d8288957c1","datavalue":{"value":"periodicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q264544$A4949BD0-9922-4B25-84A9-269D47451FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q264544$27D77A66-DEFD-4EF9-8FE0-CDE1BD13302C","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":"Q264544$A6F42486-89A7-4CA5-847C-95E38B6AF4AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a932b15bb61df7a8b1eab7e3a058e6e32e5f8f1b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.11.040","type":"string"},"datatype":"url"},"type":"statement","id":"Q264544$C47C0014-6860-4012-9A2F-15AA0357C8DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2702adc31e2a44f56394465aedd319c8f4bbb218","datavalue":{"value":"W2215907076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264544$A4A6712A-21B7-41D9-A237-102A7B2FB78F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5fe15b03bf1eabc4c795cd203497ca78856b688","datavalue":{"value":{"entity-type":"item","numeric-id":5415283,"id":"Q5415283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$D49F879F-D9B4-4530-9590-5E34FBA5E89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fad4415ce71d3d8c49c11b75d18252242931459","datavalue":{"value":{"entity-type":"item","numeric-id":2909091,"id":"Q2909091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$FC0BF69E-5BE6-44D8-AAD6-9C3CA3E24F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186a0bc3b69a060d42749ff1e21890787d8360b2","datavalue":{"value":{"entity-type":"item","numeric-id":714816,"id":"Q714816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$86CE7907-62DC-4C6A-BCB8-8D0DF713FC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12eb1b00cd700375a319d9eff0e665861dba3282","datavalue":{"value":{"entity-type":"item","numeric-id":3076610,"id":"Q3076610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$CB232792-7811-448B-BA28-6363392372D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e56d54f0f6b107eb4ab9aa281a6e9b10fb7af93e","datavalue":{"value":{"entity-type":"item","numeric-id":3425581,"id":"Q3425581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$7C6F7384-74C2-49FA-92C6-A7AFE8DE687C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a402748ce07b2d0ac04fe80fdb4b757cc6ca6f","datavalue":{"value":{"entity-type":"item","numeric-id":5496182,"id":"Q5496182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$78F2E699-676F-491E-B4E9-0AE2BA37BA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d5c5f75f3469b075f88f1f7bdbfa4a47a98756","datavalue":{"value":{"entity-type":"item","numeric-id":5175891,"id":"Q5175891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$7B1E1D58-D797-414C-96B6-B3522F44DC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$C2730805-03BE-4957-9A55-3FC16E090761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$1F9D9F22-47FC-4783-8807-8238A5D228DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea95d898c522107c713d015a176d249cd274c82e","datavalue":{"value":{"entity-type":"item","numeric-id":1749193,"id":"Q1749193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$EE61BF11-AF93-4979-95C5-7D92FF8A79F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$7450243F-EBAD-45E7-B245-02C74F1C0989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3798f797f1d96df74883f771f001f3f714b860f0","datavalue":{"value":{"entity-type":"item","numeric-id":3036719,"id":"Q3036719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$B5B8553D-D62F-4A69-A221-349EF8AC1393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3f925afba34fe206c07c9f5c089e3dc70496a0","datavalue":{"value":{"entity-type":"item","numeric-id":1935775,"id":"Q1935775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$B07E18AE-D06D-4D5B-8C4F-BA54D3687F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59f1001909b14c9d9744f7889f2ab3e27aa32a49","datavalue":{"value":{"entity-type":"item","numeric-id":2841991,"id":"Q2841991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264544$D8BCC413-F155-4294-9CA9-8FF0ADFD5338","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b7866c3fba28579438d86acf86920c2a5db6ca1","datavalue":{"value":"10.1016/J.TCS.2015.11.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264544$BA3F8EC4-2A90-421B-AAF6-7B7C42F91A8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"589c9d6a35979a8209eb4e11e03e45458f7272f0","datavalue":{"value":{"entity-type":"item","numeric-id":2417853,"id":"Q2417853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"061753894c60b5151df134a93ffffdc489e44418","datavalue":{"value":{"amount":"+0.8491460084915161","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":"Q264544$D8F232B1-5FE6-43B0-AC86-BC3B7B687DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b80ac1422e2ee49ed4d6ad8f14526d9657d8a33","datavalue":{"value":{"entity-type":"item","numeric-id":1682852,"id":"Q1682852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30bff4fe82536db8031e8c479b4fdafe40ee9b3","datavalue":{"value":{"amount":"+0.8459360003471375","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":"Q264544$8647E937-169A-401C-9AB8-682E0A766424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf315de2412057c60f8b654bcdfcae77648a03f","datavalue":{"value":{"entity-type":"item","numeric-id":2819155,"id":"Q2819155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7700874157500620fbede4bf0075f0a85b705691","datavalue":{"value":{"amount":"+0.8110948801040649","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":"Q264544$A5F7B62E-DC9A-4F99-8A9E-B2552E0D4DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e17ddae2eecc056795480831de67606bb126a6","datavalue":{"value":{"entity-type":"item","numeric-id":2798751,"id":"Q2798751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"929c318e9cc25d5e304d9706f6294baadbefe807","datavalue":{"value":{"amount":"+0.8075045347213745","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":"Q264544$8267ED37-7783-457D-8F96-652BB6714A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c937f71529d23b3a42cfaa8d1930500d21e9bfd3","datavalue":{"value":{"entity-type":"item","numeric-id":5496182,"id":"Q5496182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39c5c76ff7c1f9ceef66c10056931989c9bf0d8e","datavalue":{"value":{"amount":"+0.8068792223930359","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":"Q264544$F5FA0FF0-D89D-48F9-8B1A-D4BE2753F553","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of model checking for reaction systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_of_model_checking_for_reaction_systems"}}}}}