{"entities":{"Q2914735":{"pageid":2925455,"ns":120,"title":"Item:Q2914735","lastrevid":44728671,"modified":"2025-11-25T13:07:26Z","type":"item","id":"Q2914735","labels":{"en":{"language":"en","value":"Bridging the Gap: Automatic Verified Abstraction of C"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084484"}},"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":"Q2914735$83A7A32C-7804-480D-9AE0-BBC9924F2C85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"470cf261999781039a65d1d16a763d565308556c","datavalue":{"value":{"text":"Bridging the Gap: Automatic Verified Abstraction of C","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914735$53669D5A-A4BD-44EB-954D-BCDFD1AF3EDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b73ffacaaa406135e7d045696456e428a1c2df7","datavalue":{"value":"1360.68751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914735$F0770433-D19D-4036-9A4B-A6781B4643FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a572cb849dca446557f9e59332cdf67aaeec99f","datavalue":{"value":"10.1007/978-3-642-32347-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914735$D84E0686-E229-42B2-9348-13A57FBF135E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54053fba3e8a52ba38500db64ccaef0197e5c7ca","datavalue":{"value":{"entity-type":"item","numeric-id":331616,"id":"Q331616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914735$BC6AD90B-5799-4EAD-B398-B61A34F253A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e453fb43ff034a2125090d63962dcad98ba5afe2","datavalue":{"value":{"entity-type":"item","numeric-id":2829243,"id":"Q2829243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914735$61B9D8CE-B5B9-4253-8CA0-4B6D56CB9671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008a47245ae11ee2f12e0bd284b000b43ab772af","datavalue":{"value":{"entity-type":"item","numeric-id":736847,"id":"Q736847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914735$F989D250-07F6-47CF-8AF8-B43A1BFC40FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914735$D9259055-C244-4754-90CF-916D6E727DE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-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":"Q2914735$F3A5F521-AF08-449F-8D4E-EEA40653BD86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914735$A609958B-D135-4A08-9AD1-97E0A921FB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914735$C7400993-0F48-49FA-A60E-A6507C21A99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914735$74615250-3DEE-45E8-A4AA-CE4EE11CB3B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b5e89e1ef33446b9fcb714115f6ebe8a4570aa3","datavalue":{"value":"6084484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914735$9568B435-684E-46C1-9E4D-EAADF52DF726","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914735$EC1925B7-7CA0-4232-8A9B-02738BE2E009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914735$E9AD0E1A-EA37-4EA4-8E5B-4ABBBC990DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"174f08d95eb791d469e1c45d7c14093069896ee1","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914735$B17F48B9-0AF0-4BFE-983B-799FD9BA5E87","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":"Q2914735$DC4C562D-6014-48D2-BC0F-61CDB282ED4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9fae3b9cf84fc066df85ada1baa92ca99bb013d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32347-8_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914735$82795A6F-BBA3-4442-BDCA-8D1913D4D2D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14254a8173038079399b70c95bbd393aa46b65ab","datavalue":{"value":"W81956812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914735$F60D6C82-3307-4281-9A8A-64C94AE90D33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fab7cccee66bb09cb113fdb52faeb00c44355ec","datavalue":{"value":{"entity-type":"item","numeric-id":2147702,"id":"Q2147702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa625a3033e2907def3edb009fa4b3f661d24e8d","datavalue":{"value":{"amount":"+0.90034354","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":"Q2914735$7A3AEDB3-BCCA-456D-B315-B76BF4846EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7d4858df28861c0f3d2d8bbfcad60ed15c2374e","datavalue":{"value":{"entity-type":"item","numeric-id":5187834,"id":"Q5187834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da222f470039cd4164c9ed6c42efc8b673b628f0","datavalue":{"value":{"amount":"+0.8862403","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":"Q2914735$CE2317E9-3720-4501-BF67-3F39F5F5DB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed03ff244bd448296e984cc4bf4f360cb72a649","datavalue":{"value":{"entity-type":"item","numeric-id":4414376,"id":"Q4414376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8486d931ad92b5b0057493a09e86551c7e0a49a","datavalue":{"value":{"amount":"+0.88245463","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":"Q2914735$8AA6C6B5-9762-426B-952E-ABEBC1C5F8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2170c4b2d9ca1f4390fc13c08e49797e21a01bc1","datavalue":{"value":{"entity-type":"item","numeric-id":2766776,"id":"Q2766776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b3ba9cc3cc4ae7de548c8076718b1f5f237ffef","datavalue":{"value":{"amount":"+0.88001084","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":"Q2914735$C45FBD6E-010F-4D8A-A709-990275097439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e758030f03f95d7150fa6bd97e6f1a1723375f","datavalue":{"value":{"entity-type":"item","numeric-id":885853,"id":"Q885853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c4ca2416ed5399ff862376f2a60096f68138c3a","datavalue":{"value":{"amount":"+0.87826645","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":"Q2914735$B37DF474-1D6B-4D6C-836A-C24BF00D8D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3dd91fa895f0e3dba265354d30d493035410717","datavalue":{"value":{"entity-type":"item","numeric-id":5096092,"id":"Q5096092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94fabc6cda4817c14f55a1f4c3854ebaae8ba664","datavalue":{"value":{"amount":"+0.8750699","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":"Q2914735$E4DA0B20-ACCE-4331-83C4-4467A88B0CD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914735","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914735"}}}}}