{"entities":{"Q1798952":{"pageid":1809694,"ns":120,"title":"Item:Q1798952","lastrevid":73871121,"modified":"2026-04-14T17:34:03Z","type":"item","id":"Q1798952","labels":{"en":{"language":"en","value":"A Coq formalization of digital filters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6957960"}},"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":"Q1798952$FBD8326B-C016-44A1-963F-4E2D1CD6AA6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51d5a66fd39be58a925c7c435af65f4668f48a8a","datavalue":{"value":{"text":"A Coq formalization of digital filters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1798952$ED03B697-2D33-4BF0-9C48-8F29F64CFF68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b7fa043aeed3c94afbd8226e233bc3d7d3e2a1e","datavalue":{"value":"1417.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798952$373ADA4F-2EEB-4A19-886D-5BF2B971F159","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59d1341cd595014be31c63685e568ac295c184e2","datavalue":{"value":"10.1007/978-3-319-96812-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798952$3774621F-AC40-477A-9E61-D0EAD647D4C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e18081ffddab43f16a542043a4a25d11ea5bcc09","datavalue":{"value":{"entity-type":"item","numeric-id":1798950,"id":"Q1798950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798952$BEA4D958-6EE4-4A5D-A235-50151FC68529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55cfbbbb889685c16294bfa3437f02f1746fc983","datavalue":{"value":{"entity-type":"item","numeric-id":352947,"id":"Q352947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798952$E8FEC30D-A900-441B-AD43-BED70668A927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe4d75dd84127ffc4b43f3c2ec5293dbb54b16f2","datavalue":{"value":{"entity-type":"item","numeric-id":1798951,"id":"Q1798951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798952$4AFDF07A-7784-4B17-A63A-E38D67AAA00A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-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":"Q1798952$067B7479-B475-4820-8497-B6943D66A929","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cdc816e58d75984d97daf3e91a9ba1145a776ac","datavalue":{"value":"https://hal.inria.fr/hal-01728828v2/file/CICM18.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1798952$4A419FE2-E6AE-4973-B699-6234F65E080C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798952$77375F28-F20C-416F-83F6-1A633D289AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19887720c9f9a189dd61bc85aa051ea9f0a2325d","datavalue":{"value":"93E11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798952$561C6BBB-E699-4E58-8947-8E50BE27516F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4db3fc3244f368e49336c7e23443d11b7d69297d","datavalue":{"value":"94A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798952$BC100573-FEF9-4437-9E63-BD88900F2C7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea1aa549c16febd40bf4ded3054d0de9041f170e","datavalue":{"value":"6957960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798952$1F190927-AE1A-4899-AE19-2853DB500C5E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798952$A6412B3D-2D10-4087-A0C2-C643D4CF2024","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":"Q1798952$3CA7B1D0-7582-462E-9838-02C86F7E845E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e3dbb2d8b0c193caa7ad1b27dee796e0d8bd327","datavalue":{"value":"W2883740135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798952$B86FCC1F-4FB9-4EF2-8CC3-89F423F31A4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b2daabba941c7824de91c4b64683331af7f96d7","datavalue":{"value":{"entity-type":"item","numeric-id":5464641,"id":"Q5464641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f499834ee5ab91567e15a1cbe7dcefa73ea9e5b2","datavalue":{"value":{"amount":"+0.8206579685211182","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":"Q1798952$DDA1FC9C-F512-4422-ACDB-BF09383F6861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79685184f76daa6c6b8d163d61f4860ba1673bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2475434,"id":"Q2475434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6735cfa940a68d14b88d71273ca05653bd63c0e2","datavalue":{"value":{"amount":"+0.807953417301178","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":"Q1798952$C9595E77-186C-4768-84C0-710A769F622C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433c0e62ea84f3067ecb2d49d492bb55a692a627","datavalue":{"value":{"entity-type":"item","numeric-id":5308687,"id":"Q5308687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee2382671b8a58fafd51b44467b6b3284b1fc8e","datavalue":{"value":{"amount":"+0.7548828125","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":"Q1798952$A72241EF-F4D3-460F-AB43-B6756FBF0B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcd8f9f81ceccf2df96c8d0857a2f3254d1fca19","datavalue":{"value":{"entity-type":"item","numeric-id":5716559,"id":"Q5716559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e978dd09743b13d177985348786f8e1709ba5161","datavalue":{"value":{"amount":"+0.7524348497390747","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":"Q1798952$FA542B4C-EAC0-4D59-B54E-8B672EEED47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336c6f97641cb2d2e009f9bf65aff12dddd4cf9c","datavalue":{"value":{"entity-type":"item","numeric-id":2894264,"id":"Q2894264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e614b073bf1ced6ab02630a064ba8324eeee858","datavalue":{"value":{"amount":"+0.7211528420448303","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":"Q1798952$033DB545-822D-4730-9D05-C519407258FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Coq formalization of digital filters","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Coq_formalization_of_digital_filters"}}}}}