{"entities":{"Q3060705":{"pageid":3071421,"ns":120,"title":"Item:Q3060705","lastrevid":51144212,"modified":"2026-01-16T22:10:50Z","type":"item","id":"Q3060705","labels":{"en":{"language":"en","value":"Post-silicon and runtime verification for modern processors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5824830"}},"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":"Q3060705$27BE9D95-F7F4-4179-83D1-F576DE4F22D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"907c04a4f83dbcb7c1437ca2bdc02c26abe30c7e","datavalue":{"value":{"text":"Post-Silicon and Runtime Verification for Modern Processors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3060705$3EAD74B8-DAA8-4958-93DA-3BC0BB7381A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a2c7fd6ffa9bc5d49d118bcf5d11841207dd706","datavalue":{"value":"1206.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060705$464A138E-DFD3-4F0E-B5B3-5E2B5465A868","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d83c6b8e5711ead8b39e60256c6b381059f021c","datavalue":{"value":"10.1007/978-1-4419-8034-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060705$F5529A35-09C2-493F-8011-AE3518D38A2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7791b2179b81a7bdbdad35001161f11ad93c1882","datavalue":{"value":{"entity-type":"item","numeric-id":3060704,"id":"Q3060704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060705$72AF81D4-1677-4273-A0B2-319108074F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a22c00479a6b2e32b77fb311a54574353b06cb9","datavalue":{"value":{"entity-type":"item","numeric-id":951242,"id":"Q951242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060705$7FDF5B97-1D66-487D-A538-ECFA32BAADBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a589a869b89b4ac3511b266dd2e3084d1e938805","datavalue":{"value":{"time":"+2010-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3060705$84AE4B6E-BF2C-421F-A35A-8A5499FA9217","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060705$26FAB1A1-1867-4C92-A24B-4648EE34E617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060705$156CFA30-C1BC-4BBD-BACC-5F151585D672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d65091154bcdcd55b19c17aadaa169aee2e3523","datavalue":{"value":"94C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060705$AA44A076-92F2-45C2-A3FD-C3829FDFC2D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18ce307fb0a5c10ae798981d6347cda429c635aa","datavalue":{"value":"5824830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060705$C0A7DBB0-4EC4-4182-A053-9DD3CD617DF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74765be14b4f6e461eb0ae9def75f57fd6fb88c4","datavalue":{"value":"microprocessor-based computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060705$EBC8AA0D-CA56-42F9-A72D-26C691DF0D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"055d04dd96b8a95cc7b9e230719f3a13831bce8f","datavalue":{"value":"multi-core processors","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060705$A17F11C5-4FE9-48CF-82E3-A6D35C9375F4","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":"Q3060705$6601F74E-588F-471D-BE2B-A4D06A1F221A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6f5b97383b20eda9bff5b5fc15b5ebbe0ead166","datavalue":{"value":"https://doi.org/10.1007/978-1-4419-8034-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3060705$9A9AEB2A-3ADB-49AC-854A-A05DB78EDA52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc16a3cb0c3e7f9178c1bba1568ea364b991847c","datavalue":{"value":"W604137612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060705$D9384792-552F-4C6D-8FFC-9F07F707612C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ff84767d2c40fab6dd55a1ba7ccdbe86264b7ee","datavalue":{"value":{"entity-type":"item","numeric-id":3377010,"id":"Q3377010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67dd99b84b802448418c37478bfda254a7c6c46","datavalue":{"value":{"amount":"+0.7496589422225952","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":"Q3060705$A6E15840-609C-4C6A-8A5B-B2D5E09C53AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ee0161eda379d508f03734ede606fe00296992","datavalue":{"value":{"entity-type":"item","numeric-id":4610434,"id":"Q4610434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ae9c63bda5171f389088aec117c9e93a7617ac","datavalue":{"value":{"amount":"+0.7414351105690002","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":"Q3060705$41C9A64E-6146-4D76-BFC2-271BF7C5C657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb949f94fcdedae552a123c5b051611c12faf9f2","datavalue":{"value":{"entity-type":"item","numeric-id":2734777,"id":"Q2734777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"850d83bd3df8a2670c5a1742cadea23335617b48","datavalue":{"value":{"amount":"+0.7269940972328186","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":"Q3060705$C89E42AE-3EFF-4986-93AD-438E2F5C2F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9a65091655b104cde21f77a109fe6ac94011fb","datavalue":{"value":{"entity-type":"item","numeric-id":951243,"id":"Q951243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c33b6bbe1d1ded62e9fb493b03d21ac99db614","datavalue":{"value":{"amount":"+0.7240993976593018","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":"Q3060705$DA8EE6F8-1120-4DC1-A2C2-0E31614FF00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc6cf94a941e73c549de5f3f28639ca1516bdd9b","datavalue":{"value":{"entity-type":"item","numeric-id":5386252,"id":"Q5386252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad0972c322824639466789932ea3fc1ebfa54b31","datavalue":{"value":{"amount":"+0.7239872813224792","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":"Q3060705$32F60C88-7139-47AE-B828-2ABE5BE416F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3060705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3060705"}}}}}