{"entities":{"Q1640640":{"pageid":1651381,"ns":120,"title":"Item:Q1640640","lastrevid":71038818,"modified":"2026-04-13T19:04:59Z","type":"item","id":"Q1640640","labels":{"en":{"language":"en","value":"Formal analysis of continuous-time systems using Fourier transform"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6889326"}},"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":"Q1640640$C50D38BB-8BEA-4247-B5B7-719EB614BCE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"948029243447098845f22744c3bdda16032e1e09","datavalue":{"value":{"text":"Formal analysis of continuous-time systems using Fourier transform","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1640640$5FECA70B-0059-49C7-B3F0-6E49A68E0232","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc087dd4739c4b1342d87f2b8f26bb0c345079ef","datavalue":{"value":"1395.68251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640640$7652DA59-FEA7-47ED-8C9B-C260E870B99A","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":"Q1640640$9A24203B-FB5D-42D1-83A7-EDA48A39FA64","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":"Q1640640$34B1410E-63CD-4A92-B1ED-A2F5210EC451","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640640$4E34484D-76B3-4594-8186-EE6A6C712E55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b559bb800700d5ba2a45f57085de6ba33131f78","datavalue":{"value":{"time":"+2018-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1640640$3DDEC3AC-E484-40C7-AC5A-F2C24D7321F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fcfedd94159730fa88a9e45cd3712a312550735","datavalue":{"value":"https://arxiv.org/abs/1707.09941","type":"string"},"datatype":"url"},"type":"statement","id":"Q1640640$5A0D67A3-BB19-4759-9A3A-EB87540783B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640640$161D2C9A-A681-4F63-A764-F1DC0D9904F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e89248fee75ab606c05492cde830c333d84ea240","datavalue":{"value":"34A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640640$15781F70-BFE3-43E8-8231-BE0A795DC523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ece9bc63b7314d725c9be7c351612e465cf9932","datavalue":{"value":"42A38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640640$8EAF5A65-FDEE-43A9-A87E-D0D4AFF96594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640640$7D3307F3-BF09-4FA4-93FF-35C3B30A61B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87355063a172647c4e2771080c9e3edc57fd818f","datavalue":{"value":"6889326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640640$88780120-211E-4809-B2FB-E42459D44AE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e33b841a3a02a26032bf30f84ee643b2b49b1df","datavalue":{"value":"frequency response","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640640$D2094F51-761F-4070-889A-41CF0BC0D840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb40ab2963ea741e717b45b19225d049114cef85","datavalue":{"value":"continuous-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640640$93BE5661-B8CF-41E9-9322-1A8C38E5F0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640640$6D68DBC4-4F85-4C36-A36A-216C97865885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640640$61539199-9D9C-4328-A782-A607BC76C63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"672ce1797f550c4c5c7a1727f474cfdf0534789b","datavalue":{"value":"HOL-Light","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640640$B051A108-775C-4D20-AF8A-FEA7918C55BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"994d7c10a73037bc0ad3d751aaec1f75d12928c0","datavalue":{"value":"Fourier transform","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640640$55CBDB0B-7FB9-42ED-88AF-3B735364CFE7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640640$200F3E57-D738-4ED6-A958-B1DCBE81DA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99df3d19c323261cc6f51ef59d8e58bf43957bec","datavalue":{"value":{"entity-type":"item","numeric-id":54579,"id":"Q54579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640640$78C4FF1F-C06A-4363-A7E0-F8CFE4718BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640640$E087BCC1-CD16-4B68-8BE3-2E4C46CF3C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640640$541C4489-6DA0-4321-919B-8542A4E66A52","rank":"normal"},{"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":"Q1640640$CA7FF687-E0F7-4CEB-9E0F-D979C5CC03EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640640$841188DB-9AEC-4B98-A5DD-43C8F4AAB253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640640$24409C97-F949-4E09-BB4B-09B51719650E","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":"Q1640640$E12CF556-2400-4283-9DFB-8B15A68377D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0afa582a48f856c10365d56bcca8c44b507a13b","datavalue":{"value":"W2742017769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640640$463DCF66-46F0-4889-A5E0-87AD98A42395","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":"Q1640640$72E36D98-4D4A-46A1-B570-ED778972E858","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":"Q1640640$0BA538D5-AB72-4B20-A21D-A31F59FC3A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7237ffb12f9e25db6f08fc9a97900ed45e5a332","datavalue":{"value":{"entity-type":"item","numeric-id":2813263,"id":"Q2813263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640640$7ED18E9A-6F5B-4078-AF02-1AC6953B04EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4691aaf72df90fce005b56b79b724c66c0c78d38","datavalue":{"value":{"entity-type":"item","numeric-id":5449101,"id":"Q5449101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640640$543A248F-4BFF-4C2E-8007-A73BD70E1458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640640$75AF5C73-FE3E-4C05-B9F8-F1C609B3B310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ef84619234e2e46e8c4513d6d1ef3cba6f5b65","datavalue":{"value":{"entity-type":"item","numeric-id":1945903,"id":"Q1945903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640640$54B5DB2B-AF5C-46BF-A446-2C471E21122D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a150aa27f76c8fba8cfa113a4c021cf4fd84610","datavalue":{"value":{"entity-type":"item","numeric-id":3188065,"id":"Q3188065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640640$8F24FC77-E033-42A4-B029-115C3E3C0F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6b9e0cba93096ba8a037225963ed5f3922ec7c","datavalue":{"value":{"entity-type":"item","numeric-id":2965998,"id":"Q2965998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640640$E62DD00E-07B5-4439-9F78-F4B01F030F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766a111ebeb0b42bb2501047ed36561bc1dbc49b","datavalue":{"value":{"entity-type":"item","numeric-id":3856560,"id":"Q3856560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640640$B72582BC-9360-4E28-B58F-F9D10E1FE140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f2f402bb0aaa918a693e06aa64da16c2193f2","datavalue":{"value":{"entity-type":"item","numeric-id":5687569,"id":"Q5687569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640640$A952B43F-1250-4D7D-A4CB-D442053AE182","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":"Q1640640$6ACF6EC9-BF50-4503-B9FF-68A08FDD9EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9944419ddca97bb1a983c58293765864b8d9d27e","datavalue":{"value":{"entity-type":"item","numeric-id":2364690,"id":"Q2364690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640640$C4AE0D11-4871-4FC6-A5A1-65A0D61BAF8E","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":"Q1640640$BC9F825E-A3C5-4D85-87FE-8CEF1C6D7960","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":"Q1640640$EB104F1E-FAEC-4399-863A-FA2C027A83FE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"317bc7c26cd714da750c14321df75a78f41bc589","datavalue":{"value":"Q129701259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640640$35755514-D66E-4182-9662-94B447B47591","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2aae7076c96fba74ff2f8330d1ac0f63eb1d00a","datavalue":{"value":"10.1016/J.JSC.2018.04.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640640$D4A8738B-EA40-44A4-A51C-1FE4A87382C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b4c1a6cc73475e4d910067ec5b89bfb7daced5","datavalue":{"value":{"entity-type":"item","numeric-id":2829282,"id":"Q2829282"},"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":"Q1640640$23CD85AA-D717-4E49-A2CF-7BDBD214E486","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":"8271003aae75b51aaa5835dc6429c7dbdb2d21a4","datavalue":{"value":{"amount":"+0.8164432644844055","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":"Q1640640$402FEBE2-0D3D-4CCA-A473-0BFFC27D0E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad617f4867ba25c0dbef4c11fe4a2485819f46b8","datavalue":{"value":{"entity-type":"item","numeric-id":5869574,"id":"Q5869574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720348d8757512c015baa18d7ed34aa1a0cf0623","datavalue":{"value":{"amount":"+0.7822161316871643","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":"Q1640640$74E2285C-A852-436E-AB91-E55CDB388679","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":"31058e6cb8408b23510668c7d33fe0dc2a1cecc3","datavalue":{"value":{"amount":"+0.7626693844795227","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":"Q1640640$31576800-3DCE-4DAE-9E78-79F36356A866","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":"8f1accde923b2670b3daa0ed7e948e9af59ba3c5","datavalue":{"value":{"amount":"+0.738294780254364","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":"Q1640640$7CCCCE47-92F0-4A4C-A7F6-E91377C38F28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal analysis of continuous-time systems using Fourier transform","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_analysis_of_continuous-time_systems_using_Fourier_transform"}}}}}