{"entities":{"Q2233481":{"pageid":2244224,"ns":120,"title":"Item:Q2233481","lastrevid":73842213,"modified":"2026-04-14T17:27:31Z","type":"item","id":"Q2233481","labels":{"en":{"language":"en","value":"Reverse AD at higher types: pure, principled and denotationally correct"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410474"}},"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":"Q2233481$F7BF6100-2173-42EA-9815-24361788AD6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6ceb69edf46ad82203f11fc385fc078285e51fb","datavalue":{"value":{"text":"Reverse AD at higher types: pure, principled and denotationally correct","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233481$526789AE-8FB9-47CF-B481-5DA160714FC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76a426dc2b011c8845212e225d325717d1320fab","datavalue":{"value":"1473.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233481$4BFDF191-B17A-468A-AA12-A8CE323767D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b0808448e33923e97c610dbfeea815864b48607","datavalue":{"value":"10.1007/978-3-030-72019-3_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233481$72A00BFC-479F-4D51-8C20-520D9E0D8C06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09c4ab2f85ec3a6c147a24b8fa181cc0bd032c75","datavalue":{"value":{"entity-type":"item","numeric-id":1641013,"id":"Q1641013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$2476D94E-44F6-4129-A0D6-01105B606FC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233481$E4DC7EC1-E250-47FD-9070-ECABCDED6906","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36647d4e9a6c93cc75113bb01c3e488ca325e738","datavalue":{"value":"https://arxiv.org/abs/2007.05283","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233481$66DA629E-7D75-405A-825D-696EBE5DC329","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233481$436F8DC7-7BBB-4FA1-B55B-FE86F694B9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8bbbefc2478087a38f3ce1f1de0c299b1da811c7","datavalue":{"value":"65D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233481$833BE6D4-6999-471F-B7C9-BA6F3288B67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233481$6D648A72-2EE6-449A-9229-37600F8CD81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233481$9E87EA1E-6AD6-4417-A8A4-F56E285360DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bba67367a84e8ea5f253670cdd4cf6787adc7e7","datavalue":{"value":"7410474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233481$ABD81737-DD7E-4A65-8A2B-AD45D0E81D2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf42fe9acd60ee61fb7d79b629440fafc185d05e","datavalue":{"value":"automatic differentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233481$3FFD96E3-FEA7-414E-BA7A-8FCE611C814E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233481$DE43477A-8F11-48DB-9226-A20ECF7A3A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233481$E908AA66-5869-485F-A737-90C38DA42D7D","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":"Q2233481$9143DF12-7386-4707-9205-45420580FE30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a407927ccb3d31adf9c9df092c6409f0a56e0410","datavalue":{"value":"W3148154580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233481$EB208A42-1542-45BC-A19F-E1E79F442FEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fbca56191e433ddad7d589e9817e8f20721a5b","datavalue":{"value":{"entity-type":"item","numeric-id":4417849,"id":"Q4417849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$B042363E-3069-478F-9E62-B2F1AA323F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7039f35873ea76b6151b88dc3cc120a3afd4471c","datavalue":{"value":{"entity-type":"item","numeric-id":5041087,"id":"Q5041087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$F111470F-FDC8-4879-88B7-351DB482AB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4984b480ff603fe16bf0e07551fea0c30c709de6","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$574C4EAE-B503-4F0A-A76F-6DD0E5753E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57e7e25499f042d4a04e8b2999b4c341c55d9a73","datavalue":{"value":{"entity-type":"item","numeric-id":4904081,"id":"Q4904081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$337DFCCA-E16D-455F-8F40-50C66BD7BBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354da199dbe1f7391127c09e8d66b9bd98941d08","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$3AE28CD8-40E9-4F24-8767-4B2CEC0048A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c57051be91a59afe32c36bd9efb8d88289ceec3","datavalue":{"value":{"entity-type":"item","numeric-id":5874204,"id":"Q5874204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$AC7F1D92-76D1-4E22-9D91-0B2669CF099B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c0a322641e0fb0bfcedb9760d56ea332ad04e","datavalue":{"value":{"entity-type":"item","numeric-id":3745827,"id":"Q3745827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$77D76082-27E8-4587-88E7-6DACB731685F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d259b9c3dfd67f7169bf8352865208649e00fb2","datavalue":{"value":{"entity-type":"item","numeric-id":3714050,"id":"Q3714050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$13C83D42-121D-4329-82E7-80E5BEEE7D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7cce44dcddea0c7fea27b3e9933c1569258d6c9","datavalue":{"value":{"entity-type":"item","numeric-id":3644752,"id":"Q3644752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$46EBAEB3-343A-4F92-9FCC-0EA568BEA39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340939432c5a5d06e884c51fa8fa92ea5f231196","datavalue":{"value":{"entity-type":"item","numeric-id":4577980,"id":"Q4577980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$482F8A98-82EF-463A-BE73-C4E190379E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b9f3a81f1ec2c628408a6b6ddb5ffae6f4841a","datavalue":{"value":{"entity-type":"item","numeric-id":3612629,"id":"Q3612629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$235B6FC5-8657-4EC4-9D9B-D8898EBECE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591780a4dd7826eb1da6b56b66e5a0a043271242","datavalue":{"value":{"entity-type":"item","numeric-id":3963734,"id":"Q3963734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$3ED4F709-163F-48BC-8293-683D457BE362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60e7d3c8ff15e0d4cfce3ba0b1bbc1857db50d04","datavalue":{"value":{"entity-type":"item","numeric-id":4040131,"id":"Q4040131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$3196BB87-AD32-450F-9F06-987C2EDDACB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c7d94d2d68b45a4977d1bec76b0aae2f12f032","datavalue":{"value":{"entity-type":"item","numeric-id":2200831,"id":"Q2200831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$961B3033-67CA-45F0-BAAF-EA71F2F8F034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca595c5459ce2e7e0e657d0b86e1aa73c5d0a344","datavalue":{"value":{"entity-type":"item","numeric-id":2920081,"id":"Q2920081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$77EF1B9A-0347-4415-A446-6189572A3501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$97AFD3DA-6D5E-4AC3-8BC6-AEAD24E399AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57308ecec23158d7c6f51405c3cf70ec00796d3","datavalue":{"value":{"entity-type":"item","numeric-id":3612498,"id":"Q3612498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$85D62F84-97E5-412B-80E7-B22583EB2A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de827a82002a3453d63ca6ce2c5ee6d9c209ea3d","datavalue":{"value":{"entity-type":"item","numeric-id":5470454,"id":"Q5470454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$4F0AECC2-B8E5-42F8-8BCA-621E25DBA72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654b9da35bb1975c7b6e87c0586a0aa8bf916f88","datavalue":{"value":{"entity-type":"item","numeric-id":4040149,"id":"Q4040149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$49C0F93B-0C1F-42A0-B878-99C966DC4435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c682b839b11467875c1cc1c966d0baafa1e563","datavalue":{"value":{"entity-type":"item","numeric-id":4829806,"id":"Q4829806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$7B2442A9-3E80-4064-8432-99B9FC854721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf8d6e4e353fa9b04f96494f743c29b11758aae","datavalue":{"value":{"entity-type":"item","numeric-id":1029813,"id":"Q1029813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$78873464-E2BB-4F43-95A4-63ACFCE31F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e296f2a7c7680dcb71440163d174e6ce618c8338","datavalue":{"value":{"entity-type":"item","numeric-id":3966795,"id":"Q3966795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$367B230E-DCF6-4F2C-9E37-DECFC8217B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1375d9fcfe42e7891c55cc1977c75bca65ee4a05","datavalue":{"value":{"entity-type":"item","numeric-id":2948554,"id":"Q2948554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$E870FF04-A6D5-4C1D-91A1-426529E447ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28245279507af0e9855388d33998fc136c4ae88","datavalue":{"value":{"entity-type":"item","numeric-id":2233481,"id":"Q2233481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233481$71A950FD-34FC-49F7-A608-927F7B3EF527","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d28f6d434dc201b596b7fb5f7f3cc1d247fea02e","datavalue":{"value":{"entity-type":"item","numeric-id":5234268,"id":"Q5234268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b048abd896abb1569dbd2b9220ab8a4082ba3abf","datavalue":{"value":{"amount":"+0.7778658866882324","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":"Q2233481$6B99B855-6115-4AF0-B33A-D296E7D63305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86779cb5639744ecf7e004fa8b36800a848ff258","datavalue":{"value":{"entity-type":"item","numeric-id":5348896,"id":"Q5348896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3d75f0a1478a50f4c38229715ff98332293ccc","datavalue":{"value":{"amount":"+0.7734498977661133","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":"Q2233481$8F01EF2D-1753-4724-912B-56A21707B3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2641a8a9925749ce430759df7c4f54e2bd364ae5","datavalue":{"value":{"entity-type":"item","numeric-id":2936816,"id":"Q2936816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24978fd6f67cd5add42ccc9533a1a42d84886340","datavalue":{"value":{"amount":"+0.7723131775856018","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":"Q2233481$0F3477E1-5B62-485B-A91F-EBF7A01635EB","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":"d665974691cd1ce801fe312607cb1f269b8030c8","datavalue":{"value":{"amount":"+0.7693513035774231","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":"Q2233481$64E90779-058D-477F-B2FB-FEBD56CF685C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da93e0e6961e025bdd7f3cd148313e0a885932e8","datavalue":{"value":{"entity-type":"item","numeric-id":1029813,"id":"Q1029813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"230e2264a57de696d830af873e80bfa36b35a514","datavalue":{"value":{"amount":"+0.7651810646057129","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":"Q2233481$FCB1A256-FF21-4CE4-935C-74E7AA966452","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":"Q2233481$FEE80796-8B18-446F-956C-F43E570EFD8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reverse AD at higher types: pure, principled and denotationally correct","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reverse_AD_at_higher_types:_pure,_principled_and_denotationally_correct"}}}}}