{"entities":{"Q5900689":{"pageid":8006911,"ns":120,"title":"Item:Q5900689","lastrevid":93572612,"modified":"2026-06-05T04:37:48Z","type":"item","id":"Q5900689","labels":{"en":{"language":"en","value":"Deductive verification of advanced out-of-order microprocessors."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695377"}},"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":"Q5900689$8217D9EE-D246-47E5-947A-BB1A6445B9D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bd069b212797cd1b716ecedbde3c2b856d1f40","datavalue":{"value":{"text":"Computer Aided Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900689$09CE2D5E-73A2-4107-B20F-0EA8F1AE8E47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2557c8442560ae0a563b4c111524077684e9e23","datavalue":{"value":"1278.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900689$BF72BCF0-5A74-4262-AB40-DD5A5C171CB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fc9efcacb156ebe441d1f18c88b7586f817c0e0","datavalue":{"value":{"entity-type":"item","numeric-id":682352,"id":"Q682352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900689$51C887CC-D437-480D-8D37-6FE10822D3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c27d3e0e0b5520ffb8ac40111c3ffad759a39f","datavalue":{"value":{"entity-type":"item","numeric-id":1426129,"id":"Q1426129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900689$FAD4CEE9-25A0-4977-A5B9-C2873EF19785","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900689$3CF03DEC-9491-4D5F-BA8C-09214C2ED625","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900689$2A32FEA4-8065-410E-9A76-319860378B1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900689$52D77000-1196-4C22-B9D0-F60252D8ECDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900689$DB7451C1-695D-4E31-82A8-C7A69AEB214C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3d5c4aded61ec245d01fb2df988405a84584bbc","datavalue":{"value":"5695377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900689$321416D2-7443-45B8-9EE8-D93CA55D3F3C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900689$1C3BA7F1-1A70-46E3-B646-517606947B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900689$E218262D-1175-4387-ACFE-BB6EB14E1E6D","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":"Q5900689$4C321DF1-C4CD-4D66-8DDB-D4C4EFE56EE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"050caeb9facfc2b37142c301b40d1dfd9dbf1be9","datavalue":{"value":"https://doi.org/10.1007/b11831","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900689$2064E69E-2F6D-440D-95A6-4B21AC488F0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9b9df0d9ff4e5d8e3d66da51426dae32b7ea5b","datavalue":{"value":"W1571340194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900689$FAE373B0-3D8E-40F0-A688-46E8ABE8E8A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc3be280ea47ce2c61f3b7e2b376b1d1ce60a5c","datavalue":{"value":"10.1007/B11831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900689$904BD34B-70FC-4227-9715-A01057BA0075","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7b486dfb9ff89724e74e5b26cd78fdf6025b67","datavalue":{"value":{"entity-type":"item","numeric-id":4427901,"id":"Q4427901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff8d7f25b5df688a5ae5bf1b467e0c463623ee28","datavalue":{"value":{"amount":"+0.8514326810836792","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":"Q5900689$6C2C91A9-CC33-4E1F-A56A-AB5FC85BE26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f29b967bec3ee709c6e6d2a77870db90784440","datavalue":{"value":{"entity-type":"item","numeric-id":5312918,"id":"Q5312918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80729a9434711005665294f50244da6e01472ed4","datavalue":{"value":{"amount":"+0.8320227861404419","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":"Q5900689$24880BB3-5E84-431A-A1AF-482874531C7D","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":"1baa9b5bd5f5283e9958227b6ef244e4d137e173","datavalue":{"value":{"amount":"+0.7948744893074036","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":"Q5900689$DE49925D-D249-4103-AAA0-6E0BA26ED707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37fbafcccaf439e1f7cb33ef651e7a286c92fdd6","datavalue":{"value":{"entity-type":"item","numeric-id":1604722,"id":"Q1604722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3133c191618e8c40dd448cb8225230bd368d3d05","datavalue":{"value":{"amount":"+0.7935404777526855","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":"Q5900689$3F6B89BF-ADC7-4206-964A-9C8EBED45AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9188802db0ca6e5855031ba620da0bd0ddef4c2d","datavalue":{"value":{"entity-type":"item","numeric-id":1604724,"id":"Q1604724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8631a73348453681624d1b8342e244d1f149e3e2","datavalue":{"value":{"amount":"+0.7923108339309692","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":"Q5900689$41CE4212-6B17-48E5-9428-65C26B154D04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deductive verification of advanced out-of-order microprocessors.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deductive_verification_of_advanced_out-of-order_microprocessors."}}}}}