{"entities":{"Q1749193":{"pageid":1759935,"ns":120,"title":"Item:Q1749193","lastrevid":53082779,"modified":"2026-01-24T04:44:40Z","type":"item","id":"Q1749193","labels":{"en":{"language":"en","value":"Model checking temporal properties of reaction systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6868915"}},"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":"Q1749193$C6DD8856-4EC6-4C7B-8CD1-CDA470786E54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37db93c52a6a0abe12c3a427437676b44ce1434b","datavalue":{"value":{"text":"Model checking temporal properties of reaction systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749193$094E1126-7AAD-4444-AFA4-D834E3F1D148","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88235077402b2d3cbda1a67901a3a657b7c0232e","datavalue":{"value":"1387.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749193$51308E63-DBC0-44E6-83A0-B184D1103C3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb073cee3f17fc5d531df433f94b283501d8f60f","datavalue":{"value":{"entity-type":"item","numeric-id":1749192,"id":"Q1749192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$98BE8CFD-DEC8-4D3B-8248-9F51E433C863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$36CEB72D-E20F-4A1E-BCE2-08D3AAD802D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3fcef18c71a4b5df42d463ab66d395e6876189c","datavalue":{"value":{"entity-type":"item","numeric-id":537812,"id":"Q537812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$18FFC172-3E85-46D5-A354-F1DE64B97E34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$740818B6-C6FC-4021-9D73-94625BB30007","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e956331d0e5540795d70cdf1447eb2fc47cd3be5","datavalue":{"value":{"time":"+2018-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1749193$72E8A4C3-594C-4D86-9B80-91467F4D11BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749193$B1157805-B495-4A9A-B713-6F91D82D51ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749193$3E5AE1E3-2552-492A-AF62-B927D31157A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4065b1bedb9a76886e2c568640ff6f08ee09032","datavalue":{"value":"6868915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749193$88B34DB0-390B-4E81-AC96-362083C36498","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5691bdc0a94e7b9c4c2d3747058c217b7b05a653","datavalue":{"value":"reaction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749193$4AA84347-406A-42B6-A1CC-0174D3023518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749193$496BCEF1-81E8-400F-BA04-43BCD1977D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749193$9D69CFEB-19FC-4702-8655-BE68A3EA0583","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$B9CAFF04-B334-48E8-8D45-E5A5394C90DB","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":"Q1749193$F11EE819-68E6-4A8C-9A50-C603F13D72C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d54dd1a4dfbd9f7644d5b543f3cfae9636d4380d","datavalue":{"value":"https://doi.org/10.1016/j.ins.2015.03.048","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749193$62B1A386-781C-4D78-A5C4-B81523E37A5A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13a8c19aea287099482081ff9c6cb224668fb928","datavalue":{"value":"W1995984957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749193$2EC3382B-1542-441C-BDE0-D3FB81C9DA3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$34724791-80F7-4004-A8D6-7FF9AAE2F5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c1015c1acdc3b179594405c4a3d15a52676881","datavalue":{"value":{"entity-type":"item","numeric-id":264544,"id":"Q264544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$3C16BABE-74BD-4A1B-9100-3F27E4C3C6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb512953f373ff09fdb841e1b74746a198c65d4a","datavalue":{"value":{"entity-type":"item","numeric-id":496028,"id":"Q496028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$6542819B-07DB-44AD-8E10-57250315B0CB","rank":"normal"},{"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":"Q1749193$71C00616-AB2E-42CB-9577-7722DBC3E364","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":"Q1749193$6F2D213E-52E6-4DAF-9909-EBE538692603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$6ED30C2F-22FB-47DF-B106-267D3F85602C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$22EFE422-5811-44DA-B145-245DB864B8E0","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":"Q1749193$0B0DD9E6-DF8A-4EE3-8316-ACABA9916647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f83125f356ea5e57296217c3000b1395babb28","datavalue":{"value":{"entity-type":"item","numeric-id":4907920,"id":"Q4907920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$DB412E92-FD35-4B30-B847-8F010967622C","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":"Q1749193$C36135E5-3536-45BB-8A66-A74E5340497E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ee95c6d8ec615e6fc23907f15e78695b69e5e9","datavalue":{"value":{"entity-type":"item","numeric-id":1004076,"id":"Q1004076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$09FE5A22-94EA-4626-BB4A-D0199E0F5798","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":"Q1749193$14028892-6CD5-463B-BA59-1C46FB1060AB","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":"Q1749193$D1D57157-A5AC-48CC-93CA-0B71D2664DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db287d5734222e78e189342eab484f2f6db17cd4","datavalue":{"value":{"entity-type":"item","numeric-id":418773,"id":"Q418773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$23FA0AC0-2BA2-4302-B5B0-060D5119E842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c01c60dc1f5a5692f2b27f6a909c5b8350bb9fe","datavalue":{"value":{"entity-type":"item","numeric-id":5311487,"id":"Q5311487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$24F27840-19D5-41D5-B415-373C22B7B4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$963DF2EE-3EBB-4C86-AFB8-8EB01DA09154","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":"Q1749193$15F21D6A-A7C7-4A4D-B832-7CFF51B0DFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f2684a54070f968d985391b633a3401ae209e8","datavalue":{"value":{"entity-type":"item","numeric-id":418799,"id":"Q418799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$99C9AD9D-0088-4BDC-9D78-70F60742BE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"026dccf70de82ae66b70df09666de3a33ae0369c","datavalue":{"value":{"entity-type":"item","numeric-id":5423886,"id":"Q5423886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$72E7022B-C928-445F-AC8E-5DDA1C3B57E2","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":"Q1749193$D6389DFA-95D4-4C34-B5B9-4F847EEA7D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc0229b15d74a11f89af43b2ad328b902f976f0","datavalue":{"value":{"entity-type":"item","numeric-id":2897958,"id":"Q2897958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$8040FCA0-C5F1-45B9-A896-6DA7AFF8A9A1","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":"Q1749193$903778C6-93EA-48F1-B34F-075C4DD94215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49aaaac817d7e735a6f4bbdb4862901587d43665","datavalue":{"value":{"entity-type":"item","numeric-id":272776,"id":"Q272776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$EB63EFCC-16AC-4F8D-B490-AA4757A312D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749193$BD8F82EA-5F18-4AE0-AFF7-7A787C72B9D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8457ad76899c05ce37c18540684c186fbb00d91a","datavalue":{"value":"10.1016/J.INS.2015.03.048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749193$7D2A2F77-07A9-4F3E-9EF5-915C7C0DCB01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17d5f73131ec9c962c859d39e5c332be3f5975be","datavalue":{"value":{"entity-type":"item","numeric-id":4601137,"id":"Q4601137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82076f2a8d09ff95a2e6683e03aef4405eca8b61","datavalue":{"value":{"amount":"+0.8312859535217285","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":"Q1749193$36EA5375-DC90-4FD9-95D6-88217B27C7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d74162895b91d648c8386b4c32929eb76832a18","datavalue":{"value":{"entity-type":"item","numeric-id":264544,"id":"Q264544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a46251512f1e6e0913bcad870c2d065c83166ac5","datavalue":{"value":{"amount":"+0.7751830220222473","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":"Q1749193$22745411-D8E2-4101-BD6E-301708DFD67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5f1f03b3a837e70ab8273f6160d8c886989b42","datavalue":{"value":{"entity-type":"item","numeric-id":2453209,"id":"Q2453209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e276d5792bc1967cdb62e28c61c692094a21214","datavalue":{"value":{"amount":"+0.7689604163169861","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":"Q1749193$3AC270DA-D447-44B0-B289-F0044C4D9823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819b4c0407a803de87539aaaa3e2e2a19274b81c","datavalue":{"value":{"entity-type":"item","numeric-id":5060078,"id":"Q5060078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b889fa001a377ef0a3dc3eecca8f86fab434bf4","datavalue":{"value":{"amount":"+0.7625745534896851","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":"Q1749193$38FFEAF9-0DFB-4A3F-9DD5-A7D015DFF6DC","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":"836bc1f68ef9358f2ab0d4a38dfe40f3ee9f317a","datavalue":{"value":{"amount":"+0.761944591999054","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":"Q1749193$FA8AADCF-6DFF-4C48-ACAC-CB284A43D74E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1749193","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1749193"}}}}}