{"entities":{"Q6536166":{"pageid":14147309,"ns":120,"title":"Item:Q6536166","lastrevid":55623361,"modified":"2026-02-17T19:54:52Z","type":"item","id":"Q6536166","labels":{"en":{"language":"en","value":"When are software verification results valid for approximate hardware?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7828016"}},"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":"Q6536166$8E17838D-1F79-40DF-8A5E-D661699BE3BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28fdeb3c037001dda40ad13668ef2ee1f7183fd2","datavalue":{"value":{"text":"When are software verification results valid for approximate hardware?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536166$03005A55-D10C-45C5-86DE-1B2A829AE32D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdd270b87c60edc0427b0247dfcf7c2c38cb84a0","datavalue":{"value":"1539.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536166$D3BD272A-3560-4496-B7A7-496F124E9525","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5e764ea9484d52efe8a6f15e3135ddd76571d4f","datavalue":{"value":"10.1007/978-3-030-31157-5_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536166$1631B5CC-A8DF-49B3-AD0F-E6745ADBF344","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d707905661b921f7564b6c0de2dc922670b16b3","datavalue":{"value":{"entity-type":"item","numeric-id":6536164,"id":"Q6536164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536166$749F12CC-87CE-4E81-8648-AE0EC62CA6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e95016b2b731a1a1f54fed9e595537b79da8aeec","datavalue":{"value":{"entity-type":"item","numeric-id":2165502,"id":"Q2165502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536166$0E8A7396-16F5-414B-A780-95D61A9FC88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8189f28f8f3cff83f874b987184daddc4597de07","datavalue":{"value":{"entity-type":"item","numeric-id":6536165,"id":"Q6536165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536166$53A69757-E43E-41CD-BCC7-9FD183A617F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ec377ce736b6c6e493e8394b5df9bdb00d5fb01","datavalue":{"value":{"entity-type":"item","numeric-id":436355,"id":"Q436355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536166$9C6FDBCA-2ADE-4435-9A7B-B5FA7391E949","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e8e2138029d873c628e2ef2b4ef309f65fdca9c","datavalue":{"value":{"time":"+2024-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536166$0F937C5F-4452-4A7C-B109-8B24BA9F48C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536166$C8175CED-788F-4A1A-A950-A3E194D420A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536166$706FFB9D-FC15-4766-9400-89A2809DBD5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4b00f55990ce22ef50ac74e07897b55bb87120e","datavalue":{"value":"7828016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536166$46EFCB78-F105-4489-8695-E9F43AB2C2ED","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":"Q6536166$B974BC0E-6ED8-4159-8F11-BF817C12366D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b817619231fc1eac76232ebf12c798a2fab388","datavalue":{"value":{"entity-type":"item","numeric-id":2828322,"id":"Q2828322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536166$90081BE2-15AF-4B9D-A791-E5F5365804D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536166$AF3EA0F2-8F5C-401D-BA53-7749F7449C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25e6fe69f84a0d8e9a69770683819391d99cca8f","datavalue":{"value":{"entity-type":"item","numeric-id":5756500,"id":"Q5756500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536166$221F20D5-096B-4B05-A67D-F0AB06AEA96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f2ed9c8e9ec8d87c0b563f02bc8b0afc25470f","datavalue":{"value":{"entity-type":"item","numeric-id":682353,"id":"Q682353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536166$FC9F2519-C0EB-4DFF-9185-0518E0884BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536166$14D25F24-6A13-49A5-BA04-AE08BD2EE1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b4246bf332d45c90c410b55aa43c4af6aee470","datavalue":{"value":{"entity-type":"item","numeric-id":5626277,"id":"Q5626277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536166$236F54CF-7B74-4DEE-81E5-E31E870BB593","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41475fabea8fa5822e48e1aefb85a51364588bee","datavalue":{"value":{"entity-type":"item","numeric-id":682353,"id":"Q682353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1807eaabf50d22b5bb091df53a011efd1195dc9b","datavalue":{"value":{"amount":"+0.8033351898193359","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":"Q6536166$6FC440D7-4A58-4E27-B3C9-D655577F845C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f0f90ca3da4b764e1449247bdddf6519464625","datavalue":{"value":{"entity-type":"item","numeric-id":1799556,"id":"Q1799556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c4cfbc025902a74efc4a6e4982707cb97b7bf6","datavalue":{"value":{"amount":"+0.6716101765632629","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":"Q6536166$095AA02C-3968-44E5-B7DB-02AF9A112ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aaf9c98ae7d0e480c2674c3ab3c7fd9a2db5e7b","datavalue":{"value":{"entity-type":"item","numeric-id":2825263,"id":"Q2825263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"233cc95f9888d50e3b6631cc08bf4048263cca79","datavalue":{"value":{"amount":"+0.6658331155776978","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":"Q6536166$0FD37DB9-2EAF-40AA-ACC2-14F3D8CD702D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b64af5bc51a5721d114e69db6572281767903165","datavalue":{"value":{"entity-type":"item","numeric-id":2942894,"id":"Q2942894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de4a841f2c477b8d06bd0bcf14fc0f6f341e5f55","datavalue":{"value":{"amount":"+0.6584407091140747","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":"Q6536166$64D0EAA2-B0F3-4C30-B7DA-C27A6E1B3599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0572e6a6621a97b4129d68ffc1980f51e645d569","datavalue":{"value":{"entity-type":"item","numeric-id":5094121,"id":"Q5094121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee972ea23e70b4dc33ac0e90219fc8afb94ad3ee","datavalue":{"value":{"amount":"+0.655297040939331","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":"Q6536166$064E3C30-14AA-4CAD-BF98-5263417BF949","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536166","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536166"}}}}}