{"entities":{"Q2829282":{"pageid":2840020,"ns":120,"title":"Item:Q2829282","lastrevid":52660133,"modified":"2026-01-23T05:18:40Z","type":"item","id":"Q2829282","labels":{"en":{"language":"en","value":"On the formalization of Fourier transform in higher-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644763"}},"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":"Q2829282$5AADCE3F-7571-4C8F-8353-CFE7E36C3819","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5641130f29587ca3e37a8724aca9ee62e0c21fb3","datavalue":{"value":{"text":"On the Formalization of Fourier Transform in Higher-order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2829282$DDC8422E-4793-4DF1-A026-5AC1CA34051D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac3f4554fcac81892aba1fbb3d78de17a21b558d","datavalue":{"value":"1478.68441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829282$6DC66CB4-FBB5-46DF-97B2-8CA9BE11FC18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c436db4879295d515dfc19809f097b28edac14d","datavalue":{"value":"10.1007/978-3-319-43144-4_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829282$B07A2D89-BD06-4C1D-901D-97D6DD846414","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"891b3bc2f96589c9dedada7f9b5bb76f55e7c5a3","datavalue":{"value":{"entity-type":"item","numeric-id":1640639,"id":"Q1640639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829282$7FF37F5A-841A-471E-9A30-F183BE42C8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"393ef07e7673f4510d0e5689d2d44001b3ecc236","datavalue":{"value":{"entity-type":"item","numeric-id":246140,"id":"Q246140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829282$9A985F61-82EB-4C71-8E08-201B3BAE3ACA","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":"Q2829282$0C3BCABE-63F1-452D-83B8-6DEB972F1732","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2829282$40C35E90-742A-49B4-B776-DAC2F92A427B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829282$3D17E9DD-8615-495B-B197-B9708E818FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829282$D32573B8-4500-49C6-B9FB-FF964A5B67C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829282$D5CCE2EC-EE91-4993-8063-9C40E0D76CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2582c3c89c341c659100289561993931d25f722","datavalue":{"value":"42B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829282$781DCD1A-7390-4872-8B59-578BC288AFCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a9f2dc4779e0cce0088921248951c0d5ba1845b","datavalue":{"value":"6644763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829282$2F4463E9-BB07-431F-B6C7-ED303BA096F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2829282$CFFCC76C-1C0A-4D95-892B-EA8A3B3F8AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"104686f3a3b63f31fa6c79f5f0116fe39fff0a7f","datavalue":{"value":"HOL Light","type":"string"},"datatype":"string"},"type":"statement","id":"Q2829282$2DBB3242-280F-4088-A949-57FE43F2D244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"994d7c10a73037bc0ad3d751aaec1f75d12928c0","datavalue":{"value":"Fourier transform","type":"string"},"datatype":"string"},"type":"statement","id":"Q2829282$B6101315-9785-4BB3-B460-63AE33E31D77","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829282$AFA375FF-6166-44A9-BF87-BDF0094BA15E","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":"Q2829282$0C4CBA75-4C76-4037-8A67-445A4D1DF107","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33e8b971747b26cd139e4b76f032a4b7a8a6e3bd","datavalue":{"value":"https://doi.org/10.1007/978-3-319-43144-4_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q2829282$67538D50-25CD-4720-B7E0-FCC1E03CBF0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38aeb905ea633b4e96bc1b6a0143f4b08a7fd3e4","datavalue":{"value":"W2477915194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829282$EE9923D7-F7E4-4D48-87B5-27BEF806D0F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"52d3ca3104c86b480af2c0a8258502720f5e12c7","datavalue":{"value":{"entity-type":"item","numeric-id":4429927,"id":"Q4429927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829282$F5951788-0D95-4B1C-B8A1-5C77AB8C383A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1d187f2bb1c1d687b3326b9ff78435db8d4c4c","datavalue":{"value":{"entity-type":"item","numeric-id":3967932,"id":"Q3967932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829282$6114A566-5C38-407D-82E7-30C662A5B5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e34b8c44e244e41df1e6a71d401fe96dcb5008fa","datavalue":{"value":{"entity-type":"item","numeric-id":475384,"id":"Q475384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829282$86D676B8-AC66-439E-A42D-F79A7D1FD7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ac3f278c08c1e4a574dccacc016161bf56f67a","datavalue":{"value":{"entity-type":"item","numeric-id":2829282,"id":"Q2829282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829282$9548C535-F881-4C3C-A9CE-23CCBD1A357A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d49eb451a0aa7cf50ddefb651ea8beb466724dd","datavalue":{"value":{"entity-type":"item","numeric-id":2879271,"id":"Q2879271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829282$8C1FCBA5-48C0-4FD6-8220-F12BB5F0597F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abadec2431bcb9018790b12c6085bfcbacdaffff","datavalue":{"value":{"entity-type":"item","numeric-id":2870169,"id":"Q2870169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829282$512C49D5-5C18-4C5D-AE5F-865804146693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74d08b9a5573612ec5d367df53070b9980341df","datavalue":{"value":{"entity-type":"item","numeric-id":4897706,"id":"Q4897706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829282$15F01DF1-3B4E-4B6E-831D-D59D73E10804","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75593fc7091fd7b5f9d18544a3d3a394ace3d91","datavalue":{"value":{"entity-type":"item","numeric-id":1640640,"id":"Q1640640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee0a4a0232fb28a865488391df6c19539c7de94","datavalue":{"value":{"amount":"+0.8740797638893127","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":"Q2829282$4F701281-E594-42C7-A795-C1F3A0390E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2749cb4c58b08c7fa045dd9e814a924984f324c","datavalue":{"value":{"entity-type":"item","numeric-id":2870169,"id":"Q2870169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e48942982978f0115969ff8b9978f99bd7b03da8","datavalue":{"value":{"amount":"+0.8206617832183838","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":"Q2829282$346E9308-0B4F-4441-9027-554A8C383259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5219f3614f276d4787284bc451e2a03b9d3d290c","datavalue":{"value":{"entity-type":"item","numeric-id":1666338,"id":"Q1666338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b883559e9f95f7ee407238f0cf95a1a330ba11c1","datavalue":{"value":{"amount":"+0.807248592376709","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":"Q2829282$6760918E-8C32-4DCD-B31C-D3551A1A5AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40a358107e0aa52d0d1913166ea142904824186e","datavalue":{"value":{"entity-type":"item","numeric-id":2364690,"id":"Q2364690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c986984f8b87a4f6e5d7d0776c380904c1d7fa9d","datavalue":{"value":{"amount":"+0.798936128616333","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":"Q2829282$2BA4ADD9-BC78-4DEB-A0A7-BE67D1B2C42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ffca00c7848a047cec838a74c50514c4ed10f1","datavalue":{"value":{"entity-type":"item","numeric-id":2879271,"id":"Q2879271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a04f97418db1f68cff975c87054e91ef8a9f3e","datavalue":{"value":{"amount":"+0.7673932909965515","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":"Q2829282$0FA52E19-7658-43F1-880B-E5A4FFF62CA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2829282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2829282"}}}}}