{"entities":{"Q3095239":{"pageid":3105954,"ns":120,"title":"Item:Q3095239","lastrevid":51357296,"modified":"2026-01-17T22:05:50Z","type":"item","id":"Q3095239","labels":{"en":{"language":"en","value":"Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5965358"}},"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":"Q3095239$2DECE606-342E-41D9-834F-505A13DA4BFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58821c9f760cf57cd171046f627c3a1947882d8f","datavalue":{"value":{"text":"Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3095239$1627AC98-F7F5-4497-B25F-81E40C2AA61D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a94e4ce752f8c0ddaf76b0ffc938ff5e70234846","datavalue":{"value":"1350.68231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095239$C5F9E2D1-287D-4798-BD90-570A4F2400F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22fff80c0036720708db90171980b4fbd30af0d7","datavalue":{"value":"10.1007/978-3-642-24690-6_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095239$179584FF-5F5B-44F9-B40E-33051A9C8A01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd3359b636444955d53dffa0e614a9aa01dd0707","datavalue":{"value":{"entity-type":"item","numeric-id":547915,"id":"Q547915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095239$1B6C2E35-EDFF-47BB-BDF9-4391A3A806B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c07cf04258ae7c5156c70811956520bfecd869d","datavalue":{"value":{"entity-type":"item","numeric-id":475430,"id":"Q475430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095239$B6C49309-F582-426F-A070-0B9B7A713FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8ed6a9e486d8d38b76e1f4034dda6e81af1a6f9","datavalue":{"value":{"entity-type":"item","numeric-id":547884,"id":"Q547884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095239$EE950992-4CF8-463C-9CBD-69F5B7F6DDFE","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":"Q3095239$69655EC9-D720-4F52-BE47-D32E7EB611EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095239$474B7C97-7741-465E-88D5-B5BD0D14E7BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2900c2786b097edbfba1608d72278b11f29ad22b","datavalue":{"value":{"time":"+2011-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3095239$6B6CF91B-B6EC-42CB-924A-14AF459567F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095239$50A2E045-DB03-4FD6-B860-67A26A0AC7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f7b1732fdd59737d4e26519c7f319134a110e70","datavalue":{"value":"34-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095239$6E0AFFB1-7414-4457-9DB5-35D975E694B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cea80bcd3c0c00fdb064dd81dc4521afc667d73","datavalue":{"value":"5965358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095239$F6188631-FE23-48B7-86F0-91844824A656","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fa3b81611e1bf0770894470aca332a1511c9c7e","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095239$3543B3BD-4318-4A46-AD14-7A1C2AF2D4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8033a438966527ef6b35dabaf40907037a2165","datavalue":{"value":{"entity-type":"item","numeric-id":19728,"id":"Q19728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095239$D980ED97-4AA0-4010-A2C6-B6A56404755B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095239$1CBF9325-BE58-4073-92C6-22D1DC5BEAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"11c96e18516c1823d7f616d42dcb2cc707af8822","datavalue":{"value":{"entity-type":"item","numeric-id":23881,"id":"Q23881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095239$8F61D8A7-C5E0-492A-AAF1-547B2DBD4323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ad4b99318cd2a01510e39b0e17938895a18ca10","datavalue":{"value":{"entity-type":"item","numeric-id":26659,"id":"Q26659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095239$EE8BFB24-5767-401D-8420-4A34BA154BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8c4e5ad6deb5e7808f1cb222bda8db7c643ff92","datavalue":{"value":{"entity-type":"item","numeric-id":19449,"id":"Q19449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095239$7C020C7B-5FC2-44A0-AAA0-679898A32C73","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":"Q3095239$7B0BEC9F-2B90-4CBA-BAA7-DC5DE12EE52F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ded0dec21ff8f4491ca381575b47d88e2347458","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24690-6_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3095239$A79CD760-8DFE-4972-A622-6928B3462A1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d92790e61e7a6552bf01f5ef513720290316288e","datavalue":{"value":"W2112322240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095239$C464659A-44D1-4453-BE9E-1A68CFD0A85E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095239$270BA1C1-6E87-4514-AF77-3956A5BAE98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095239$67A3E2B6-92EE-4C82-A25E-9116EF369E45","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":"Q3095239$6FF7F883-6F74-4AA1-B42A-8FC6A433F3BF","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":"Q3095239$D4B7F931-3815-4ED8-8B5E-15715F8F2B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abce7460f53931c79ff8c0ec3edb21464689b134","datavalue":{"value":{"entity-type":"item","numeric-id":4953388,"id":"Q4953388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095239$6BBF4EAB-AE96-4257-83B7-EA81B8CBD4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e523fe1eb20d417c4756e6e7e4439d55cafbd7","datavalue":{"value":{"entity-type":"item","numeric-id":1971082,"id":"Q1971082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095239$55741895-5469-4E43-A95D-97D0E879D873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa280ac5174b7f3585bd6675ac7a2f743aac19d","datavalue":{"value":{"entity-type":"item","numeric-id":3510850,"id":"Q3510850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095239$83071FF6-5F5E-4E64-A0CC-8AFD9609D3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4bbe80f6c8cb42b458e2ccf1a458d0723cd84e0","datavalue":{"value":{"entity-type":"item","numeric-id":4974767,"id":"Q4974767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095239$723E5BA1-74B4-4314-83EC-D181CDAFB1E8","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":"Q3095239$30C4EFC3-A460-40C2-BFB5-591B13E7EBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b3ec2ebad61e0cf6b1df8ac8c200c146db0252","datavalue":{"value":{"entity-type":"item","numeric-id":2754108,"id":"Q2754108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095239$2A06D656-F83F-4172-A49E-ED269D18F1AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a1568587de150cb207d038bc77df88ff68f73f","datavalue":{"value":{"entity-type":"item","numeric-id":3540072,"id":"Q3540072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce62a2902536dcdff286605a59b251b8063fe7b","datavalue":{"value":{"amount":"+0.8102628588676453","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":"Q3095239$4426B202-B3AA-4F41-A830-3E32E8590451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc090f046e06c5ba7334a65d09ac894baadafbac","datavalue":{"value":{"entity-type":"item","numeric-id":2849590,"id":"Q2849590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218e2d1613fe727d25026c10d26579feec79e356","datavalue":{"value":{"amount":"+0.7069275975227356","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":"Q3095239$B62F1AEF-4121-440C-A5A6-14E7E140AD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d366c6c05880546f97e7211b739a8fbf8fb888","datavalue":{"value":{"entity-type":"item","numeric-id":5191406,"id":"Q5191406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d863901587cd9a7b1f988a5a9734ed86585bcda","datavalue":{"value":{"amount":"+0.7006425261497498","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":"Q3095239$AB7AA53F-9770-4575-8FCB-D9DB3FC9E2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b622d5b7f850224596762e9ab64b66817d0c66dd","datavalue":{"value":{"entity-type":"item","numeric-id":710668,"id":"Q710668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78c805d7f0e135a9d2c1f7803f29f42eec49663f","datavalue":{"value":{"amount":"+0.6981595754623413","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":"Q3095239$E3DACBA5-AED6-4401-AED7-035180A2715B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ddd15f6b51bb621b83ea8aaffe89fb302903b5","datavalue":{"value":{"entity-type":"item","numeric-id":883144,"id":"Q883144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e033554b0d5ff614bb867a71d64a2acd04ab4e1","datavalue":{"value":{"amount":"+0.6979580521583557","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":"Q3095239$D4BB687B-2360-478E-B6AC-A984A7E83E99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3095239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3095239"}}}}}