{"entities":{"Q6488460":{"pageid":14067229,"ns":120,"title":"Item:Q6488460","lastrevid":99604583,"modified":"2026-06-05T20:21:40Z","type":"item","id":"Q6488460","labels":{"en":{"language":"en","value":"Verifying Secure Speculation in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7676975"}},"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":"Q6488460$87C1A95E-EE50-4522-932F-F8ECE127CC64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8469021f4e07d2e49299792589303cfcb79c59c2","datavalue":{"value":{"text":"Verifying Secure Speculation in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488460$2CD92FEF-E0F5-4F4D-BF9A-785DE1941902","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d7114fa7822f51abfbf94bca5f2abe78e6c53ce","datavalue":{"value":"1521.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488460$4F461630-62A1-49F1-8561-54F67468E1E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1003dec8439355f317b5375eac17b9a8a5b10b3","datavalue":{"value":"10.1007/978-3-030-90870-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488460$03270D77-F85E-409E-B93D-1F748434FD55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5b77c077b27710bde6a4250004503f33796637e","datavalue":{"value":{"entity-type":"item","numeric-id":6488459,"id":"Q6488459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488460$5DC1B280-C14F-4917-B604-8328B5DC11DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c694df1fbeaa11f2d143be3a0f488131a3d130","datavalue":{"value":{"entity-type":"item","numeric-id":736792,"id":"Q736792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488460$F51C7056-69E1-4D41-BCF4-202EE9469077","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"260332f705ad2e0d1275bea375e8ebc598a68071","datavalue":{"value":{"time":"+2023-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488460$C4A9E88B-2E3F-4089-8630-C81438F020D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488460$437A0F51-F17D-4770-80C2-FBF9FAB2C640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488460$DC0C46A1-7622-4A9F-8A38-BDCACE6F534F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488460$589F1653-CE91-474E-B01E-05C1C0FE111E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488460$8F37708C-420F-41FA-BC3F-B758F9571CF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2220b547bd7d6f36900f84143b0c7c63400ecd82","datavalue":{"value":"7676975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488460$C3735B44-7960-440A-B136-0F822ACB3C04","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":"Q6488460$FC43F6CF-AEE2-442B-AF8F-AE561EC9D1D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f22b923ec722182761ea77b6f25a325569b672","datavalue":{"value":{"entity-type":"item","numeric-id":3297608,"id":"Q3297608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecf1260df0b6379b6c03cff615e59d193124d8ff","datavalue":{"value":{"amount":"+0.8132289052009583","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":"Q6488460$4F3E802D-C08B-44E2-B00F-983348D65FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb1534338bec2dbf2f7426391ec55ea713f49435","datavalue":{"value":{"entity-type":"item","numeric-id":3558222,"id":"Q3558222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba4ff0a670000a98be8fb858043db885c6f865d4","datavalue":{"value":{"amount":"+0.7020052671432495","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":"Q6488460$30FF0C16-7982-4285-8930-16AE5F950F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e275c1a99869a76ee490b3efdd8e3243321e8c2","datavalue":{"value":{"entity-type":"item","numeric-id":2968409,"id":"Q2968409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912ee6e22364d94594718caa2b22b071ce40adf6","datavalue":{"value":{"amount":"+0.6805458664894104","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":"Q6488460$60030E78-3827-45D8-9D95-2BA2ABD16DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da653e33b0257e9e75ac5dc322657f1e8a134075","datavalue":{"value":{"entity-type":"item","numeric-id":5915713,"id":"Q5915713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73c31dab0880f9b1f7a3f306a74525cf9e1b9635","datavalue":{"value":{"amount":"+0.6730543375015259","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":"Q6488460$7F06A632-8209-427A-9BAC-778F96AD487A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da105d38dbf3179405b678743a158443e1e5fffc","datavalue":{"value":{"entity-type":"item","numeric-id":6039399,"id":"Q6039399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"136d88c054277177fd3519aa31581384996f8133","datavalue":{"value":{"amount":"+0.6672228574752808","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":"Q6488460$B71F4B44-267F-400F-AB10-CE011B7C9694","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying Secure Speculation in Isabelle/HOL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_Secure_Speculation_in_Isabelle/HOL"}}}}}