{"entities":{"Q1039855":{"pageid":1041703,"ns":120,"title":"Item:Q1039855","lastrevid":66010737,"modified":"2026-04-12T06:55:43Z","type":"item","id":"Q1039855","labels":{"en":{"language":"en","value":"Word level bitwidth reduction for unbounded hardware model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5637105"}},"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":"Q1039855$86573E72-ED18-4AC1-B84A-1B50236CAB44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1966ff38e07dab1ea9c1950dd60e15cc4d38e4d7","datavalue":{"value":{"text":"Word level bitwidth reduction for unbounded hardware model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1039855$FB8A4A50-4678-433B-934B-5CE9FE226B05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfb9e834e9a9099c8eb86f6f556460a3693193a4","datavalue":{"value":"1186.68279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1039855$C714E5BB-B697-45B2-B1ED-3763C1F25EAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f248fe21377e45424ca718e5d0fe750e76a31a53","datavalue":{"value":{"entity-type":"item","numeric-id":1039854,"id":"Q1039854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039855$A5FFAE59-9434-472D-A070-C87C803157D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039855$CC58F433-BEA6-4C00-9DC8-5773899A4B77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"207cc819f2c1c2e9f32725ea6312fe2f99e880f4","datavalue":{"value":{"time":"+2009-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1039855$F32B8D33-E29C-44B2-B179-585218BC9997","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1039855$4176542F-E740-417C-89F2-CECCBBA93B72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6d5e1575c96de53b5d0ea7a971aae5afaa36fd4","datavalue":{"value":"5637105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1039855$390E6DA0-30EE-41C0-8626-CE66B171749A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9bba643ed23fff0a0e535f03269bd8f4213c7af","datavalue":{"value":"word level","type":"string"},"datatype":"string"},"type":"statement","id":"Q1039855$E88A0FB4-3FB8-4888-8884-EFB30B8AF6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1039855$ED3E2D4D-6427-4728-A755-2592A8D28195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1039855$338B7AC3-8540-4B7D-9BFA-6B62CD2425C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1039855$2B562069-BF45-46C9-86A0-F3344CB30C38","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":"Q1039855$AA9EEF27-E761-45BF-965B-337BCEC73278","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecef33a78ba997d7c0bece4a60fa93d467e0f3a4","datavalue":{"value":"https://doi.org/10.1007/s10703-009-0080-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1039855$A76197CA-F706-415B-9022-EB2AEFEEC65A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7eba95ed48cf0307654411838c8d689fdf2bda8f","datavalue":{"value":"W2084006066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1039855$97BC1B1F-2EA5-4CEC-BC5D-7A3ADE7071AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92f2e6d61a72eb2d875bca523a675f537b56f596","datavalue":{"value":{"entity-type":"item","numeric-id":3512509,"id":"Q3512509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039855$528178B6-B7BC-4EB8-9940-5A73B4C53EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cc71ec79ab682a2437b8f7373d5a54c44417af","datavalue":{"value":{"entity-type":"item","numeric-id":4818814,"id":"Q4818814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039855$FE82C483-14A5-49F4-A17D-54CE060F9F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e242557b370e70ca22794bd752775ec0bac8856","datavalue":{"value":{"entity-type":"item","numeric-id":4804887,"id":"Q4804887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039855$5B333664-A798-445B-9679-DF55DE8EE8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f8f0b4240ad43b4400a2b1a7057f13444b1e8a","datavalue":{"value":{"entity-type":"item","numeric-id":5337563,"id":"Q5337563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039855$1AA3D6A2-BFDF-4E7D-B9D1-43A699FA5CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac267cefe4c0b3f2d90f4b0252d3226cf35ab665","datavalue":{"value":{"entity-type":"item","numeric-id":1854568,"id":"Q1854568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039855$8A11F07E-F387-40E8-880B-9A432C677A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2b96ba80c9e676392a6a413009a4c1ce1ed72b","datavalue":{"value":{"entity-type":"item","numeric-id":4028906,"id":"Q4028906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039855$6A85E863-90EF-43FE-8349-2AB8F5C6B1F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6027776d592497c35b0d06917f7463bd52e317d","datavalue":{"value":"10.1007/S10703-009-0080-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1039855$D063E36C-BABB-4C16-9B9C-F2A971F77391","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6732d6e9db663678f6a92a9419b533fbcb160d6","datavalue":{"value":{"entity-type":"item","numeric-id":2487686,"id":"Q2487686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db02bf85f49ed2bca36827d2f449d9f983aac867","datavalue":{"value":{"amount":"+0.8610487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1039855$9E12D138-A262-4BCB-BCFA-753F11C29012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a28ca9dd2838c85244493d2c07321543dfb9154","datavalue":{"value":{"entity-type":"item","numeric-id":2848428,"id":"Q2848428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c39d8238e7b2a93cc680a1aadc873df37dfe19","datavalue":{"value":{"amount":"+0.8583674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1039855$24D2A947-1616-423A-A2FE-DDD5EC6B65C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb0b45420a782cfca10d5db6664d68f476b4d41","datavalue":{"value":{"entity-type":"item","numeric-id":1856178,"id":"Q1856178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80ff49f7f3422f1613440360420dcbd11f2dd131","datavalue":{"value":{"amount":"+0.8497026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1039855$25DA51AE-C157-48E1-95AF-632120B51D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533d53b8080895181d0e7a9c933d60043917d517","datavalue":{"value":{"entity-type":"item","numeric-id":3528929,"id":"Q3528929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c40a30daf4eef6aa1933f4f60ceafaddf9ed1a","datavalue":{"value":{"amount":"+0.84744674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1039855$E765A52B-9D2F-4160-B0D3-625FE2610F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3beb1747c92faad7d395ac335eb5397a4cac09f2","datavalue":{"value":{"entity-type":"item","numeric-id":832275,"id":"Q832275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46fe86bffa3b72692086836316bc6505c7fd996a","datavalue":{"value":{"amount":"+0.8411808","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1039855$92400D8B-EA2D-4AC0-B90D-54AECA305308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0530bea71112c476c23c796e4d2638b586ea42fe","datavalue":{"value":{"entity-type":"item","numeric-id":1566919,"id":"Q1566919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e1e6aa1161250bf33bb3e0f49c1ba225f90e2e","datavalue":{"value":{"amount":"+0.83560705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1039855$4F1945D2-1AF9-4BBB-95C9-AAD1CD2B2FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a81d847c43a3acb573cb83b0d90f05438be3db","datavalue":{"value":{"entity-type":"item","numeric-id":5738912,"id":"Q5738912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c1b6bede2e3c9f8b21d593213d183fe8737a1db","datavalue":{"value":{"amount":"+0.8344865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1039855$6452CAC5-1507-4F74-9E7D-96F0AD7651E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2eb46dc1dea01a67dac4eea1792a9ea978ee08","datavalue":{"value":{"entity-type":"item","numeric-id":2661364,"id":"Q2661364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f323a6fb336f784d7a7c42349489da14e0972ff6","datavalue":{"value":{"amount":"+0.8343534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1039855$618954E8-05C6-405F-9118-479266D311A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Word level bitwidth reduction for unbounded hardware model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Word_level_bitwidth_reduction_for_unbounded_hardware_model_checking"}}}}}