{"entities":{"Q288812":{"pageid":290579,"ns":120,"title":"Item:Q288812","lastrevid":60674907,"modified":"2026-04-10T18:27:04Z","type":"item","id":"Q288812","labels":{"en":{"language":"en","value":"Modular verification of chemical reaction network encodings via serializability analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6586471"}},"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":"Q288812$90931AD8-11FC-4710-BEB0-FDA69F1F7F3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a26c7c6619529a622f4405e1f69e26dfb442530a","datavalue":{"value":{"text":"Modular verification of chemical reaction network encodings via serializability analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q288812$4E1AE03A-E61D-4936-8EDD-ACD92F62CF12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67895defbf63916239fc1b8f666f90e0bcad3611","datavalue":{"value":"1339.92105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288812$3D9C1E2C-824B-4F66-A1E2-FE3C6EC1E7CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8b4e778c280d6d8cb813f4d61e1c839d2cd798","datavalue":{"value":{"entity-type":"item","numeric-id":288809,"id":"Q288809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$FF7F19ED-5C38-4D7B-BB7A-9A4AAEFE108A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"539408b4e16c893af1511c3fe5560c1b441fd05f","datavalue":{"value":{"entity-type":"item","numeric-id":288810,"id":"Q288810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$3F580D83-C889-4ECC-B8E7-1A475205727B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9e63624acbb9a0c7caae1b09846351e598c4fb0","datavalue":{"value":{"entity-type":"item","numeric-id":288811,"id":"Q288811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$C349D4ED-1FA5-4B09-91B1-1065746F50DE","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":"Q288812$0BCABBE3-A7C4-4B69-9A45-9A3E9526F49F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3bea0b7db7954e7b20361e09b95af0f5516285c","datavalue":{"value":{"time":"+2016-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q288812$7BCFCB79-7644-4EDD-80C6-FAE3FC18F257","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0401b536e7fb40315b94c06d6e995ad118c1cfc","datavalue":{"value":"92E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288812$AC18350F-43B9-4F9F-8DF6-27AD0B08C771","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"193ede4ad8f977f360db3b50fe84c3b8fb5f4c61","datavalue":{"value":"6586471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288812$30910CE2-022B-4502-8E0D-8D906C64A948","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d81ee6d188d7c2c7f046875b63845f1791582e5","datavalue":{"value":"chemical reaction networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q288812$F51124EC-EE1C-4EB7-8CA2-E56A7E1AA5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"642fb89fab960669bf77c30a5366e85b7fb02243","datavalue":{"value":"modular verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q288812$A86CE6E0-6AC6-40B1-B3C6-0759D1281E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15c6902e78fdcb946ed1d44382f0f09d0e6b09af","datavalue":{"value":"serializability","type":"string"},"datatype":"string"},"type":"statement","id":"Q288812$018C310F-7A79-4F52-9E20-72FC813791A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46c0ebd60e42b47262dc80c7410cd2824607be92","datavalue":{"value":"DNA strand displacement","type":"string"},"datatype":"string"},"type":"statement","id":"Q288812$88007663-F637-4999-AAE0-1CC339642FBB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d163793293bb190a76b30359c706a3d53ec2c733","datavalue":{"value":{"entity-type":"item","numeric-id":46837,"id":"Q46837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$8922DB5C-9267-4486-8745-A8C61B26E44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$E15247C1-FDD9-489D-81F2-8C0CCA831CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$95097A9B-304E-47A8-809E-15F47555831B","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":"Q288812$75AE9E49-6098-40EF-AE86-2010443FFEB0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b928e5274c597ad382105225d31f10a192894e3b","datavalue":{"value":"Q37015209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288812$FC400BD8-2164-4252-B775-ED05AF492E4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1bbec816f327f55f51da22794df558eaec17145","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.06.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q288812$7C0A71AD-5E92-42B6-B467-7162C97DE583","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88dddcf9ce9965d4e1dec96d9753a56aa183e47c","datavalue":{"value":"W2251260883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288812$49A08BCB-D3B7-4E02-8FF3-FA338A89C3A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ccd7881d7341fc9a28eef92eb6da9808e51036","datavalue":{"value":{"entity-type":"item","numeric-id":3070966,"id":"Q3070966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$0265E55E-3206-44DD-9AE3-5F81AFB32024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0346a63b2ddf8e64e08c1facb6929e55729ced61","datavalue":{"value":{"entity-type":"item","numeric-id":5200596,"id":"Q5200596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$E662A647-9E77-4885-9394-991042795F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a7ac70217829001bfdbe229aa58327de02581ad","datavalue":{"value":{"entity-type":"item","numeric-id":3853111,"id":"Q3853111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$090AA5E5-5BA7-4158-898C-7F487792DC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"749e7797bdfa790162fdbe4fb0d0bcf49b81bbbd","datavalue":{"value":{"entity-type":"item","numeric-id":352239,"id":"Q352239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$A615B929-18DD-42BE-81A4-3B15DF0308D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4628b5aef516fa19181d791114da902430bdbd3","datavalue":{"value":{"entity-type":"item","numeric-id":4917188,"id":"Q4917188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$25C0466B-BD10-45AC-B0D4-ECBE099EF261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7017f0ccd86720f7ae250f140fbe0e1a747471","datavalue":{"value":{"entity-type":"item","numeric-id":5168504,"id":"Q5168504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$C70E836B-F6FE-4FF6-A5D0-AC0193211B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e13a0e7c5ee2944580dd300a656a9cfafaf4d5","datavalue":{"value":{"entity-type":"item","numeric-id":2474435,"id":"Q2474435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$E54FD586-BD91-445B-9192-8C14C73B9816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e58cce92b9c991a10887941c4d1d71d0071ae59d","datavalue":{"value":{"entity-type":"item","numeric-id":1035715,"id":"Q1035715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$F29D2D24-1FFE-4304-8C24-57C9894D776D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d598fc4399e353e967bf7ad53c2220d296bbeb","datavalue":{"value":{"entity-type":"item","numeric-id":3092338,"id":"Q3092338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$6CF45545-C301-42F0-A76B-899CC606B01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda9f9689cca80adfd9bf3f4f7322609e0818515","datavalue":{"value":{"entity-type":"item","numeric-id":3092333,"id":"Q3092333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$F37495B5-810A-491A-83BF-03214BECE95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcc89fcff0b0ea48889fc53af6130a9937a6b99a","datavalue":{"value":{"entity-type":"item","numeric-id":2921477,"id":"Q2921477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$61A778B8-CEC7-4438-B3CA-98EBD2B80B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0166044305b7328cfc6b5ac76568495800060def","datavalue":{"value":{"entity-type":"item","numeric-id":5168509,"id":"Q5168509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$62BFD805-0335-4D64-B3D8-756E059512FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9851021647026ebe4175697414e895b3add405","datavalue":{"value":{"entity-type":"item","numeric-id":5168496,"id":"Q5168496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$37601169-5081-4B06-ACC6-90B6A9EEEE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9caec4f33196ee7edf772e09af0e9f2d2d36c7b5","datavalue":{"value":{"entity-type":"item","numeric-id":4621150,"id":"Q4621150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$59DF4848-8ADD-42E1-9EDF-CB8734D044A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ccf007d19ce2799d3fd749bd2e6402267ef8b9","datavalue":{"value":{"entity-type":"item","numeric-id":5200597,"id":"Q5200597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$7BEA6519-C416-4FF7-B6DC-7B3F61F1BFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288812$078C2D8A-DB49-44E5-BB90-3449DD53F702","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"6e7034d9d0186282bb85a15f1e242a973b8aa30e","datavalue":{"value":"journals/tcs/LakinSP16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288812$A113D2B7-E532-48BD-89CE-68F517DA7273","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"223fd24f604c2c83b8bdf5acbc014fac677349cc","datavalue":{"value":"10.1016/J.TCS.2015.06.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288812$DA2A65AF-1F0E-4493-8D37-7BE243689E27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad27d1fa6c2bde5740c77b04f64381898333b6b9","datavalue":{"value":{"entity-type":"item","numeric-id":5168504,"id":"Q5168504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c51d73c40666988570b5286f3a44e70cf1192bd","datavalue":{"value":{"amount":"+0.8377049565315247","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":"Q288812$7A9881F9-F645-450B-A3B5-EC1BD402EA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08b949f653f9003bcd32a126cc15110b77600156","datavalue":{"value":{"entity-type":"item","numeric-id":2422008,"id":"Q2422008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5fc5b66b60e918af27600213e678a34e228b869","datavalue":{"value":{"amount":"+0.7872095704078674","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":"Q288812$453DDF41-33C1-4D13-90F5-31FAF23963C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d447304e670b5b672d24df0f70fdbec1061ab0f7","datavalue":{"value":{"entity-type":"item","numeric-id":2835707,"id":"Q2835707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f952f96bb4f28004898e5049139e56cb64e51714","datavalue":{"value":{"amount":"+0.7822355628013611","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":"Q288812$EF4F4AF5-D946-4748-8B22-1022EAADB2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd540656d7e9a2f96f101d747f024681dfbf465a","datavalue":{"value":{"entity-type":"item","numeric-id":2422010,"id":"Q2422010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58c2aa76625d971dd42a3dc1c79b2b0f83060d3","datavalue":{"value":{"amount":"+0.7790588736534119","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":"Q288812$A6902D1D-13C5-439B-9848-88D3588E8B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac4640dbb0365eba96710db1cb16e7d3eb5aa094","datavalue":{"value":{"entity-type":"item","numeric-id":2948406,"id":"Q2948406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8277514dbb1fc879fff62f6494fb8ac6c7f0611f","datavalue":{"value":{"amount":"+0.7401973605155945","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":"Q288812$74F6F76E-1CD7-4B57-A010-8DAE1994814A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular verification of chemical reaction network encodings via serializability analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_verification_of_chemical_reaction_network_encodings_via_serializability_analysis"}}}}}