{"entities":{"Q2226732":{"pageid":2237475,"ns":120,"title":"Item:Q2226732","lastrevid":57686043,"modified":"2026-03-31T22:04:58Z","type":"item","id":"Q2226732","labels":{"en":{"language":"en","value":"Code2Inv: a deep learning framework for program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307963"}},"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":"Q2226732$D7FB83AF-D2F7-4C44-A0EA-F10F8E6C1AAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"016cdc9a29e929ebf2ba7919168d454d2ae7916c","datavalue":{"value":{"text":"Code2Inv: a deep learning framework for program verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2226732$0BBFF342-F0AF-4967-B12C-7483FD7B7B09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e63a9ff7dcfcf5ab351e61a639b364660ef644da","datavalue":{"value":"1478.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226732$8F1950A8-DA31-403A-8A0B-6871088AED28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"454737c2af3d98a84e4b691e8672153a53918463","datavalue":{"value":"10.1007/978-3-030-53291-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226732$0C1C165A-9CC8-4B3F-BB67-44C265AAAC67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"908537191fbba7e70bd2ac00e51d99b140916e80","datavalue":{"value":{"entity-type":"item","numeric-id":2151232,"id":"Q2151232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226732$25B7519E-2386-41A4-B6E2-462E425D2294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a992b57cd9d1973534924f878effcd0d519110b","datavalue":{"value":{"entity-type":"item","numeric-id":2226730,"id":"Q2226730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226732$A093EF0D-28C1-441E-8521-94B5C0AE0CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c632f70b1fa99433df03194e9602dbe8d34972dc","datavalue":{"value":{"entity-type":"item","numeric-id":2226731,"id":"Q2226731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226732$C1749B57-4E95-45D5-A139-511333FDD7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0cbdb982e68877c7866a261809ea46914b284b5","datavalue":{"value":{"entity-type":"item","numeric-id":2151234,"id":"Q2151234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226732$3DBD710E-8530-4B43-BA4F-FC3257194263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9816f19c2f006c1b5862a44f680cc5fcaccf481e","datavalue":{"value":{"entity-type":"item","numeric-id":264759,"id":"Q264759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226732$D77CEEA6-BD4C-4A5E-864E-372C5B4C68EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44995ee145c1f02a174e4b3916219598c7e9c4ff","datavalue":{"value":{"time":"+2021-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2226732$9E29B609-B6E7-48CC-83FF-11AF99254E6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226732$6B245EF4-2332-4959-B905-78C0A1350F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226732$70F9C1E8-3A73-47E2-B505-FC49C9E408C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d0bc2fd5edb6986e356caa565a7248ec6ce2b7c","datavalue":{"value":"7307963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226732$C5269F45-02CB-430A-A53C-AEA843C5991D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad03d9c4dbcdaaddb400f75c486b1d8804afb4e0","datavalue":{"value":{"entity-type":"item","numeric-id":38420,"id":"Q38420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226732$EB272907-28D6-4D83-BA73-7EDCF440B5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bdeb25770d3a4b51ec03e3ff8130d2fab259c66a","datavalue":{"value":{"entity-type":"item","numeric-id":1354233,"id":"Q1354233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226732$90095155-F00D-4954-9AFD-10CD6E1BDC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69f362165978cbf04e5b5460992bc38f4ae05985","datavalue":{"value":{"entity-type":"item","numeric-id":30117,"id":"Q30117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226732$563C422E-A3CD-43C1-80C6-67E320F45C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226732$CE6E0866-25B2-400F-A418-7F62FB602243","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":"Q2226732$B9B4AB89-B172-49B2-80CE-0A96903DAD43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26e6f345c54297e41f858225a090f1b2e1809c0c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-53291-8_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2226732$A2557D0B-BC02-425F-9DC4-D3E1E9FE745C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"122891f3792bcdb7edcde02b223e8f9058b7cf51","datavalue":{"value":"W3042261571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226732$FDEEED52-8D1C-47C7-8213-6218AFAEB6D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da609d20dbdbe2bfd6c5168a4c9a04e0787c3e5","datavalue":{"value":{"entity-type":"item","numeric-id":2145332,"id":"Q2145332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7e91174b93a25deb5c9cd90ce5114a8cac32184","datavalue":{"value":{"amount":"+0.8712436","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":"Q2226732$31821E3A-60E4-4159-92F8-C8C567A3D72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"474ed12c7afbfe003c7c20a5a286c58c7ecb39e3","datavalue":{"value":{"entity-type":"item","numeric-id":6060675,"id":"Q6060675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7342d97eefd273314729492169f2d544e3fd876d","datavalue":{"value":{"amount":"+0.8523388","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":"Q2226732$0435E43F-CCE5-4E48-8C0A-4D90117F8713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b970748ad91db63f800877569bbd6569518e07bf","datavalue":{"value":{"entity-type":"item","numeric-id":5464658,"id":"Q5464658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abd58b3e87c4d39c7857bd45a2335cda1a641f1","datavalue":{"value":{"amount":"+0.8498446","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":"Q2226732$A365CBA8-F1C0-432C-960E-1AFE6477CA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af31fb59eda929cea216c67c45e6e252ec9e724","datavalue":{"value":{"entity-type":"item","numeric-id":2151238,"id":"Q2151238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8575569772c831f7922f527e83448f620c5e486e","datavalue":{"value":{"amount":"+0.8412637","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":"Q2226732$C393CADB-A31B-47A7-AA05-052265DF61BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3b07360cba833e3b52bd12f75610c7bf1124fb","datavalue":{"value":{"entity-type":"item","numeric-id":5464646,"id":"Q5464646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a8da0fe49ea12f93b0b1f43dcdd1d25fafad9e","datavalue":{"value":{"amount":"+0.8412472","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":"Q2226732$76ACB037-CDA0-411B-97A8-07267DEC9F68","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226732$7AA110BC-21D8-461A-8D57-DF860204101D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2226732","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2226732"}}}}}