{"entities":{"Q6160777":{"pageid":13295658,"ns":120,"title":"Item:Q6160777","lastrevid":55941295,"modified":"2026-02-21T08:44:33Z","type":"item","id":"Q6160777","labels":{"en":{"language":"en","value":"An algorithm for the formal reduction of differential equations as over-approximations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691355"}},"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":"Q6160777$1FCC56E3-D927-4277-A6EB-0CC091287284","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8041856d9dab37337ae127fae9663a19389ae0f1","datavalue":{"value":{"text":"An algorithm for the formal reduction of differential equations as over-approximations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160777$A0FFF7D3-E72D-45CF-8563-E49CA03FDD04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed7a35b2647adb3e9f40ff304c2b9a526511f8a6","datavalue":{"value":"1522.93048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160777$F74794C8-9147-42FE-BE93-0B606E4F6CB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebd4efd9b786add9b37ed7747083718678a57243","datavalue":{"value":"10.1007/978-3-031-16336-4_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160777$7D5F0A35-D7C8-4285-A824-89C413B7CD61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bd1cf5ea06576a31876c1ecfb33f964a92c11bb","datavalue":{"value":{"entity-type":"item","numeric-id":6113016,"id":"Q6113016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160777$F927AC36-CAC6-4F68-9C3C-986CD45923A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e4d8b61176f50b79f15dd82d4a93cce65317276","datavalue":{"value":{"entity-type":"item","numeric-id":387987,"id":"Q387987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160777$8D9DF347-0C83-4ABA-A4C2-6D768A976A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24b64afcbe07b96dc4ade0b892f497c36127e74d","datavalue":{"value":{"entity-type":"item","numeric-id":387986,"id":"Q387986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160777$208A3A83-C21A-4882-862B-D7A465BCD85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8979f1934477b077026f3595b253feac6f475c34","datavalue":{"value":{"entity-type":"item","numeric-id":832090,"id":"Q832090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160777$E1B51B53-97B0-4A08-81BD-CCFA9F1B21E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"14c790a373839096cbb828adccdd03da8785642b","datavalue":{"value":{"entity-type":"item","numeric-id":5194919,"id":"Q5194919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160777$676E2385-BE16-428C-AAF8-3BE4A37302B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160777$6F30F55B-1069-4784-B294-711452D7C96F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bebb2f5015fb82845b748c674a6a24fd89efb27","datavalue":{"value":"93B11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160777$CF7EC70E-9814-4B52-AA63-42500309BED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cf19f414d003b599cb8555b9227d1a95bcc55a3","datavalue":{"value":"93C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160777$7B33A139-7CE4-425C-B0C6-19D6AD57838B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160777$8D80210E-3ED5-4D05-86F0-66C1CDB09FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f896fcbc322f4da683173f410784c05cfe9e768","datavalue":{"value":"92D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160777$6DF3EDA4-0E66-442C-94F4-4E8D637FD3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0401b536e7fb40315b94c06d6e995ad118c1cfc","datavalue":{"value":"92E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160777$C1014557-1179-4207-8C9C-D3B130AE7C50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb2b1890732478cfd55ac0a1ebe523a75a90231d","datavalue":{"value":"7691355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160777$74519CF2-59E1-4F59-B268-A358884D0D65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"993f9a496ecd5d3ee521ed2547719fb6af15d882","datavalue":{"value":"ordinary differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160777$F6B3A2BD-8E18-418C-A457-780BAB4C352D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00136e647e328aafc8cc9233d4b1b1691904b2a2","datavalue":{"value":"model reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160777$A8028124-3918-4ADB-A601-BE4C3640E6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160777$5926A944-8C9F-4A91-B184-9D593194BFB0","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":"Q6160777$C449ACB2-298B-4858-B83A-AB4B32920536","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6238a9bf19c8813e161d2d22f8a3fae868e39969","datavalue":{"value":{"entity-type":"item","numeric-id":4417974,"id":"Q4417974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160777$F2C8D831-423A-467D-AE4F-238617CE3FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dece67d75ff9a0bca8b47bd09a8a0a1d439c37b8","datavalue":{"value":{"entity-type":"item","numeric-id":2822663,"id":"Q2822663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160777$6A853668-CCC4-40B7-AE06-69EDBAC76AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f8272c2135bb3033698cc550a403f6b11e678b9","datavalue":{"value":{"entity-type":"item","numeric-id":5357706,"id":"Q5357706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160777$AB6F111C-3ADE-44B9-9662-912681341F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac222789666843c113d9410ea181686bf43303a9","datavalue":{"value":{"entity-type":"item","numeric-id":5890964,"id":"Q5890964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160777$D7357F3D-8F3B-48A7-AFD7-7A9245341D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"974111579bcaabdc9afc66ecae94a4b77ed4f1ba","datavalue":{"value":{"entity-type":"item","numeric-id":5217314,"id":"Q5217314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160777$7B9A2AC7-E0B0-4AAD-A5E7-C211155815B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7fbf1e9b8c9d9d257af3a2933bbb3c1b20d20af","datavalue":{"value":{"entity-type":"item","numeric-id":6104803,"id":"Q6104803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160777$9C140787-02A9-4C91-A981-B438E9D5B39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fda58ae17387f52f9f650ca80c740cb6a407be3","datavalue":{"value":{"entity-type":"item","numeric-id":3809636,"id":"Q3809636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160777$03291D1D-F0F0-4EFB-8C43-39D7BAA47337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8723df622574ee7b9d8344c383cb42a85ded5e","datavalue":{"value":{"entity-type":"item","numeric-id":3523125,"id":"Q3523125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160777$48DE84E5-792C-400D-A977-B59647DDAD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e0093824d10286543708bc2e0d62f9065c4c19b","datavalue":{"value":{"entity-type":"item","numeric-id":988783,"id":"Q988783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160777$58E6623D-04FF-4313-9D46-74DE75AB94D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9879fda6f9e9e059e03deb046510cb495f343b0d","datavalue":{"value":{"entity-type":"item","numeric-id":1939609,"id":"Q1939609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160777$1B4EAD3D-DCB3-4682-8403-1FAF7E39238D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c0d4ae9fee194afa8526b37bafaa861ee742ad","datavalue":{"value":{"entity-type":"item","numeric-id":2980620,"id":"Q2980620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160777$C686565B-9BFC-4E04-A0AC-EA0717522512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f8e696a6b3112c97aaf96ee81eea0b041f972f","datavalue":{"value":{"entity-type":"item","numeric-id":2939428,"id":"Q2939428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160777$6D5C14B5-6C49-4CB0-BCC6-1C8F05B4E0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468a3a714cc388d94ec769dacd116fbbb80c0af7","datavalue":{"value":{"entity-type":"item","numeric-id":355964,"id":"Q355964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160777$F746A8B4-659A-48B2-B731-0E683F39673C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3205d82d31182e4c27a7f234ceb05a34d9c11999","datavalue":{"value":{"entity-type":"item","numeric-id":2272914,"id":"Q2272914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224053355ecf6bba5d9a3c698a260f5c26e066bd","datavalue":{"value":{"amount":"+0.7762097120285034","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":"Q6160777$C0F5BC08-3B9B-4E90-9D47-EFB0FE9BE678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5863925aa7cc2fb5c6988f6cb9e2b346c585e69","datavalue":{"value":{"entity-type":"item","numeric-id":626876,"id":"Q626876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b286ef94906595cff450d8bc86f695923e370388","datavalue":{"value":{"amount":"+0.7577144503593445","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":"Q6160777$6F6D7A4A-82CA-41E4-8EAB-9334447E5930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcadee03c0240724e2abd3e653662656b20b1450","datavalue":{"value":{"entity-type":"item","numeric-id":1784387,"id":"Q1784387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10b4634efdbf05702ce7b3cf2f5ee730171418ab","datavalue":{"value":{"amount":"+0.7365817427635193","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":"Q6160777$59B22D66-E204-49FC-A5F6-4CAAFCF19A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d62f37e6b1beff04713f7f0993ba8beb1bf28e6","datavalue":{"value":{"entity-type":"item","numeric-id":2241938,"id":"Q2241938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2c3a2d0694b10b390e0188271bdf80222795af3","datavalue":{"value":{"amount":"+0.7337000966072083","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":"Q6160777$78AE969E-25AE-4C38-80F3-58DCD01B5B13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160777","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160777"}}}}}