{"entities":{"Q3178288":{"pageid":3188997,"ns":120,"title":"Item:Q3178288","lastrevid":52573793,"modified":"2026-01-23T00:28:02Z","type":"item","id":"Q3178288","labels":{"en":{"language":"en","value":"A simply typed \\(\\lambda\\)-calculus of forward automatic differentiation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6602843"}},"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":"Q3178288$7D1379B0-6857-4772-8F70-D1C23456CDA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db44fa98cd2c33a7560bccd47522ee7f6a406ee9","datavalue":{"value":{"text":"A Simply Typed \u03bb-Calculus of Forward Automatic Differentiation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3178288$2C970782-B9FF-4598-B95B-3C6F96EEEBF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"317bab384da9a1885e96e426faf0a9e88dd8e924","datavalue":{"value":"1342.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178288$B97A8E60-1A9C-4825-B5CF-F42CCDFF3254","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"537675ceca57f699a7abec2234cfe1fce665c601","datavalue":{"value":{"entity-type":"item","numeric-id":2381423,"id":"Q2381423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178288$A639D632-3B7D-4E63-BDCD-AE670B4B81D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178288$771B111C-33D4-4F54-A741-4934AE2ADCCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d94d7fb93a112f04dcda84d3b27e1ba4f782c3b","datavalue":{"value":{"time":"+2016-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3178288$0F7069FE-4662-43B3-977E-F1BD76012228","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178288$B9AC5921-5549-4A26-80E2-F4AA06E1259C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8bbbefc2478087a38f3ce1f1de0c299b1da811c7","datavalue":{"value":"65D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178288$C6BD48C4-BBB4-4440-B83D-03B7807EDA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178288$2695CE3B-2180-4795-9CB1-5F79AD6AE011","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76b95ef82b2cf14a49fb2dd4487db88c6787c443","datavalue":{"value":"6602843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178288$FF442F79-8370-4EF6-82E8-A393F1C0D4D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"804c68060eb2b018f933d12b825875789c4fadbe","datavalue":{"value":"tangent bundle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178288$974ED52C-11CE-47AC-A518-7DEB66DB6D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b04f229715692ca83b8cfdd2e5368c06bd807f","datavalue":{"value":"differential \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178288$1C6C3679-207A-4BBE-B18F-357F43477E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a38955ddc9b1d82bd1ed54ea242f8057c89293","datavalue":{"value":"differential category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178288$81118FDD-FC65-455E-A6C5-3A635D1B37B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178288$7CB95688-1C10-487C-A10B-6FBBBF371418","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":"Q3178288$24878AAC-BB4C-43E1-B15E-A9C056614395","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c284db7a638581769aa21d4f9cd52c441697c12","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2012.08.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q3178288$3AEEEF48-CBC7-4029-902A-64F1E20506C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89072261684b11313007f1f04d3a562c71676d88","datavalue":{"value":"W2046201222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178288$5339BA69-969F-48A4-8313-2D6EC2072676","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c83480bd322253e5e503aa8d5390397f84e9ede3","datavalue":{"value":"Q113318073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178288$8B70B0B9-01E4-4AC3-BFF6-357F27AA9E39","rank":"normal"}],"P223":[{"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":"Q3178288$9A02AF89-454C-44FE-AEC2-44F7C605F94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa0a722f872a3c74374b748635c0ff52a893539","datavalue":{"value":{"entity-type":"item","numeric-id":3552029,"id":"Q3552029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178288$35013427-A667-488A-9226-6BCDB3AC2363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee35326208938388d3b1f535614e5567866e336","datavalue":{"value":{"entity-type":"item","numeric-id":3178254,"id":"Q3178254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178288$0D8DCF35-9A30-4184-BA1D-F34F7B438B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6213954e81e724c3f286590145891086b91f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178288$4C33B461-CEF1-4FE6-B721-1FE393D12C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dee936ab3c2003c00fdde770483f24a8a1a19c","datavalue":{"value":{"entity-type":"item","numeric-id":5586461,"id":"Q5586461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178288$05BCA99F-D061-4640-8C2B-6B889F5529F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb340396d7adff21456117ec27eebbef185bf03c","datavalue":{"value":{"entity-type":"item","numeric-id":4954403,"id":"Q4954403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178288$9A2D9F4D-3292-4C30-B9A6-13B577F8992C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5bc0e3eba9c0ba237df4d31d84fac3bde0d1fd","datavalue":{"value":{"entity-type":"item","numeric-id":2539417,"id":"Q2539417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178288$7E78A7A0-C170-4677-967A-6210C6D60128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3592cd66fbd154fad3b6debbcfc102ee04f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":2557763,"id":"Q2557763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178288$93F2F5E5-AA2A-49DC-81E6-3E7EE0EFE54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178288$231A069F-3236-45E8-BEE6-8462CD9D0E77","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":"Q3178288$EBB532E1-DD0D-4D78-8FA4-C81FFD80D1D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d06cb0a20001f58e38233b693469afb49dcae3e6","datavalue":{"value":"10.1016/J.ENTCS.2012.08.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178288$5669F26B-88AB-4E6E-8ED5-BB12A3AFFDC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94c012b3cf281e85c2e6294fcc704cba7da9cc2b","datavalue":{"value":{"entity-type":"item","numeric-id":4910429,"id":"Q4910429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd8eabe58df5176afda3d3db0e238a722bd0d83e","datavalue":{"value":{"amount":"+0.7865989804267883","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":"Q3178288$3C52EFD1-5865-41A3-89DB-C9621749437A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835f4a7df32d4ed0353704c3296eae28134c6425","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6c8d983042bc389e8f3ad40db37f931cf90b57","datavalue":{"value":{"amount":"+0.7725523114204407","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":"Q3178288$37D8F101-F478-44B0-8C1E-A3564C8E007A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca880c2b6dca52c66e45e1a66bec6778d00be7d6","datavalue":{"value":{"entity-type":"item","numeric-id":2373711,"id":"Q2373711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5478e90715ef90a0ca99fa6ce8546ddc3d3db9f3","datavalue":{"value":{"amount":"+0.7463880181312561","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":"Q3178288$85A6B879-8822-4412-8250-B9AE25659E7A","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":"6dd12e7ae53d4330088d6d91160ce3bea74209d0","datavalue":{"value":{"amount":"+0.740543007850647","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":"Q3178288$7BF4719B-57C7-4A78-BEC3-0E2D4829B514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"284b1d1db0f2d54f5458f6f96a3cd2ffc5542a69","datavalue":{"value":{"entity-type":"item","numeric-id":5019684,"id":"Q5019684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34155de249dbd439377aa4065a22dab46be34536","datavalue":{"value":{"amount":"+0.7366713881492615","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":"Q3178288$CBCB09F2-FA24-4535-9F3D-8A60D728E12D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3178288","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3178288"}}}}}