{"entities":{"Q2894264":{"pageid":2904989,"ns":120,"title":"Item:Q2894264","lastrevid":84900407,"modified":"2026-06-03T05:06:08Z","type":"item","id":"Q2894264","labels":{"en":{"language":"en","value":"A bit too precise? Bounded verification of quantized digital filters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051076"}},"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":"Q2894264$7296AF87-8693-4E12-AF5A-793C48D4897E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9525918470899a3fe2fc15a1614ab3d2ff97bfa3","datavalue":{"value":{"text":"A Bit Too Precise? Bounded Verification of Quantized Digital Filters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894264$5199AFCD-20C7-4647-9024-EC06F5F2F36B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf4bf4b0487b84b1aefd9660d3e9afa6f083b21e","datavalue":{"value":"1352.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894264$63995250-1AE6-4FAD-973A-F55A22B9D909","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ec0467231239e54dccab9f88a6f88d4b27d0b24","datavalue":{"value":"10.1007/978-3-642-28756-5_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894264$21D02E67-D8CF-4445-AB77-CC413B7A9536","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79f8bc2fe1e487ee054379ba22f153808c7ebcc3","datavalue":{"value":{"entity-type":"item","numeric-id":2894262,"id":"Q2894262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894264$27BB2D80-2747-4ECE-8015-4B0D447489AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d916c113e94bbfbdfe223618580740bb723d1be","datavalue":{"value":{"entity-type":"item","numeric-id":812049,"id":"Q812049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894264$505C6185-4531-4813-BEBA-CA54B1DE511A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec4bc11f85fec3cd8651169b233d6ebf4d4c0600","datavalue":{"value":{"entity-type":"item","numeric-id":2145337,"id":"Q2145337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894264$3096B16D-A67F-46E8-97ED-B293E67DF8CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894264$2FE69A91-6559-43B8-ABEA-CA424D287E5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894264$11860390-0225-464C-9E5E-9191A92FE44A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894264$4A70D966-91FF-44E5-BEA7-DD641B945A4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"302a33dc63b9c13def720f6440beee1a6cf2e4fb","datavalue":{"value":"6051076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894264$59A5845D-42A4-4378-844D-D1709AE9C74F","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":"Q2894264$2F7C0B59-0980-4438-A688-60425994AC4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"154063bacb31f2f9ccba7ca94befd4c06b8fac9d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28756-5_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894264$7461931D-A7B5-47F1-B3F2-7266F08BF28A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e10b5592ecb920f90ee489cc1b53d4497dbdea6","datavalue":{"value":"W2116990643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894264$7654F8A1-A0ED-412D-8B9E-C3B42A0A0987","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":"fd0e94619e93859fb1a354632d850e6de3b868f3","datavalue":{"value":{"amount":"+0.7551620006561279","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":"Q2894264$959271A4-6194-42F3-A95F-67390EE62C9C","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":"2479eeb6646a3adac02e5a6bd0cd0f1053168875","datavalue":{"value":{"amount":"+0.746873140335083","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":"Q2894264$E8049D33-E291-43B1-ACFB-0D871C0223B5","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":"3fb005e699e3f915524cdb12c1300afe04a52d20","datavalue":{"value":{"amount":"+0.7373483777046204","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":"Q2894264$C4449C4E-AD13-4832-9966-2BA05133D9A4","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":"428d293c38d7405a6dc87b5d17791e0f9dc39d47","datavalue":{"value":{"amount":"+0.727851390838623","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":"Q2894264$3B481133-8FA9-4AD1-B054-CB6A65319C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a4248400d77abd1fdd92641e889bc0d07ce0673","datavalue":{"value":{"entity-type":"item","numeric-id":1798952,"id":"Q1798952"},"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":"Q2894264$475106A2-57A2-4781-B40A-1B72E785D405","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A bit too precise? Bounded verification of quantized digital filters","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_bit_too_precise%3F_Bounded_verification_of_quantized_digital_filters"}}}}}