{"entities":{"Q3184629":{"pageid":3195337,"ns":120,"title":"Item:Q3184629","lastrevid":45627049,"modified":"2025-12-11T14:30:43Z","type":"item","id":"Q3184629","labels":{"en":{"language":"en","value":"Higher Order Logic and Hardware Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5619282"}},"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":"Q3184629$ECF1DA4F-B15D-4050-A50C-93CAF26FEE58","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":"Q3184629$4AA48560-4B54-47A4-B854-BA45D94C3884","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"baed0678f0b70bcb3c206470a1df81e71bcd981e","datavalue":{"value":"1183.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184629$9B454E58-A30E-46D2-BAAE-899B903351CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e8353713f707fad9fbfb289cbad28c99ef05406","datavalue":{"value":"10.1017/CBO9780511569845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184629$79539721-108E-44CF-AB00-B7FAEF685957","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"237d87c04fa3d73f3e981bbff1f8797019aa6e79","datavalue":{"value":{"entity-type":"item","numeric-id":1309242,"id":"Q1309242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184629$1FA08F1C-7E85-4DFB-B692-62B92685C1E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c2de73c647c0262c334db84c7701bb7132e3320","datavalue":{"value":{"time":"+2009-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3184629$70F648BC-977B-41E1-B637-0DA2EBB1D12E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184629$02EF838F-8DBE-4C86-A1C4-03D2EB4866CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184629$5ABB310A-F92A-4AE0-89D9-81DC622F93F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184629$EC7548C9-2112-4086-9448-60100136D2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184629$703C344A-BD0B-4478-8C7E-E62A002A2662","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5be582600712e7801930bf68760dc9b82d421f66","datavalue":{"value":"5619282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184629$1D593373-933B-490C-A250-9B8A44BCA0AD","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":"Q3184629$024DCD65-D151-48BF-8402-E099C0164880","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":"Q3184629$94192D7D-E4DC-48A8-AD34-49AC31C7694C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74c602b0273805de516484eb05d9587c9ed52a75","datavalue":{"value":"W1588212183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184629$BE5BAA50-07E4-476A-90EF-3F0B36B0AF1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3184629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3184629"}}}}}