{"entities":{"Q6487259":{"pageid":14066028,"ns":120,"title":"Item:Q6487259","lastrevid":54439094,"modified":"2026-01-26T19:58:34Z","type":"item","id":"Q6487259","labels":{"en":{"language":"en","value":"Deductive binary code verification against source-code-level specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614700"}},"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":"Q6487259$38328AE9-3335-4E3A-A0BF-FE834B71D92C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bca290702611f6c65fa516890b62d2525892ce79","datavalue":{"value":{"text":"Deductive Binary Code Verification Against Source-Code-Level Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487259$FADEA9D9-074D-44CD-8179-A4A711F3EC22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef29e7b728c1671a356bb18438ec17c637a76cc8","datavalue":{"value":"1511.6808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487259$00289C65-3A44-42A1-A0F3-A2C8E26AE6E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5f45667773953c755773829c618faed3ac84faa","datavalue":{"value":"10.1007/978-3-030-50995-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487259$055D4CC8-C0FC-47F5-8337-551A3CADCE46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"459a02852a9e6842d80bd7cfc964265405a5ee62","datavalue":{"value":{"entity-type":"item","numeric-id":6484958,"id":"Q6484958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487259$DDC456D2-2022-47EA-B7FC-8E362B9A2F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"484e7e5b609db2a096668103290a969c1b6cc875","datavalue":{"value":{"entity-type":"item","numeric-id":6484959,"id":"Q6484959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487259$86EA27B8-99A7-4C9B-98AE-A3EBFF36D095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acb1f13119d7c263237144736b7f8160c54e29a6","datavalue":{"value":{"entity-type":"item","numeric-id":6484960,"id":"Q6484960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487259$67CC63C8-7640-410D-AEB7-ECEEABD3F176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42e2b45414173d8b14849f19d00a94f38aa195f2","datavalue":{"value":{"entity-type":"item","numeric-id":6484961,"id":"Q6484961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487259$C044A8DC-0DA6-457B-BB01-B0CE0FA6934A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-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":"Q6487259$35B0D604-8DF7-45E7-835C-0CC5B8D9BF18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487259$39D62E0F-CA4F-4223-AE1F-57AEB9275F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487259$9B774F11-D7D8-4917-A499-319A0F90BDB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"527e3c625c09e4299b95bf25ef314fb0dcafa269","datavalue":{"value":"7614700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487259$AE1D2F7D-D62C-46E2-89AF-EC1CE8AEE80A","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":"Q6487259$DAFCC888-F63F-4E07-BB36-97DCC15BF4E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487259$072361F2-337F-428A-9851-B98579427E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487259$93756CCF-383A-404C-84BE-7C7C890D7D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"375d148a7fc50247a9a95f617e87a98f33fb6710","datavalue":{"value":{"entity-type":"item","numeric-id":1630029,"id":"Q1630029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487259$E04EB98A-B533-4C9E-9FE3-61DDE5D2DAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487259$8C374402-A986-4FBE-B6D8-3A3B02F5CB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487259$FC0D177F-F35A-490E-AD7D-01C69E2EB997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487259$D7290136-EDA8-4D31-B21C-0270959A4DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9ea7887150abfd8958ac46eef7ddf839a8f58f","datavalue":{"value":{"entity-type":"item","numeric-id":3543643,"id":"Q3543643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487259$182C090A-2DED-4009-8EA2-3A4836F27BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7da1590a1616128c69ade7483ca0f3b7dcd36a9","datavalue":{"value":{"entity-type":"item","numeric-id":3100216,"id":"Q3100216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487259$89F46D20-B5F7-4D29-83CC-660C411367DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e1d7ac7f349d5b86be2d03d5e871137657e28d","datavalue":{"value":{"entity-type":"item","numeric-id":4738390,"id":"Q4738390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487259$E7E2375F-2500-4990-BFD3-BE806BFC06F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ed7ae54210088547f50aa25fcf3f04d43110c8","datavalue":{"value":{"entity-type":"item","numeric-id":1630029,"id":"Q1630029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f341623f0452419274578b98123e4c02f796973","datavalue":{"value":{"amount":"+0.7028544545173645","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":"Q6487259$BF15149E-F5BE-4E77-A300-8D960F18D3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76c45abf4210b3dc9cc008f46fdcd9f51620916b","datavalue":{"value":{"entity-type":"item","numeric-id":3836190,"id":"Q3836190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756a0868cbdddaa141f1efdffe8f6e41a64dacef","datavalue":{"value":{"amount":"+0.7028237581253052","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":"Q6487259$B17784EA-77C9-466A-A334-CD17872C38D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a3e30771a9e8a838cdf720e9f6bf4fb48fc788","datavalue":{"value":{"entity-type":"item","numeric-id":2729960,"id":"Q2729960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756a0868cbdddaa141f1efdffe8f6e41a64dacef","datavalue":{"value":{"amount":"+0.7028237581253052","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":"Q6487259$A936F86B-E8B1-490A-BD11-ACC6D2487CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640202a31f8c49d131a7b6418020112c3a0d4f4c","datavalue":{"value":{"entity-type":"item","numeric-id":2506297,"id":"Q2506297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa61a356ae8aae43efe5d501d6de0569a82cd127","datavalue":{"value":{"amount":"+0.6933717131614685","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":"Q6487259$9F3B0EAF-DC06-4CBD-8598-DC8EB2D481F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177a6e4ae87fbc69cc049e90a51aef2ccb197c87","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abf59994902357df0d0e08eaec37a4bb61351ee","datavalue":{"value":{"amount":"+0.6858651041984558","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":"Q6487259$944B7BFB-A5E1-4EDC-8739-583969ADA056","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487259","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487259"}}}}}