{"entities":{"Q3179413":{"pageid":3190121,"ns":120,"title":"Item:Q3179413","lastrevid":52706909,"modified":"2026-01-23T07:59:46Z","type":"item","id":"Q3179413","labels":{"en":{"language":"en","value":"Temporal logic verification for delay differential equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667719"}},"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":"Q3179413$C4CEFFFE-E453-4555-8475-8AD35F9D1443","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22a00652a910e7e4c6d686018751d0797f44ebdf","datavalue":{"value":{"text":"Temporal Logic Verification for Delay Differential Equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179413$D1850FC6-9D8F-467C-A732-312E04C92BE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e45887d4689a1fb5bb898bc227374d12b37c9e1b","datavalue":{"value":"1482.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179413$7CD9018E-66D3-43BF-855F-9B98644BEC13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bb9c3548e7ee02ec25b9b5dcc016d323fda74bc","datavalue":{"value":"10.1007/978-3-319-46750-4_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179413$0F2B34F7-E8F2-4584-BF2C-7BDF9C6A2877","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":"Q3179413$940B1B44-8061-4933-B999-E8B9E1596148","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":"Q3179413$92CDA07D-CE7B-4D7F-91ED-940F1EEDBBFC","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":"Q3179413$51CF5AB5-A529-47C1-9F7B-9454A690BA56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"96b799bc507f1a598de85f391b2f2fb813846caa","datavalue":{"value":{"entity-type":"item","numeric-id":3179386,"id":"Q3179386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$94E06F05-88A8-4FC7-8F82-DBE82EFC860F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179413$69792A2F-ACEB-45AE-B101-34523A40A1E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179413$56283D52-2BE5-402C-8628-9EC01CE771F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179413$28C2895A-1341-4ACB-BCFA-51FDD288D30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c46499a9cf62d26a8ca0322d56c5c538bc34431","datavalue":{"value":"34K07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179413$2B81BCD2-877E-45AF-8299-397D576D834C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acae2f621021e9e62028c7feedededc6f4dca9c2","datavalue":{"value":"65L03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179413$9A446FA1-8B29-4FBD-A8B7-4CC17E802BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b703f391e3ecdb375ee45a06e70655a403dbafde","datavalue":{"value":"93C43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179413$20E579D5-BB6B-4660-BE55-D3CFA2B43F50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9af1b803ac0aca76909c4b27a5539cb52cc0ab6d","datavalue":{"value":"6667719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179413$EB5ACBE4-6BC7-4965-BB30-599F4CAC0BF8","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":"Q3179413$74E9E7B5-10ED-462C-B3A6-4E6A14EB925B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72e2a2df31e608c132d193c5c1144cd5f8d96992","datavalue":{"value":"https://doi.org/10.1007/978-3-319-46750-4_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179413$A636BDCE-013A-4798-9CCA-055880E6186A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68dc1a371bf241fef0a9bf947e3083f6c7665800","datavalue":{"value":"W2521596176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179413$2CF2BC32-2E7B-4713-9D19-2CE4E78FCDC5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$AD9705BB-46D2-46D3-B1CE-499DFB5C78AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07efd72b4483eadb948045be811b9db63e9cb16a","datavalue":{"value":{"entity-type":"item","numeric-id":775249,"id":"Q775249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$535DA3B6-5F17-478F-AD97-08F4A26C658D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"003e01e100d3e82c7c812db8c206c315bff90a63","datavalue":{"value":{"entity-type":"item","numeric-id":1276129,"id":"Q1276129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$F3BB9AC9-0D31-4A13-8FC0-ADE2C5C51C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$1DBC2516-3E6D-4BB6-91E0-7AFFDD5BB5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c364abc9f6e3795ee364ccb24440265ed3af41b","datavalue":{"value":{"entity-type":"item","numeric-id":3540072,"id":"Q3540072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$99154F87-D238-4B56-B030-6CD158849BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc0f8882472439e4d483d9a2815d6f442e9e6e44","datavalue":{"value":{"entity-type":"item","numeric-id":3511234,"id":"Q3511234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$E60A9FAB-659B-46E4-986D-FC33FAA8BEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065a2d65834e8c8b57bdda41356587a32ad9b5c2","datavalue":{"value":{"entity-type":"item","numeric-id":5457277,"id":"Q5457277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$AE342C11-D2FA-4BC7-A8E5-33259E5735CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d771fe4d67b7e62b1337b5ef67a0024cc8717a","datavalue":{"value":{"entity-type":"item","numeric-id":5703929,"id":"Q5703929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$B77A520C-0F76-4BB8-8429-F2D6940C636A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be4659d36ccf7939328ab8dd0a8fba0c60f2d2ac","datavalue":{"value":{"entity-type":"item","numeric-id":3993559,"id":"Q3993559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$DDB48274-4650-4BF8-BBAF-149984A0C1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f870946034078f08e95fd6951945129c1f824fd","datavalue":{"value":{"entity-type":"item","numeric-id":580788,"id":"Q580788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$270E3315-1624-439F-A51E-A0A95D784183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bbbaadd9aaf645e157fc7dbc1fa1fe0840f52a4","datavalue":{"value":{"entity-type":"item","numeric-id":3172854,"id":"Q3172854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$1186328E-D331-4E4F-9D7C-636A33371056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef67ed1a09717f4397f08ed226fcc72721cf4bdd","datavalue":{"value":{"entity-type":"item","numeric-id":3069309,"id":"Q3069309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$DC3A886B-BA8D-4FDE-AB3C-BEEBA057E431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a55ea721fee407981339deec6cca2af614748b","datavalue":{"value":{"entity-type":"item","numeric-id":992761,"id":"Q992761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$3CA8ACDD-955B-4D08-B0A4-CEB615298DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28e11599fdd1f647685b3844fd11d8d0539850b","datavalue":{"value":{"entity-type":"item","numeric-id":988781,"id":"Q988781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$6592A1ED-75C1-4281-A441-BECF160E7087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002ea3feadd3737d1cbb39406ad9c8acda1bde7e","datavalue":{"value":{"entity-type":"item","numeric-id":3813179,"id":"Q3813179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$25F59E25-898B-47E5-BA05-A47E2C8F01D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2acf3336ee5bdd317f93dfe591fcc1689d9a46","datavalue":{"value":{"entity-type":"item","numeric-id":4609899,"id":"Q4609899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$532E8F75-A17A-4497-9444-A90E422915CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$E605B710-17D0-4AA0-8BDE-5092DF286AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e9c62e5a36aa1e16bced33f90c0bf15448a031d","datavalue":{"value":{"entity-type":"item","numeric-id":5449035,"id":"Q5449035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$D17AFEC7-37DF-481E-867A-F083FEE3AF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16ab0d2b6f4f188fc4037eb8f2287cf5a655ae7","datavalue":{"value":{"entity-type":"item","numeric-id":3543284,"id":"Q3543284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$CA5EFAFF-2C7A-4A5E-944D-5B71B3787C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0f8f423ef703f1c502db31c5486ab52ce35af3","datavalue":{"value":{"entity-type":"item","numeric-id":2483618,"id":"Q2483618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$6D1BAA44-2984-400A-8F03-85EC68546E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"940012be9cf194ac09587f5fcda24af4c9ed4210","datavalue":{"value":{"entity-type":"item","numeric-id":1868532,"id":"Q1868532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$F652A66D-25E2-4ADD-A107-5F5C608DAF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dcffc914d216a5303e9140ceb73d15057c6337d","datavalue":{"value":{"entity-type":"item","numeric-id":1702900,"id":"Q1702900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179413$117F0C46-86EA-468D-A273-A51F682FF741","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b4005b3eb0841c6f278f7c0b9be39a47252fff","datavalue":{"value":{"entity-type":"item","numeric-id":4621211,"id":"Q4621211"},"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":"Q3179413$523EDC77-3D43-471D-B2D5-406CA9A50B7B","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":"17f5d8b456d2ddf548ff2091da4d88db96dfc023","datavalue":{"value":{"amount":"+0.8429247736930847","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":"Q3179413$26FF1946-AF4C-4A43-BB71-3A83F763951B","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":"f77113b5c7034d96b22fab3ed6fefe32d6f1551e","datavalue":{"value":{"amount":"+0.7579251527786255","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":"Q3179413$4A03DE0E-6DEB-485F-91A1-51F1FBED0D31","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":"d0ef9268cadb5156ff01ac7582bd90fc29aa4323","datavalue":{"value":{"amount":"+0.7516089081764221","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":"Q3179413$656E7A02-21D3-4AA4-8793-0216931CD324","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":"7794a2a466fd953ee66a576dcdd337bc1cd37bfd","datavalue":{"value":{"amount":"+0.7112558484077454","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":"Q3179413$B384EB36-9A39-4FC6-B89C-76452DFC65FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3179413","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3179413"}}}}}