{"entities":{"Q5966707":{"pageid":8143503,"ns":120,"title":"Item:Q5966707","lastrevid":102104615,"modified":"2026-06-06T03:29:33Z","type":"item","id":"Q5966707","labels":{"en":{"language":"en","value":"Higher Order Logic and Hardware Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 108003"}},"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":"Q5966707$22D67BA1-DFB9-4D08-975B-A759E25C6CF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e32ecc40c4d08e556b225e8876462063a3ffa654","datavalue":{"value":{"text":"Higher Order Logic and Hardware Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5966707$2B848460-C08E-4615-BD5C-55E51A5627F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bbfb2a17bed8e8e67b0751ea0b15acee5a938fc","datavalue":{"value":"0819.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966707$F0EFC77F-F883-4E52-900A-A07C7CAE06DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e8353713f707fad9fbfb289cbad28c99ef05406","datavalue":{"value":"10.1017/CBO9780511569845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966707$3392A05E-683E-4BA5-A103-79FA9C13219B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-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":"Q5966707$304CB560-5EC7-4352-9EAC-24F615A97DE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966707$4C7DF245-636B-44E2-8D30-DA57E3C059D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966707$1686C0F1-6E10-4A04-9A5F-7B300124DEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966707$4FA8D2AD-0123-4E3B-886E-9889CCC418DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966707$864359A2-3BAA-48D6-94FA-5949B85E3743","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e224dcd79ee7dc1a9e06e434de48a07518e52f06","datavalue":{"value":"108003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966707$D8436D67-F3DF-4118-A744-AB73DFDFB1E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd6f648bd1eeb66cc548d9608d64c3a3e1ea7e29","datavalue":{"value":"formal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966707$65FB338C-1DC3-416E-B277-503A4EB6DA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c374662aecb6c93236258aa5b8676678757b7158","datavalue":{"value":"digital hardware designs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966707$374FA84F-954A-445D-9218-6C522C2535FC","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":"Q5966707$F2E88D07-4EED-4FDA-BD53-CA0562573D16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ff6fb9f8f4fc799013f4972c7e751d3653ed570","datavalue":{"value":"https://doi.org/10.1017/cbo9780511569845","type":"string"},"datatype":"url"},"type":"statement","id":"Q5966707$D2F817BC-2F6B-4AEA-8065-29355056F446","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74c602b0273805de516484eb05d9587c9ed52a75","datavalue":{"value":"W1588212183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966707$5D5B5360-928A-441A-A42D-E0698A3F3B91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e7fd6258571edbb64f621179c40e25e0565e05","datavalue":{"value":{"entity-type":"item","numeric-id":3753927,"id":"Q3753927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"524f6f4b7556d9b4520fc2bc7a0d3033d08e7467","datavalue":{"value":{"amount":"+0.8603756427764893","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":"Q5966707$BB685902-10C5-4AB8-A540-A53F654C42A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe1a39d1cf757713a218f0e2aca1d8d05e81ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4261335,"id":"Q4261335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a6bfa3e95af252652e5334e26cc91704ddaa681","datavalue":{"value":{"amount":"+0.8121364712715149","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":"Q5966707$C09EC6F2-C35D-411A-BD7F-41DD33F46ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bdbdecad85a5bd4cda8188da9fb7c5fee474bce","datavalue":{"value":{"entity-type":"item","numeric-id":3753930,"id":"Q3753930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf57d5c75d516ce66411823e7331510d82df50dd","datavalue":{"value":{"amount":"+0.8121018409729004","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":"Q5966707$499A4921-A387-46D7-B121-0D438891252F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f910e5d01835760396bec66fa55d67356d2c2f48","datavalue":{"value":{"entity-type":"item","numeric-id":5310200,"id":"Q5310200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"138ac20ea01ebd7b1e01d52e87c0cab24ed0200f","datavalue":{"value":{"amount":"+0.7919387221336365","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":"Q5966707$BFD141D9-B1F3-406C-82AF-3B5F14C9AF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7963b574f5f52ab0cb7c9300710e3fcf461063","datavalue":{"value":{"entity-type":"item","numeric-id":4255534,"id":"Q4255534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3620eebedcddd018248bc7e9035bc76beba04f4d","datavalue":{"value":{"amount":"+0.7737165689468384","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":"Q5966707$A0712696-F72D-45C1-9282-387BC2F0AEA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher Order Logic and Hardware Verification (scientific article; zbMATH DE number 108003)","badges":[]}}}}}