{"entities":{"Q698437":{"pageid":700286,"ns":120,"title":"Item:Q698437","lastrevid":63709758,"modified":"2026-04-11T15:01:12Z","type":"item","id":"Q698437","labels":{"en":{"language":"en","value":"Silicon debug of a powerPC microprocessor using model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1803025"}},"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":"Q698437$E091055B-B214-4BCC-846E-B5BCBAE6BCA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b743386a8d22e8b8e93890645a867d052ab9e04c","datavalue":{"value":{"text":"Silicon debug of a powerPC microprocessor using model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q698437$D044C60A-5B3E-4854-A403-7DC897F27470","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c3fc29b5d48f80f88cb31481e2357bacb3f72e9","datavalue":{"value":"0994.68534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698437$1D369910-646E-42BF-B31F-9C1EF6E3B070","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9796f33953f5f64bd2cb26814c2dfaf73d16d57","datavalue":{"value":"10.1023/A:1016044019648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698437$A246C4F3-760E-4F79-BB2E-6C420905CBEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00f38b1ca4cfdd6ea7e531d633726995645477de","datavalue":{"value":{"entity-type":"item","numeric-id":209459,"id":"Q209459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698437$172AABBB-665B-4873-B19C-540A0346267D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5d96191ce4557e4b7102a5381ae9ae2766b5220","datavalue":{"value":{"entity-type":"item","numeric-id":698436,"id":"Q698436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698437$433309DE-C72F-4DA8-9871-8E82B2196FB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698437$459D6461-3B59-4586-8B3F-3068FCE5633C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b7d40e35d39a6c5a15c7832f15c6b676b96fd9b","datavalue":{"value":{"time":"+2002-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q698437$20E44FD2-10B9-4EF1-AF20-ABB99C9537D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698437$0B7D85A8-2F88-4060-9355-FA3B8AA1F55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698437$5809F717-D81A-440A-BF0E-AA5373E5101C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66745daf6e65b98f29b10a14ecfd324292a6151c","datavalue":{"value":"1803025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698437$8E83B544-C898-4FB7-831D-CC50BD909CDF","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":"Q698437$9CFCDF72-9639-424E-808E-83A14EEE7115","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ce4f8f855eb1025c8196f62c11d1b2638f620dc","datavalue":{"value":"https://doi.org/10.1023/a:1016044019648","type":"string"},"datatype":"url"},"type":"statement","id":"Q698437$FEB0104C-C334-4BFD-87E2-88C7B0183378","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f6d4e2d14aecb0228bc2ae6cc3b3c45f348687c","datavalue":{"value":"W1599308871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698437$C9917FAA-2D22-4A2E-95D9-F25CC0F515E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313e05c25cd7a3cb4f376bdc7ab320813775ada2","datavalue":{"value":{"entity-type":"item","numeric-id":1003017,"id":"Q1003017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41eebee1e116cd4ce207cd0cfe3feb4150a9d6d","datavalue":{"value":{"amount":"+0.8346666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q698437$87AA16FD-D56B-4A29-B441-995AA4120BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afd835d959c9d5e81b573ba7de1d35c2ae965759","datavalue":{"value":{"entity-type":"item","numeric-id":4817533,"id":"Q4817533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e7f4ad0317c2d0bcdde43a6ac842dbf6914ec3a","datavalue":{"value":{"amount":"+0.8325578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q698437$68256D14-1BBB-40DE-A347-2ADE1C1E4BAC","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":"754937fd1cd4112360e8e8411f844b7387d6d45b","datavalue":{"value":{"amount":"+0.8306614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q698437$629EFF6C-60F6-4E65-A5FC-8441C321F9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e13fcff6a10749948ddeb1853ae81455a56c34d","datavalue":{"value":{"entity-type":"item","numeric-id":3060705,"id":"Q3060705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7719b616f7cd07617b47c593aaea7bd0c6778e8","datavalue":{"value":{"amount":"+0.8277746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q698437$CAC34E91-DF52-4C30-9858-7EDA1A2437CD","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":"325f51b404758ff8e3da0eb7c0ad7daa061e5eb4","datavalue":{"value":{"amount":"+0.826761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q698437$81DC6A0A-CAB8-4C2E-9C12-3650DB9E299C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb57dac5e9733bbbaad6a936013c102dabfd2939","datavalue":{"value":{"entity-type":"item","numeric-id":4419604,"id":"Q4419604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e88754a9417bf03ae9c78a97aa4f1aadea88a43c","datavalue":{"value":{"amount":"+0.8242477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q698437$0AED19A4-F1A7-4ACA-ACA4-88246EBA0CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a71c2dcb7e91bdc10f02701b7e61d7d8c3208bf","datavalue":{"value":{"entity-type":"item","numeric-id":4471717,"id":"Q4471717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a92d0b5f54ec471af3f2653d47ed1c9f39358f9","datavalue":{"value":{"amount":"+0.81838256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q698437$11659B3E-04C0-4A88-9B7F-661A8D8948C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Silicon debug of a powerPC microprocessor using model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Silicon_debug_of_a_powerPC_microprocessor_using_model_checking"}}}}}