{"entities":{"Q3612995":{"pageid":5642901,"ns":120,"title":"Item:Q3612995","lastrevid":49679482,"modified":"2026-01-09T00:04:33Z","type":"item","id":"Q3612995","labels":{"en":{"language":"en","value":"The Image Computation Problem in Hybrid Systems Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527784"}},"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":"Q3612995$36C4521A-D61E-4E9A-81D9-94F7091B0F78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed39a25e97a055b40a23f8296ff4920d65560a21","datavalue":{"value":{"text":"The Image Computation Problem in Hybrid Systems Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612995$BEB448E8-659E-46DD-A805-DDF837B97DB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0922764006268a04b3a5c6d52a159d5cb52ebf04","datavalue":{"value":"1221.93118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612995$2E8D2063-E349-4242-8953-85E6651302DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bacb232b4fc754f788ea203a06b7c3647512d1ea","datavalue":{"value":"10.1007/978-3-540-71493-4_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612995$DCD1ADF2-F620-464C-A4EF-A4217D63E8D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc654f17b8a10219c5683cabcebc6a770c6278e4","datavalue":{"value":{"entity-type":"item","numeric-id":681339,"id":"Q681339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612995$6BD49D4C-8EC2-404F-B5AE-2B5A54F6B3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612995$D6DC410F-847F-40CA-8463-92BB2B014665","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b27f91d5f92a7b342f46c3feaedd58c7e5b09ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523094,"id":"Q3523094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612995$3CEF4093-3921-4396-B95C-5E56D1451BA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a864b5d6abdacf3ccff048e2a2e153fd9fb65d1f","datavalue":{"value":{"time":"+2009-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612995$D1E0E456-8E1E-4ABE-ABBE-BB675D1C6E1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612995$37D1847A-C890-4F91-9F72-14597ABA148A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612995$C82DFD2F-7147-42E2-97DC-46F911AC6D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612995$E56F1F54-F517-4543-8C15-F0D3AD3E2443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612995$C2258346-F1A1-40A0-B4E2-3BD49A8CB305","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"134b7a61127dd64bdea4624660929f5cb5e8ded7","datavalue":{"value":"5527784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612995$180BE030-3BD0-4ABD-84DD-DDDD1CABB2EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612995$6F9273B7-606D-40FC-AD01-FE2029A82E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612995$9CE1B00B-0C0C-4398-BF36-B9413FB8C0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cdc9db4aaebb617571ab8a659805ed11c480b59","datavalue":{"value":"image computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612995$1C6BF7B7-7B79-462A-9B5B-221C703E8505","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":"Q3612995$7A2332C2-2DD3-4EC3-A091-36FD27073435","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65902b3b6966f8f1cba5ab78ef3c6a4b163bb109","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71493-4_37","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612995$66864F39-6227-4BCB-90F9-2E2CFA2826DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"adb60896a2fe8f338045cb54450a0165599319d8","datavalue":{"value":"W2154128151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612995$F8D8C77C-6138-4EB5-A77B-90CE3AAB7160","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9cbbd146ec22cd3f997df80bc7bb4b0746c49ab","datavalue":{"value":{"entity-type":"item","numeric-id":5312913,"id":"Q5312913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3378eb3fe5444fe59de23379ef3fc7da0936858e","datavalue":{"value":{"amount":"+0.8916911","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612995$B606A22D-9E84-4D64-A068-4376D38BAC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0befcb00fd7bd3ce1417a9a9577e0c001612607c","datavalue":{"value":{"entity-type":"item","numeric-id":5900682,"id":"Q5900682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac989e1f0813fc08f9f0ddb8d6dcdcae736c3bc1","datavalue":{"value":{"amount":"+0.87709844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612995$5958454C-0DEA-471E-9592-6EB18209161B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec26bf5909b22f86d6cad4cf52fffedcce5c4995","datavalue":{"value":{"entity-type":"item","numeric-id":2754097,"id":"Q2754097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688ea613fe6c31a6e09ce793fbed72cdcceec367","datavalue":{"value":{"amount":"+0.8498132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612995$6F9B4101-0653-480D-A28A-749D4EA47326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a130a4288260334ac89eac7d4b2f2e7f869d4843","datavalue":{"value":{"entity-type":"item","numeric-id":5899000,"id":"Q5899000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a9630ef9a4d4a5b484d489c8e05dd5884f8160e","datavalue":{"value":{"amount":"+0.84852916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612995$225FCE4D-40C8-48CA-B8BC-DE87AB301D65","rank":"normal"},{"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":"d4a25239309273181f81f85d2d14afef55a3364a","datavalue":{"value":{"amount":"+0.8473584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612995$BBAC60F3-C148-4D50-8578-B6D4C5408DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b8b012aeb60c5a87d330347f8fb589a2658a98","datavalue":{"value":{"entity-type":"item","numeric-id":5047167,"id":"Q5047167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f02b297c6a0e2ef82d4d1aaf730a84aed32918","datavalue":{"value":{"amount":"+0.8468485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612995$815BB7AF-0327-45F1-84E8-8E9DA27BC176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"499d83672eef72549ec05edfef13897632bea8b1","datavalue":{"value":{"entity-type":"item","numeric-id":4992508,"id":"Q4992508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae85424e33d5895f81d48f1e87628cbbd437a55f","datavalue":{"value":{"amount":"+0.8461478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612995$C3AC38D3-C4A6-4516-99AB-270A9582F032","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":"38ef7ea9664dc2994d4e454e3c0b23b0f98a373e","datavalue":{"value":{"amount":"+0.8433945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612995$377118DE-BBF6-45E5-946E-F72D56DAC120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"465a4a9c3a35c0c414efc2360ea5a0f092a53cc2","datavalue":{"value":{"entity-type":"item","numeric-id":5266964,"id":"Q5266964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe98fe8af560c945a7611e45edb3f730f20c0986","datavalue":{"value":{"amount":"+0.84334517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612995$F9614A62-2C98-4154-82CA-327931AFB3C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612995","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612995"}}}}}