{"entities":{"Q6165885":{"pageid":13300766,"ns":120,"title":"Item:Q6165885","lastrevid":47882971,"modified":"2026-01-02T23:38:14Z","type":"item","id":"Q6165885","labels":{"en":{"language":"en","value":"Formal verification of n-bit ALU using theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7721147"}},"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":"Q6165885$A6630A56-3196-4EBA-93C2-4451C065AC68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59a48b666f6399a1dbfcdf1ae123068b9a3fedb3","datavalue":{"value":{"text":"Formal verification of n-bit ALU using theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6165885$8CE5191F-EE11-46D8-B428-CE62F2532ED5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14f9bd373c077772e1a5b3c6d304ac167008fa78","datavalue":{"value":"1519.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165885$11BBA5F3-EBD2-42A8-BE17-8E8519E9CA28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddb653c80beb74ec2fac4e3dd639e024f5607065","datavalue":{"value":"10.1007/978-3-030-03044-5_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165885$A04CEE8F-0F0C-47FC-9576-BDE8BE725A97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165885$43565DB0-31C5-44FC-BCDF-3FD932F722CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c377ab7875b781eda1304e6f4ef79ea097f76f82","datavalue":{"value":{"time":"+2023-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6165885$0A1B07F1-60B2-4B77-A0C4-5C6C101FC7E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165885$C3384191-7974-4074-BB95-7282A84A8092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165885$4A6B375A-D353-43B5-BF6D-B5528F4F87CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165885$B3FA0209-48A6-4C08-852C-4557AB0A5280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a252ac0e16e7cd1b816dd4d8c55ab05955b53869","datavalue":{"value":"94C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165885$6A862610-3686-4905-94DD-C74DE8FCE85B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0eed625e33ac64dc61b7c7c038b1b244510f226","datavalue":{"value":"7721147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165885$BCF340BD-F4B5-4E9D-B2D4-DE043CF89A2D","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":"Q6165885$BD98FFB2-D26A-4FCF-86E5-88694A8199D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b04d8046275a7f5572412635e4e8f2e79773121","datavalue":{"value":"https://doi.org/10.1007/978-3-030-03044-5_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q6165885$D8E5BD26-E947-4459-99CC-9290222E7F57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f21ac957320fe16398eec9ced96ff3b37e558785","datavalue":{"value":"W2896476405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165885$CBC056AA-F927-4333-BFEB-556B041A057B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5abb80aae8d2531ad458e5665836a858b1ccba17","datavalue":{"value":{"entity-type":"item","numeric-id":4028158,"id":"Q4028158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"276addecb0f4e5408e519174311cc1ac0c561ae3","datavalue":{"value":{"amount":"+0.7350971102714539","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":"Q6165885$D32EFF99-FE7F-4E2B-B868-FAC824E9526A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3136c81ff0db64cbcf43b3cbed1bf1c96bf2401","datavalue":{"value":{"entity-type":"item","numeric-id":545153,"id":"Q545153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"276addecb0f4e5408e519174311cc1ac0c561ae3","datavalue":{"value":{"amount":"+0.7350971102714539","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":"Q6165885$ED930CE5-1063-4AE8-84AA-24425245F1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e649264ee8c5f77323097969c0d9813410c2c8","datavalue":{"value":{"entity-type":"item","numeric-id":2754046,"id":"Q2754046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e748410d5233dd4c99875238a6484d7800fb1d3b","datavalue":{"value":{"amount":"+0.7279260158538818","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":"Q6165885$91E3865E-A559-4CFD-B300-318443F6DC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"895f01dbe4514afaf4e58308193c557e5a7e265f","datavalue":{"value":{"entity-type":"item","numeric-id":2375439,"id":"Q2375439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14df4105fb3d457f6e9d2882f1afe0bc67b73684","datavalue":{"value":{"amount":"+0.7071431279182434","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":"Q6165885$CE08C583-90B0-47E5-931C-43C20DC3CC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71537978e6eba52208eaf0885350004f62bf6048","datavalue":{"value":{"entity-type":"item","numeric-id":4364538,"id":"Q4364538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b56a9e8d81d4ee89ff33d462d3925d4a53bf11","datavalue":{"value":{"amount":"+0.7058683633804321","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":"Q6165885$24624A53-410C-4CA1-940C-2797FE52F46F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6165885","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6165885"}}}}}