{"entities":{"Q4621211":{"pageid":6650794,"ns":120,"title":"Item:Q4621211","lastrevid":53350022,"modified":"2026-01-24T19:12:23Z","type":"item","id":"Q4621211","labels":{"en":{"language":"en","value":"Model checking delay differential equations against metric interval temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7020203"}},"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":"Q4621211$C16C7642-0CAD-46FB-BD8F-6226E3755A96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03ee6560e98bf7d5f805fe37dd9dd376f8350b72","datavalue":{"value":{"text":"Model Checking Delay Differential Equations Against Metric Interval Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4621211$08641E6F-0DA4-42C2-860B-4B8210384194","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e720022a2b0b86ad87f90ffe0b06b4658ff1af62","datavalue":{"value":"1425.68265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621211$6983AD80-7364-45E4-92B6-F7513A8D345C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8741ab8d391dad8ef2c6cdb03f6cb23a0c8f8f0f","datavalue":{"value":"10.7561/SACS.2017.1.77","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621211$186B4584-D8B0-41D5-88DD-89894217DAA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2af316244d7b907610ca122811f507e0ef69354e","datavalue":{"value":{"entity-type":"item","numeric-id":1683456,"id":"Q1683456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621211$A3BCB3BD-3063-447F-8627-8EBF5843B7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a014e6ba9fde789e090c1a340d6af73ab4b427b1","datavalue":{"value":{"entity-type":"item","numeric-id":394331,"id":"Q394331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621211$3CE3E839-F887-482E-BB1D-42A6DBF6EC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a157e506fc5c10d64914a77b9c6ded9494fdd3f","datavalue":{"value":{"entity-type":"item","numeric-id":832193,"id":"Q832193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621211$06D51FD2-D217-4A0A-BFA3-116A8FE7C5BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621211$13D49E83-C998-4DA5-86F5-40227A526F60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4621211$6867703A-1957-4C94-9CC9-09242C00C164","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621211$82860FBA-6B43-4146-8FD1-C5A8AF737193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621211$AF21156E-5887-409C-9794-CF482D08E626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3b178221f7a72f7fe2ab11d7fcdddefdeb70154","datavalue":{"value":"34K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621211$AFB13AD4-81CB-4A5B-9424-2B5697464BA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"765acb7c937938f42813af996a8c6425e70e589a","datavalue":{"value":"7020203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621211$A4B33697-2971-409E-B6FF-0EC48A945A97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a2e6d54ab1fafc029dba1ae314f494dce1a092f","datavalue":{"value":"delay differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621211$B99611CF-31DD-4D17-B9AF-7C9710FD441D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4150d0519fcea0e9eb1b9148ac52e121772d514","datavalue":{"value":"automated formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621211$9E053D53-B13F-4C6B-8CA3-EE07BE147D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f728386fcc7b1c38779710c168bb04a2dd3df98c","datavalue":{"value":"interval Taylor over-approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621211$859AC3D1-8E7B-4773-9FED-D5C9D2F51FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d809ff8d37cf1cbf1d0c8dff41fdbfc5089594d8","datavalue":{"value":"metric interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621211$171FAC71-3A01-498A-9493-5EE1B79BB343","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c594e3b78bbf3501284a4805ef52549329589468","datavalue":{"value":{"entity-type":"item","numeric-id":42715,"id":"Q42715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621211$2F18B97B-DE4F-4DC0-B1B0-0C440CA6D932","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":"Q4621211$661F0CCB-10AA-4BBA-906D-5F1C3BAA4C13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85efaed9ee75adba91e5ec7a020e5eb0d229500c","datavalue":{"value":"https://doi.org/10.7561/sacs.2017.1.77","type":"string"},"datatype":"url"},"type":"statement","id":"Q4621211$90881E84-F319-4679-8B8A-5DE2D8E7B34F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"929679c0457e6b58c3be28af5ee8f9e96a417aa3","datavalue":{"value":"W2776557933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621211$9018C5C8-7637-412E-9CEE-6E2B1CE974B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03fe0bf995ddbf7afa3ae530d79c2866a7c73757","datavalue":{"value":{"entity-type":"item","numeric-id":3179413,"id":"Q3179413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fcf5f09a8b531fd162e4f0f8d0a4c78b59cb983","datavalue":{"value":{"amount":"+0.9703030586242676","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":"Q4621211$2AC01528-3723-463A-B79E-2CD2791DC1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edd00b47ebb7483998a11f6789464f19c9c59ee1","datavalue":{"value":{"entity-type":"item","numeric-id":1702900,"id":"Q1702900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c5eda04600c260ac07b5ca14f3f370df7c7523","datavalue":{"value":{"amount":"+0.8245107531547546","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":"Q4621211$39E728B9-AD18-4118-B999-D3B548B212FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18773aa94d2c9787015c89ec57331c34726d65cb","datavalue":{"value":{"entity-type":"item","numeric-id":1683458,"id":"Q1683458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176f80a3fc01236474b75c2ef7ba9453a50b0c90","datavalue":{"value":{"amount":"+0.7516427040100098","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":"Q4621211$B379099D-F476-4B22-B01C-3B72D895BCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85cd17c5ef97b336a5a39c4eafd87b8f1bcaca55","datavalue":{"value":{"entity-type":"item","numeric-id":2281633,"id":"Q2281633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39c3b3eea6c7d9d296305f6de8313779032f9334","datavalue":{"value":{"amount":"+0.7403780817985535","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":"Q4621211$B41DC43F-C756-4E05-A30C-2BA6B7E336BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6137f35454973d9ba2efcf28e02505c705ba0c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5081418,"id":"Q5081418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d387d82f818773178eb80302df7a657ba5837569","datavalue":{"value":{"amount":"+0.7101475596427917","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":"Q4621211$7DA72A7B-8947-4B5D-A554-F4B3DD02A70A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4621211","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4621211"}}}}}