{"entities":{"Q2912699":{"pageid":2923424,"ns":120,"title":"Item:Q2912699","lastrevid":51561188,"modified":"2026-01-18T19:12:49Z","type":"item","id":"Q2912699","labels":{"en":{"language":"en","value":"Efficient coverability analysis by proof minimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086198"}},"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":"Q2912699$2C457FEC-B004-4F3A-870B-FBEC32EC68F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10bd57fdccf1fd02cd9cbec7e74f459a2827fe68","datavalue":{"value":{"text":"Efficient Coverability Analysis by Proof Minimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2912699$3DF25645-BEA3-459E-AF88-7EF60CC709BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b367758305514144bb748e32ebe5c24b9b56a6e","datavalue":{"value":"1364.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912699$566220F2-1E42-431C-8882-A7C97608C9BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41e31ee8c826cba5d9e97a7435f8c9f766bffa2a","datavalue":{"value":"10.1007/978-3-642-32940-1_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912699$D77A97E7-154F-4EC7-9D1D-D7DD6AF98D03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912699$808268CE-5E87-4371-B933-3D410070DE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d662772c24869dc9f46a36b74617d8d791c39563","datavalue":{"value":{"entity-type":"item","numeric-id":438555,"id":"Q438555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912699$B775E549-DF43-4991-A15A-9294FA0E0D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d53ad12ade8ab2f825d35b19e19b5417de710a","datavalue":{"value":{"entity-type":"item","numeric-id":2437297,"id":"Q2437297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912699$44EEA17D-E068-48E4-A116-B07D521E9553","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912699$9385A479-08E1-4105-AA37-8E6C2BDDBE3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6b00aac43a8308ba24a0697ff1b19387c2c0656","datavalue":{"value":{"time":"+2012-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2912699$AE158502-4AB0-43CA-9CD0-289D877F5A09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912699$EE0F72A1-BBD5-40D0-A5C0-E9877A59A81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912699$9A76A8B6-ABA0-4859-BE21-A1ABD3D56806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912699$5E42C2F5-C1F7-4853-B811-CA4B59C5C8CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"372d337f2619aec315b490669d46ec930a762b10","datavalue":{"value":"6086198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912699$98D4A2F7-BB0D-40D8-B56E-49D3C7A31250","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"966f5e8a97ea12124cd8285b1340644dc996b569","datavalue":{"value":{"entity-type":"item","numeric-id":16570,"id":"Q16570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912699$C8A23D7B-18C0-4305-BF1F-BDC40DD925BA","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":"Q2912699$79FEAC3F-887C-48CD-8208-D8B3A780DD83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7b1350ccf7f214c2627175b7d5a95d4b25a2674","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32940-1_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q2912699$33FA3842-7476-4D51-BF32-FFA343B35981","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b25761becafd289a4a6d49a84efe725f5a0fcccd","datavalue":{"value":"W1947886897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912699$BD87D714-6919-4677-8D5C-3FC3A4868497","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328db2c46ea67cb5b17724395635f337ebd4f5eb","datavalue":{"value":{"entity-type":"item","numeric-id":2817949,"id":"Q2817949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d809a27dac5909715b763d7d5b3c2738cab26269","datavalue":{"value":{"amount":"+0.807056725025177","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":"Q2912699$F9B57FF2-D440-472D-A838-46DCC82010D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f471a79c5f169224f998ea120f665ac785a4d3","datavalue":{"value":{"entity-type":"item","numeric-id":5898609,"id":"Q5898609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93730e30b68ad4b33f3c6d690306d6b2324e3efb","datavalue":{"value":{"amount":"+0.7444881796836853","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":"Q2912699$3C87D831-E1FF-48BA-9991-AEC635E9F88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce38ee1ed9aadbe0e0427d9ce6fb345fba2fc4cd","datavalue":{"value":{"entity-type":"item","numeric-id":2819827,"id":"Q2819827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8016c9b92c19f8e009ebb4ab0cb5f5b05632f13","datavalue":{"value":{"amount":"+0.7415112853050232","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":"Q2912699$A0A0EDD9-F427-411B-8850-3D5D5D21D8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585be1445e8d666131d390ada5fd4f1841cd5a04","datavalue":{"value":{"entity-type":"item","numeric-id":2920990,"id":"Q2920990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1278559138a97900c96398fcdd79a63df69c9c82","datavalue":{"value":{"amount":"+0.7240949273109436","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":"Q2912699$9AF4D682-E6D7-41EF-B7E1-58D67B40082E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78eb6cc7d213f0caaa58d401d9adb5439f8b6bbc","datavalue":{"value":{"entity-type":"item","numeric-id":2272922,"id":"Q2272922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37adb25413ceec7002fad7cbfbe51be5427ee5bf","datavalue":{"value":{"amount":"+0.7193061709403992","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":"Q2912699$3308CCF8-CE97-4A2A-AC46-17F2E88799BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2912699","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2912699"}}}}}