{"entities":{"Q6567728":{"pageid":14178883,"ns":120,"title":"Item:Q6567728","lastrevid":55703731,"modified":"2026-02-17T21:20:14Z","type":"item","id":"Q6567728","labels":{"en":{"language":"en","value":"A comparison of MDG and HOL for hardware verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876675"}},"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":"Q6567728$CC946A53-44B2-4110-A041-F4B42EADD508","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5454a42e67c483ca0b96ddec80e63f6c5eaf7dbe","datavalue":{"value":{"text":"A comparison of MDG and HOL for hardware verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567728$22DF0008-510B-4022-88F1-176EBAA8B4A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"015b02fb0ab3513ca50735bcf2d83ab4ddbb807b","datavalue":{"value":"1543.68231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567728$96F3FE55-293C-4619-A5F2-859E65D5ADD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d2c11253a443ddc53e205509995096ef6b865e","datavalue":{"value":{"entity-type":"item","numeric-id":246141,"id":"Q246141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567728$DD4E817A-AC0D-4EA7-9F64-8B077203D407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ce792b25e15f1bce917858cdd415f611cd1a183","datavalue":{"value":{"entity-type":"item","numeric-id":878108,"id":"Q878108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567728$6D83048B-0C9A-48ED-826F-5B37CC359D41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-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":"Q6567728$4031B793-D77D-4352-A669-BD4D206971C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567728$715D2066-9878-4C2F-9F9F-D9F4BE2CE0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567728$B2A53C9D-ED6B-4B1F-94E4-C7D5F1A47660","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e593dafcb59ef73e5902abd03bfe4820a0c01bcb","datavalue":{"value":"7876675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567728$0EB3C11F-E2D9-4D68-BDBF-ABE48F66AED1","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":"Q6567728$6C32DDB4-A92C-4747-A62F-BEE9C4ECB675","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567728$05049C87-A21B-4F5E-BBE6-9F44F273F732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567728$51A2F118-DE6A-4984-98F8-D56AE7CDCEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567728$8C2B91CA-2FAB-4FAB-8A95-36124C3AD4C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ea3fc1c110d0fa8e93cc5f1be31b8d2d7700081","datavalue":{"value":"10.1007/BFB0105419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567728$93A843E6-B576-47EC-8E52-8D07910EB292","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065838285f7852fa1010916b457890c2f6443519","datavalue":{"value":{"entity-type":"item","numeric-id":4948730,"id":"Q4948730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb17204cb264b2d9d78163b96d1a49f86579785b","datavalue":{"value":{"amount":"+0.9435850977897644","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":"Q6567728$BC2F54AB-9083-4B2B-A463-481195DDFA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320e0547a7166f4c65aa0b6d27f89f2e62a27a87","datavalue":{"value":{"entity-type":"item","numeric-id":4787234,"id":"Q4787234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d82a981675b981a670156f42ff0e30723a0f02c","datavalue":{"value":{"amount":"+0.8128038644790649","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":"Q6567728$649D6360-1310-4E9D-93F0-BC9EFC0ABC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17e3e198a4ef89de9179a0ee5e1c419fc918da2","datavalue":{"value":{"entity-type":"item","numeric-id":4945213,"id":"Q4945213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16707db43cf62bc190920383ba33427976ca15a","datavalue":{"value":{"amount":"+0.7944609522819519","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":"Q6567728$7E70AD5F-9184-41EC-B80E-1691C788800A","rank":"normal"},{"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":"9c6fec520ea127affa6270869d7b8dd2e9b66fbf","datavalue":{"value":{"amount":"+0.7670291662216187","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":"Q6567728$8707AF8A-55A3-4644-A0F2-C0630197929B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa4b589224a32084bf323fd2c2de3b31d0edd9e","datavalue":{"value":{"entity-type":"item","numeric-id":5394196,"id":"Q5394196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d451d515d56bae3e355c8f103ef9f81b251427f","datavalue":{"value":{"amount":"+0.7575746774673462","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":"Q6567728$C7C97F7B-9823-41CD-8D26-B1CF8A7D7D32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6567728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6567728"}}}}}