{"entities":{"Q3528766":{"pageid":5558670,"ns":120,"title":"Item:Q3528766","lastrevid":80692376,"modified":"2026-05-06T16:47:03Z","type":"item","id":"Q3528766","labels":{"en":{"language":"en","value":"On formal certification of AD transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5353262"}},"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":"Q3528766$C396E75E-32EE-4ACF-9E99-07CCE047FA48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e3e69d340f60bbf6ef8bf641f37f311300ef52d","datavalue":{"value":"1156.68572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528766$3843D08A-16C8-4432-996F-86E7BB75FA83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f0aa6260aaa3e91ec6a9301b770e800393f26da","datavalue":{"value":{"entity-type":"item","numeric-id":2359403,"id":"Q2359403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3528766$B1B11412-D2D1-4E1F-AC4F-C0A11EAA748E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f51f874f60a0661a38f64a7f4753a2a4e6d82d5","datavalue":{"value":{"time":"+2008-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3528766$89AD542B-F37A-4ED9-A20B-89A1DE5E4DE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528766$0680D5B9-6BFE-4970-81F1-27F9C3F54073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528766$3E3A408F-18AE-4784-AF25-FB83EA112267","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6529ede4c834b808f016c1a6f409f56657859aa4","datavalue":{"value":"5353262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528766$E32BEB59-E0BB-41B4-82C7-B0F673ABAD12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b90ba581de713a3df5c41b7c4f044c0002164b31","datavalue":{"value":"proof-carrying code","type":"string"},"datatype":"string"},"type":"statement","id":"Q3528766$E249B274-0F1F-4640-AE95-BC43F7B686FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3528766$9309F501-9378-46E7-923B-8416E000DD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf42fe9acd60ee61fb7d79b629440fafc185d05e","datavalue":{"value":"automatic differentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3528766$A7D2344D-C9AB-49B3-9B3A-83D9A4A72D49","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"719232582bdc1c7f3390d09c5d8d27db1c002fb4","datavalue":{"value":{"entity-type":"item","numeric-id":14729,"id":"Q14729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3528766$6A8A3212-E9DE-431F-8B64-1116A5697CB7","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":"Q3528766$5BFD7C29-1CD4-4BEF-B101-79BEC24D8BDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cce28e679d2b4ee89712c2b89c5288d6e9c1447","datavalue":{"value":{"entity-type":"item","numeric-id":2844228,"id":"Q2844228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc563571e164478295e56fc7c3d11c80f983eac","datavalue":{"value":{"amount":"+0.7694014310836792","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":"Q3528766$00489390-36E4-44CE-BE8F-FAD19F0F1072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17548523f996057ff27c1922a793bc82f144da96","datavalue":{"value":{"entity-type":"item","numeric-id":3125531,"id":"Q3125531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e27f44e7377cb82331875e4d8c24b7f255fdc0","datavalue":{"value":{"amount":"+0.7636407613754272","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":"Q3528766$DA67AC3B-301A-4F57-B300-DF3DCFC17E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8affa834ec127f1c3e3c722ba9af27f0a15f99e9","datavalue":{"value":{"entity-type":"item","numeric-id":2233481,"id":"Q2233481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e40ae24c11fdece54c5741d9b03fd9b02a8906","datavalue":{"value":{"amount":"+0.7586593627929688","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":"Q3528766$8AE987C2-5348-4654-A41A-473152373E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69cb3f4580d4276757c008a4d16589f17355c96b","datavalue":{"value":{"entity-type":"item","numeric-id":2844213,"id":"Q2844213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e0c85e62c8843d9224a17e642728073dfab97b1","datavalue":{"value":{"amount":"+0.7555729150772095","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":"Q3528766$73CEC40F-366A-475D-BB86-BE986D85D111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10be925f951acb06b2c63bd81808c2598f3895d5","datavalue":{"value":{"entity-type":"item","numeric-id":4465274,"id":"Q4465274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8751902df973ebdd4039acb8621892b92cd8c29f","datavalue":{"value":{"amount":"+0.7500859498977661","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":"Q3528766$CE9EB98C-18C9-49A2-8F9D-4332A458391A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On formal certification of AD transformations","badges":[]}}}}}