{"entities":{"Q4601137":{"pageid":6630720,"ns":120,"title":"Item:Q4601137","lastrevid":52997060,"modified":"2026-01-24T00:09:02Z","type":"item","id":"Q4601137","labels":{"en":{"language":"en","value":"Verification of linear-time temporal properties for reaction systems with discrete concentrations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6827721"}},"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":"Q4601137$45883F23-FBD3-4C92-9E16-9D003A9E3951","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b49a1daa548278f11cb5f2d52020c5eee26bb210","datavalue":{"value":{"text":"Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4601137$712184E4-0F3D-4229-A147-0F56FC504CDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7a777fcb2e6dce31b309bff0f645b9642198cc7","datavalue":{"value":"1378.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601137$B6B077D2-354C-4296-A115-73FCB08E3129","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80ee52a87e59959d2a58bc5e348d6ca0a36ea05d","datavalue":{"value":"10.3233/FI-2017-1567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601137$BA87B92D-AC02-4717-A6FA-BAAA83AA2EF6","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":"Q4601137$4D966056-8673-4DD2-B226-D2A4BECBAC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde96b44d9cad9ac40bb3f7dd714b330c99ed5d","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601137$57FA8AD8-68FD-4534-A28F-CC1D446937E0","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":"Q4601137$D69718A3-E937-4AE2-BC1B-4BD26478EDC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601137$DD7B4946-D5CE-4973-8B76-DDFF19CC0B64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3706de551438a6e783012180a02b770ee4195f88","datavalue":{"value":{"time":"+2018-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4601137$95E09A27-23FE-4C92-8D92-1F5E432EA2EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601137$7389C8F8-4B93-4732-9AE5-AFC489E37661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601137$FF1F1D33-53E5-4388-9BE9-B002A4F2074F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601137$4B9A162A-182A-4FA3-8455-CE6F2447A60A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d97278c8590a2c7b93cc05ac48e8afc737f5ea9","datavalue":{"value":"6827721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601137$CCB4C3EE-79F6-44BF-874C-1709B1D933D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72c94ce08f907b715f55fa107594119a9c392405","datavalue":{"value":"reaction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601137$F94FFB2F-ED2B-40C8-A21D-FF7CCB766834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601137$D081932C-55DA-4242-9BB4-060A6E60C54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8655b9be840caa9be702e31cd5e062f5735bc60a","datavalue":{"value":"linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601137$39C038C5-B992-4E61-9AB7-92F7457D854D","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":"Q4601137$E07076B6-F295-40FD-A711-C016E7E11867","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb0b2930173a9848a642e3d6e769f300ce389b0c","datavalue":{"value":"https://doi.org/10.3233/fi-2017-1567","type":"string"},"datatype":"url"},"type":"statement","id":"Q4601137$B8760E8B-B0CE-4DAA-9BAC-898C17A45902","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db3447f3adc4525c1752fc08afb4914dc6958a65","datavalue":{"value":"W2742475082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601137$BB92B7D0-30ED-4E4A-8F09-C23EF8C54068","rank":"normal"}],"P1643":[{"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":"45bb67b58032658476379384763c3086b729c6eb","datavalue":{"value":{"amount":"+0.8714428544044495","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":"Q4601137$AF4655AA-771F-44A6-8E5D-7DC4053E353B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2585676d9e76e68ad7a281690e466dfddd5d9ca5","datavalue":{"value":{"entity-type":"item","numeric-id":1749193,"id":"Q1749193"},"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":"Q4601137$47A27F15-7409-4042-9CBA-BCB99AFEEA29","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":"8ce296608ebce9a63506b12a044c70322bf304f2","datavalue":{"value":{"amount":"+0.7642421722412109","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":"Q4601137$ABF991F2-1799-4484-B021-EF4C79FE4B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1decaf82694369643113bd45ebfc96eec9d9e8f","datavalue":{"value":{"entity-type":"item","numeric-id":989287,"id":"Q989287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb822302f8cf9055159134cd65cf14e16f933321","datavalue":{"value":{"amount":"+0.7509168386459351","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":"Q4601137$2EB2F2E5-5F1B-432D-B97A-47AE2FF9100A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef83fb9e879e082c2a8be558de74b70b190ade6","datavalue":{"value":{"entity-type":"item","numeric-id":5302876,"id":"Q5302876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52640d62a3b80f94df8eef61e9a5e8e9a8aed789","datavalue":{"value":{"amount":"+0.7498539090156555","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":"Q4601137$389EB800-B9C4-48E3-B1AD-E42D1A1DF512","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4601137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4601137"}}}}}