{"entities":{"Q1606090":{"pageid":1616830,"ns":120,"title":"Item:Q1606090","lastrevid":72311910,"modified":"2026-04-14T04:03:14Z","type":"item","id":"Q1606090","labels":{"en":{"language":"en","value":"Special issue: Microprocessor verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1773538"}},"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":"Q1606090$362AA57D-BEF8-43B5-8CCA-BB083FAA23DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c6988c815f09ec2804e427e0f65fcac91a1cfde","datavalue":{"value":{"text":"Special issue: Microprocessor verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1606090$BD3B14AB-0FBE-4A85-8468-44BBE74DB05E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"833589be9771322f4b9636f49ffd728275c27072","datavalue":{"value":"0990.00030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606090$74C85150-AA97-45C7-B9B4-50E3A5AEB5D6","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":"Q1606090$426B36C1-0391-400F-A66D-B114A2946AD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"231746dd1b162532443840a32e2f1ac3f5dc4bf7","datavalue":{"value":{"time":"+2002-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1606090$1BFAD926-C601-481D-8339-AAAF1ECD3A57","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"99d94fcb96b4922701764df17c7515acf0422aef","datavalue":{"value":"The articles of this volume will be reviewed individually.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606090$5CA4D0BF-92DE-4475-BC16-F77FEE08AEA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606090$CB54E73F-E275-4AC1-8F31-B28D08406988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606090$AE6F48B2-CE12-4748-A333-CBAC3558092E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f048fd3cba465fcb19be6f1d6a04d0355f37cf5","datavalue":{"value":"1773538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606090$909F1F24-F845-40A4-853A-791341900FED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30079201549958701bc79bc36ae8a8054f2abdac","datavalue":{"value":"Special issue","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606090$430643FA-7561-4AA7-AB3F-7FBDE2F8FFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de820dd57eb3b650d78b4ccad3bd1255d7bdc472","datavalue":{"value":"Microprocessor verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606090$46C746D0-2834-4079-87E5-3605C2282A47","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":"Q1606090$668A9DB6-B83A-4952-A45B-430367A7328E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Special issue: Microprocessor verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Special_issue:_Microprocessor_verification"}}}}}