{"entities":{"Q2327211":{"pageid":2337954,"ns":120,"title":"Item:Q2327211","lastrevid":57343398,"modified":"2026-03-30T14:02:47Z","type":"item","id":"Q2327211","labels":{"en":{"language":"en","value":"Model checking speculation-dependent security properties: abstracting and reducing processor models for sound and complete verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7116588"}},"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":"Q2327211$C55603E2-14E5-4169-9EC6-10ED01FCEC1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4026c907f284b1e7f8245c3370ec8908253fb71c","datavalue":{"value":{"text":"Model checking speculation-dependent security properties: abstracting and reducing processor models for sound and complete verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2327211$A1BCAB68-B4B2-4ED9-A0D0-D0F19151F750","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ba453704ed3d872eb3c4e12877bf750b115031","datavalue":{"value":{"entity-type":"item","numeric-id":453481,"id":"Q453481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2327211$FB293CB2-2F41-44FB-8FF5-18C7B6998C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9a9da855194c9443e52a24b7f388fb1ebb772c7","datavalue":{"value":{"entity-type":"item","numeric-id":2327209,"id":"Q2327209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2327211$B3875ECF-B9E4-4543-94BB-2069324982F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3da3ccff34411210bc7243e79067a1cca614161","datavalue":{"value":{"entity-type":"item","numeric-id":2327210,"id":"Q2327210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2327211$D93FF756-CDDF-4B13-AB8C-25ACA227945C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11c05bb91bf1988cc56a4d9fddcc880d553786ea","datavalue":{"value":{"entity-type":"item","numeric-id":888466,"id":"Q888466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2327211$29A02FCA-635E-48AE-BA35-515B714BD9AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac4edc9b7c1f9c7da7f9220a9c4be03d5c672171","datavalue":{"value":{"time":"+2019-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2327211$07D9188A-A25E-43E1-88CE-00DB19771A55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327211$6DA7C57A-F3E7-4E93-8E01-0F377CD3249C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5341a0bfa77223768da0a1a0f0bebb67983891d6","datavalue":{"value":"7116588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327211$A1B7E97B-7762-481D-91FB-0C32F1F08668","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327211$91FD7F2B-052C-439D-916B-8AB302DB4724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17f1c61bba9639bb5c6235cc911d8f3d502a214f","datavalue":{"value":"secure CPU architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327211$8A6C1EFA-2EF1-4C9A-AC8B-A2BC9A7F4071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b60797d1c8a10f0bb1e40f440a9a29b96feba4d3","datavalue":{"value":"speculative execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327211$58841126-4B79-4C49-9A92-58D4960A2494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3b08fd48be11881739096fb8c58ae11f35f99bd","datavalue":{"value":"taint propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327211$7FC6B0D2-1309-4D23-BEE7-8E36B1014A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32b3abd0a60c36362228dff551cde54f242640bb","datavalue":{"value":"abstraction and reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327211$8C06EC5F-A740-4D6F-ACEE-B0790304FC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b386b38435a7563b95f7e9ac87aad635351be9e","datavalue":{"value":"pipeline flushing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327211$CF97217B-8AD9-4BC9-87A0-419EC13037DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"753a4ef19e43e98ad0ea352274a52de9f8050b77","datavalue":{"value":"confidentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327211$9DC12152-E308-45E5-A0FD-E649D002136C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b38bb8d4731d1a09e2597453ba2bc205911d8dc","datavalue":{"value":"reorder buffer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327211$DF2B6E96-5BF8-4C9B-A7C8-DFFC306A5FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b069c9b2791c0dec729a535ca3a4009c5f1f25c","datavalue":{"value":"spectre","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327211$9AB91B48-BEBB-46FA-9B91-5CEBA86AAA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6554058bdfba4696941db4e7746859f08a46e495","datavalue":{"value":"meltdown","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327211$BD15FE4F-3151-4580-9823-7BE06500B318","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":"Q2327211$EF23288D-458D-491D-B4CC-DE2CD732745D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1feebbf25f07976c930c499fb618f177989efb23","datavalue":{"value":"https://doi.org/10.1007/978-3-030-16458-4_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q2327211$61A2BB7B-6E20-43DE-B51E-241F6A21A3E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbb676aa74a5603c4eb984f87c577733434bd142","datavalue":{"value":"W2938066316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327211$7AD4AC2E-E3CB-4CC3-B298-AC41ABD246D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f17ef0483c0e86a0eadba343780368359112fdb1","datavalue":{"value":"10.1007/978-3-030-16458-4_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327211$02EB4509-5296-48CF-BAD6-9A9DE9AF4972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P27","hash":"753d5e7ec500950218194cf6bf3c466572fb14d1","datavalue":{"value":"10.3390/ELECTRONICS8091057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327211$F18C5985-5AE2-43F8-A8E2-DB6CE6FCAEC0","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":"5fff96426027f539e3e9b5d817e977a615c9336f","datavalue":{"value":{"amount":"+0.8121109008789062","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":"Q2327211$ED2CD9A5-1984-482C-B1C0-E3483BD1D689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68239c68b28c17913bf03fc3a978f6a19cf36fef","datavalue":{"value":{"entity-type":"item","numeric-id":6488460,"id":"Q6488460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dae6b0ffe41a34b22a1231c95cdd9308a181a91","datavalue":{"value":{"amount":"+0.775955080986023","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":"Q2327211$AB7FD309-B714-4704-BA18-B2FB6F1FEA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7005346e6dc9553c0a01e6f5347a22ac9ad3df8b","datavalue":{"value":{"entity-type":"item","numeric-id":4551174,"id":"Q4551174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d5fd915fb2095a6a296a90da79bbfe2b6d44314","datavalue":{"value":{"amount":"+0.7220128774642944","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":"Q2327211$5C69AA15-D34B-4D15-9A9D-7CEACD2EAB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10e85e7181590b50a29ad123b345e2886469d86","datavalue":{"value":{"entity-type":"item","numeric-id":2754092,"id":"Q2754092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba6bb0ac019ff096674e04a5fe9ce2325116c51","datavalue":{"value":{"amount":"+0.7096552848815918","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":"Q2327211$7CEA2F80-189E-42FB-8A04-59C69E125EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6dc0f4f61c27c7e07b2b78a0d0cf99847f24fb","datavalue":{"value":{"entity-type":"item","numeric-id":5234655,"id":"Q5234655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51da9d98a657777f7fa5336a5f83bc02b9fae536","datavalue":{"value":{"amount":"+0.6978263258934021","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":"Q2327211$6D3597D7-AE8F-4800-BC51-71A30B6ABEC7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2327211$48DCD35A-6A4F-4AD8-9386-76CC3B536E4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2327211","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2327211"}}}}}