{"entities":{"Q3088015":{"pageid":3098730,"ns":120,"title":"Item:Q3088015","lastrevid":85746863,"modified":"2026-06-03T11:21:35Z","type":"item","id":"Q3088015","labels":{"en":{"language":"en","value":"Automatic differentiation in ACL2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940076"}},"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":"Q3088015$BAED76E1-8306-442F-BD83-8890354CEA56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74eb23e08bf0e2bbfc41ac620890e0e0dc23eb84","datavalue":{"value":{"text":"Automatic Differentiation in ACL2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088015$6D95E81F-5C13-4D5D-AEA1-A4962A08F8CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"625ed04f8457bdcfa99f5e1dbb537571b7f30d3c","datavalue":{"value":"1342.68301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088015$3D8B9AEA-774E-4AAE-B2DF-9516C5A11CCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a8fb7b33447f057c8a824678731d4cc0cb50562","datavalue":{"value":"10.1007/978-3-642-22863-6_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088015$087807A2-128D-4CCB-9E92-4CB54C7D9F0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51f8a7691b6f0744fdae6d1cdc841de0f9c5009b","datavalue":{"value":{"entity-type":"item","numeric-id":3088014,"id":"Q3088014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088015$9ADAD952-972E-4E20-AF0B-01BC9FB4CCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53de145c1476af14e05c31ec8165f08e3c85436f","datavalue":{"value":{"entity-type":"item","numeric-id":230813,"id":"Q230813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088015$188BE486-8793-4495-9B62-514059D97A09","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":"Q3088015$43FF04C4-4C64-4448-9436-5FB01674FC34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-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":"Q3088015$3C2A841B-480C-45B2-9DFD-5520D64AFA7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088015$6125F065-92A2-4B81-BBB0-5DC3F3E5E69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c23dec48a3293f0be30fba7ca1732a18d4263499","datavalue":{"value":"26-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088015$0E8837FD-BEB7-469E-8A77-5C2F4464C731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e11be76db0504a20556545d615708c6152734ed","datavalue":{"value":"26A24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088015$ECDAD518-5855-4514-9D91-1AF57702D5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df8574ca221627a3b631e5712574287946b0b18d","datavalue":{"value":"26E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088015$77BAECD6-FA1A-420C-A7D9-8EFA7E2F20D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b65c92d8edc47e824c38815c0034e2cbc115e0d","datavalue":{"value":"5940076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088015$A26FA503-BBE5-43FE-9A0D-19C696F6E258","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24dd5926fa2c4f0ee181b086899e10f05b3e9148","datavalue":{"value":"ACL2","type":"string"},"datatype":"string"},"type":"statement","id":"Q3088015$050ECCF5-E8BC-4E3B-889A-808F80AAAB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3088015$F01CB4F3-DA48-4A11-937C-57D14B42B0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf42fe9acd60ee61fb7d79b629440fafc185d05e","datavalue":{"value":"automatic differentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3088015$119DF5F7-0127-460D-8F60-A1E605130C21","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088015$FEF3A200-1B33-4638-8F72-05B30A94DB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"089dfe8b3630a1111dc879dafcb8ebf8404573f5","datavalue":{"value":{"entity-type":"item","numeric-id":15924,"id":"Q15924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088015$B12CA1C4-FDE3-426B-B745-7AA5346B53F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e06a3864549e5ea8104f732d5418fbeb4f95fdc4","datavalue":{"value":{"entity-type":"item","numeric-id":16352,"id":"Q16352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088015$CA452119-D38A-4F6C-8605-EF34029B2A02","rank":"normal"},{"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":"Q3088015$B957375B-F7F0-4F47-9BB9-B485A43E3284","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":"Q3088015$83F81553-1BFA-4411-AC66-EF94B9FC15E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66c2d73cf34932e5643d4b0dce810b61bb2d4635","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22863-6_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3088015$448A2A66-B5B6-4AE0-BB36-47E780CDF730","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7523cfe795f7bf6a3dfc2cfb5d3c9ddc06247082","datavalue":{"value":"W2280334138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088015$C0144FCE-AA9A-4B21-8EFD-A9007FD394B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3978a53972b0ba3b1fdd5deeda925fe0e405631","datavalue":{"value":{"entity-type":"item","numeric-id":1029809,"id":"Q1029809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088015$68A8CE39-AE0B-4A9F-AAF2-5A1D953B11BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1abb848d62bbccc6d189e2940dfc7531aa3632d","datavalue":{"value":{"entity-type":"item","numeric-id":2778918,"id":"Q2778918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088015$8316F92E-6C8D-460A-AE7E-5C62CD4701DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaab286ce9532044a0bbcada18389d4ffcc9518d","datavalue":{"value":{"entity-type":"item","numeric-id":5956117,"id":"Q5956117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088015$9E5AEE8E-9604-4B31-B778-6B0D4EAD9DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d515e8bc0ed0b23f394bb2e59ee64b37703326","datavalue":{"value":{"entity-type":"item","numeric-id":3532974,"id":"Q3532974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088015$47C0B985-6B2E-4158-8350-1F9DECC2102E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607877f349fc6dcd4204963ea451e931037797b3","datavalue":{"value":{"entity-type":"item","numeric-id":3528766,"id":"Q3528766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088015$4B62BAE2-0B35-43AD-AD49-415477C3EAEC","rank":"normal"}],"P1643":[{"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":"989e59c0f8462558c7f4b35b15c9289fe26dc820","datavalue":{"value":{"amount":"+0.7740771770477295","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":"Q3088015$3C14C213-04C9-4075-88DC-2C0B1FF51419","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":"4917bca86e672e0988a557e325d2739db9e4a3be","datavalue":{"value":{"amount":"+0.7689435482025146","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":"Q3088015$EB30E53F-AB2F-4989-BFEC-D3B59C671C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f35f777af5e8f62d4f21b1a433c09ef4e3a9ed2","datavalue":{"value":{"entity-type":"item","numeric-id":3552459,"id":"Q3552459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b6362aa4cdc89ea47e012ec32d6d8f9b92eb89d","datavalue":{"value":{"amount":"+0.7634105086326599","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":"Q3088015$32DF5783-DE8D-41C7-A41C-D57FA64C24E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0b40d3d1f44607dae61c21cc50891b8f2510255","datavalue":{"value":{"entity-type":"item","numeric-id":4728092,"id":"Q4728092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddefc99df06460a1bc88bfbac4a33eb0609de1d5","datavalue":{"value":{"amount":"+0.7571896910667419","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":"Q3088015$AB2101CD-247F-449D-8416-F33E6EE2B837","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":"18cb8f685a92edffd8aa94b9334b2f424484d9e6","datavalue":{"value":{"amount":"+0.7568036317825317","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":"Q3088015$0BE36184-213D-4FE7-8A35-42FC21B7E912","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic differentiation in ACL2","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_differentiation_in_ACL2"}}}}}