{"entities":{"Q2849590":{"pageid":2860310,"ns":120,"title":"Item:Q2849590","lastrevid":42267235,"modified":"2025-06-03T22:49:21Z","type":"item","id":"Q2849590","labels":{"en":{"language":"en","value":"Verifying industrial hybrid systems with \\textsc{MathSAT}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210239"}},"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":"Q2849590$284BC852-466A-4708-979C-C7605D65469A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"938958f6a84be4aef05201cc86c24be739c238ef","datavalue":{"value":"1272.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849590$10CEC097-9FA1-4790-8874-84AAF12564D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac138f1d844429ce6110bd110935b4f4685ff8ac","datavalue":{"value":{"entity-type":"item","numeric-id":861701,"id":"Q861701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849590$F8A5F06D-7C18-4D1E-A42E-F32C80B97B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"194d1d2ad0631ddca456f66e9fcdb737e653fd18","datavalue":{"value":{"entity-type":"item","numeric-id":470018,"id":"Q470018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849590$F9E612A3-3539-46A7-A8E3-BC71D39652DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849590$B6DEBC77-4037-4254-8925-3543828039C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd5a076641129df5baba24779caed9dec893447","datavalue":{"value":{"entity-type":"item","numeric-id":511776,"id":"Q511776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849590$CDF5AF21-1943-40C5-BB54-A869BC4860E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849590$BC791563-3355-4166-9864-1BFD80B2B144","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b869c98d92f15924a912ce76f3843030f9d0f57","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105000885","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849590$479EC068-9E04-4A52-8C28-220D099C4B43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849590$94B3B81F-0445-4A15-A839-3FFD21E000AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbd527e29903ee5eedf97f03150a7cbdb43fdb18","datavalue":{"value":"6210239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849590$BC7DC368-5DEA-420E-AFA5-C362F28041DE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849590$DB5F72D1-B053-472B-B82D-E91DFB0C9979","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":"Q2849590$1412963D-5E0F-49C8-97FD-97F44612747E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d0bf77e7685ce0bd385052c8e5469afbf3067c","datavalue":{"value":{"entity-type":"item","numeric-id":4249562,"id":"Q4249562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5ac8c67f3806d7277ecfab9e0838ef4cafc307","datavalue":{"value":{"amount":"+0.92685056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849590$5FEB82A9-40B8-44EB-AF79-92AB753E780F","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":"8dcaf4d1877a5cf8c0791055aa326d496b2e2022","datavalue":{"value":{"amount":"+0.8969965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849590$A53D73FA-03C9-4012-AA79-548457451E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeeb09312b30cd06d5555df44b2ab1803020d79b","datavalue":{"value":{"entity-type":"item","numeric-id":4560619,"id":"Q4560619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc960dd9a4679ed63c323d3a1498b4967a85cc75","datavalue":{"value":{"amount":"+0.8919892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849590$D715BB4F-62CC-4C8F-946D-6E51B19141F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adeb43e44b2ee645443d1c9235356e0e2e9c8412","datavalue":{"value":{"entity-type":"item","numeric-id":5429337,"id":"Q5429337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99b776590ec11247b43559dddb6ae42e849629c1","datavalue":{"value":{"amount":"+0.8857342","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849590$0B476B2B-1D0F-48F8-AC84-378CB5CE4FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26391184077fab45aaa58297596b9aa5cab04fac","datavalue":{"value":{"entity-type":"item","numeric-id":2512180,"id":"Q2512180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fda38841914317fd5d83cfc26ce46a7332e8cdb","datavalue":{"value":{"amount":"+0.88296825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849590$1F81E165-0572-4B2C-B2BC-BD3B5ED3FE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a510a1b81b5c3e30178a2621dd0693268aa483a","datavalue":{"value":{"entity-type":"item","numeric-id":2026785,"id":"Q2026785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec99392a8007f6603be31c2f94f39c2eab91180","datavalue":{"value":{"amount":"+0.88211936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849590$8E026772-2628-4D7F-A9E5-B31CEA21D541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f4ffbe25c09e801dd66268d2b4a71a4bd699ca6","datavalue":{"value":{"entity-type":"item","numeric-id":2441772,"id":"Q2441772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f56a8034a106c9ba8d849e39c05bee10916d954","datavalue":{"value":{"amount":"+0.88069457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849590$D683BBD2-53DF-4D7B-ABED-20C076B99018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0925a4d84951da49915302eca94fdb4d93f48d3e","datavalue":{"value":{"entity-type":"item","numeric-id":2105429,"id":"Q2105429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd5a5ef16091cf0fa31ca83cc6b0d6c85dd1d3f","datavalue":{"value":{"amount":"+0.8801488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849590$BF10B421-C43B-4DBE-9921-C59CA9D55706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f47f5cc992c5d57593f86d8054074db8d80e85f7","datavalue":{"value":{"entity-type":"item","numeric-id":4806208,"id":"Q4806208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e82e63358889776e025caae5cdd6bf68ce7ae9da","datavalue":{"value":{"amount":"+0.8799287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849590$1A60A23D-DCCC-441E-A660-A67D4C58A612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9da2b9d16f6d4da2394fb5fd1e868ec40668e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2948232,"id":"Q2948232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60f1c97e669fbbc71d6331502c5a87f5e994a75","datavalue":{"value":{"amount":"+0.87851554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849590$03289CEE-00D7-48D2-B7C1-4C0419D45D7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"071457d7e099012f70334d13317f88840319f611","datavalue":{"value":{"text":"Verifying industrial hybrid systems with \\textsc{MathSAT}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849590$4699ECEC-AB04-4679-ABF7-5E571C484673","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849590","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849590"}}}}}