{"entities":{"Q3512437":{"pageid":5542341,"ns":120,"title":"Item:Q3512437","lastrevid":50405648,"modified":"2026-01-13T23:51:01Z","type":"item","id":"Q3512437","labels":{"en":{"language":"en","value":"Fifteen Years of Formal Property Verification in Intel"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301047"}},"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":"Q3512437$74CB2BEB-6FDF-4134-8617-3C5A5698C6A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b6758fe414733839be8295e39dc359e4395e8f6","datavalue":{"value":{"text":"Fifteen Years of Formal Property Verification in Intel","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512437$A2518315-8C25-431C-B15E-A94AE956428A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7585d5dd15c8c04e03d23486db7c8de1dd315ecc","datavalue":{"value":"1142.68433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512437$100063A8-2482-420D-9A81-05E459FBECBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ae5d1c8e3d034446789ed4696cf73cbc26847d0","datavalue":{"value":"10.1007/978-3-540-69850-0_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512437$9BBB4255-9E10-4ABD-AD10-D67B294759DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d92818e59c1c1e061569f357623fe5f5b2fd830","datavalue":{"value":{"entity-type":"item","numeric-id":1274451,"id":"Q1274451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512437$F6F4E6B2-4717-4DCB-9363-D618F959B0F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"956b4a1d122f6c82a284819a7860d6861ed89000","datavalue":{"value":{"entity-type":"item","numeric-id":3512429,"id":"Q3512429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512437$3E8536D4-91BA-49DE-BE46-3AA3B5241AC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe6d7edb29c3b9253535d2fc716f213464cdfbcd","datavalue":{"value":{"time":"+2008-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3512437$06FF2DE8-EA6F-4395-8586-1543962019BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512437$AD218BC6-EED9-4505-A480-534C54BE3D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512437$1879096E-6B23-4ED1-8CA3-A8FECA474FF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef1984b3d2a6da78415d8ec0818f9e568e8e57fc","datavalue":{"value":"5301047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512437$A60F32E9-5CEB-4CE0-9B40-219C8C315753","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512437$B96F5E5D-444B-4385-9C45-B4E30AC11F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512437$EC92D101-F801-4C40-8EA8-081D4F166676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58a37f5623cc03388a2dc425992bf526ec18692b","datavalue":{"value":"formal property verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512437$79169091-8DBF-42A1-88A5-D0DA90794528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac52900f9c775a1c2e9b77521a060cf4681ca7f4","datavalue":{"value":"hardware verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512437$6ED885A8-9558-4564-B3BF-6CD64656CE5E","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":"Q3512437$27024914-3EE1-45A4-9635-1C179E02C45F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"355660218e240415eee0ec76e18675119a31acbd","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69850-0_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512437$9A369575-389A-4B24-9D3E-F6A4F41C25B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fac36548023447ed21af4f14dc576edddbd94b7a","datavalue":{"value":"W1714370737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512437$A82CB5A6-C644-4A6B-ADBB-622CAA8039D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83ccc5d6f6a410b705419c029b176f35e23f0ca0","datavalue":{"value":{"entity-type":"item","numeric-id":4531750,"id":"Q4531750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dde9e859cabb45dc4945302923cde1e0a03af061","datavalue":{"value":{"amount":"+0.8280981183052063","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":"Q3512437$CEBDC39E-1F15-49F5-B56B-5D00DA0EF2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c756754a2e30b0b805c2b179c37ad7ee342b3d9","datavalue":{"value":{"entity-type":"item","numeric-id":1870213,"id":"Q1870213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e28d5f2e316e3e766d09629909235de7c56330c2","datavalue":{"value":{"amount":"+0.8173988461494446","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":"Q3512437$CBBDB51A-CFBE-4B7E-B8FD-FF833664F858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb0b45420a782cfca10d5db6664d68f476b4d41","datavalue":{"value":{"entity-type":"item","numeric-id":1856178,"id":"Q1856178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b90dd4d9a7b2ac194f4606c69e6f5d0a1a7cab54","datavalue":{"value":{"amount":"+0.8132438063621521","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":"Q3512437$F02358C1-A0EA-4445-8B1C-7088D07B8859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb43334ac7746281204b8e0cbcfbfca6907ac941","datavalue":{"value":{"entity-type":"item","numeric-id":5493260,"id":"Q5493260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70fed770b4422b38deab14ccb3b617b8c7922fa8","datavalue":{"value":{"amount":"+0.7945172786712646","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":"Q3512437$1EE9EA0D-2544-4008-BD1F-3B05957A8DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a361897a83fbcb8ac7951dffc524d62a5491ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4494387,"id":"Q4494387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d7f09303a4d474b7795ac1c3402df37be21772e","datavalue":{"value":{"amount":"+0.7930905222892761","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":"Q3512437$91F976B6-FA7F-4A19-8373-5BCB219091B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3512437","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3512437"}}}}}