{"entities":{"Q6154877":{"pageid":13289273,"ns":120,"title":"Item:Q6154877","lastrevid":57483321,"modified":"2026-03-31T03:07:27Z","type":"item","id":"Q6154877","labels":{"en":{"language":"en","value":"Numerically-robust inductive proof rules for continuous dynamical systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805821"}},"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":"Q6154877$DEC01517-1395-4FEE-939D-04D48FB31753","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e209c1d359457c4daba6970232eb186003d4aae7","datavalue":{"value":{"text":"Numerically-robust inductive proof rules for continuous dynamical systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154877$D734FD67-37BA-4E65-A17B-8ECF402AE896","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f33db805abc1cf796356c33afa0bc2c0ea5dee0","datavalue":{"value":"10.1007/978-3-030-25543-5_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154877$C1D5D27D-46D3-4781-B9AB-B196CB9E0695","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bcb9a2588cc97afe717f733e4166bb29392ff3a","datavalue":{"value":{"entity-type":"item","numeric-id":2272928,"id":"Q2272928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154877$10FAC34B-FB46-48C9-9D4A-830EF4919251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"774e88330d96134fd26d25fa13fa3bee8fe38771","datavalue":{"value":{"entity-type":"item","numeric-id":2520673,"id":"Q2520673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154877$65F29E11-E04C-4D16-94E6-05C80DA1E178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10bfeb6e5c3c1810665b004434819ea4b3dc39c2","datavalue":{"value":{"entity-type":"item","numeric-id":526756,"id":"Q526756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154877$BE7C4D27-2DB8-41EA-82F2-DA195594D308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19d8460a4509ab76e30002431a0dd2f4fb7dcd8c","datavalue":{"value":{"entity-type":"item","numeric-id":2272935,"id":"Q2272935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154877$C976884D-D393-4F58-9353-6FB9C316FE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9a329582a17529513860d399d3bb4fd06a6d9e0","datavalue":{"value":{"entity-type":"item","numeric-id":2818023,"id":"Q2818023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154877$C9BE94F3-236F-480A-90A0-E628841B8A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"832f83645e62e5a8c7f8d3939cf224d1a4f95f46","datavalue":{"value":{"entity-type":"item","numeric-id":2112113,"id":"Q2112113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154877$09A667E5-0F52-42D5-A7E2-4227506163C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7463120a9e955f48ddb24bcc00e63bd6fcf27d63","datavalue":{"value":{"entity-type":"item","numeric-id":2926662,"id":"Q2926662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154877$3CA34684-2D38-44DF-A500-F30377AC08EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154877$63657439-866D-4565-B6D6-70219E74895C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-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":"Q6154877$B1F34CFC-B1FB-48FA-84D0-E1512FE18372","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c4c39d960485a30c03d0629c92318a40487035c0","datavalue":{"value":"93D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154877$CE614B11-DEA0-4EDD-BE69-A58D830B0150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154877$7821E7DD-2637-46EC-80BD-E6A467A9271A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"288f8696e56612878bde8d0e4d03f48cfad7aaf2","datavalue":{"value":"7805821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154877$AAE84D16-52DE-4A53-8BF7-C41C0DC5EADA","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":"Q6154877$061090E8-6915-41D9-AAA2-B41523DC44DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6589c8b747989d893d8233cd56c52d036fa8ee7e","datavalue":{"value":"https://doi.org/10.1007/978-3-030-25543-5_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q6154877$1396305F-B8BE-4D31-8BD6-A040B3B933E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02cee63a541223b4ed8bc53680d63ee10758d56b","datavalue":{"value":"W2962017367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154877$17D0322C-422F-4660-8015-838AEAE59BC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83fcc2c23dc69d83195cd4f74e72f83eaf6dc9e5","datavalue":{"value":{"entity-type":"item","numeric-id":2920146,"id":"Q2920146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71cfc4a59519185cae1206f9cdd4e4f259793d60","datavalue":{"value":{"amount":"+0.8206813931465149","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":"Q6154877$44754E8A-7433-4128-A043-558068819882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d829aeb5c94bc0b54a7d6acc8f145678fbef8cf3","datavalue":{"value":{"entity-type":"item","numeric-id":681340,"id":"Q681340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7f8ac93d6ba9123f955070ff5fc686e4e792504","datavalue":{"value":{"amount":"+0.7372536659240723","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":"Q6154877$72D9336B-EAC6-47C4-8671-AF599922B76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad6036a0d30e0a5e0065d8b4d7fd2456e2c17bc","datavalue":{"value":{"entity-type":"item","numeric-id":5172656,"id":"Q5172656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937b2d1017c65413d40cac2e62afb65a691bf828","datavalue":{"value":{"amount":"+0.7363175749778748","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":"Q6154877$481F51E2-548C-4378-938F-ADE34237E552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db198e7f04cfdf5af62692a0cf0c5266d0f7f80","datavalue":{"value":{"entity-type":"item","numeric-id":2986965,"id":"Q2986965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a1eac99dd5dd0552e224d2935c59db68e381825","datavalue":{"value":{"amount":"+0.7360405325889587","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":"Q6154877$86AEAA2B-7890-41CA-9C76-95F6876DBA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36d4ffaea81afbba1040e30b03bf77b623831dc","datavalue":{"value":{"entity-type":"item","numeric-id":2520674,"id":"Q2520674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00794e5abeba0594709989d1a22f9428309f594","datavalue":{"value":{"amount":"+0.7294677495956421","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":"Q6154877$8C6DB6A7-0A3C-4404-B4FF-FCA68FF49689","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154877$565B7538-6401-4C62-808D-8BCB3F3023BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6154877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6154877"}}}}}