{"entities":{"Q4419604":{"pageid":6449203,"ns":120,"title":"Item:Q4419604","lastrevid":48152527,"modified":"2026-01-03T19:29:00Z","type":"item","id":"Q4419604","labels":{"en":{"language":"en","value":"Formal modeling and verification of microprocessors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1964013"}},"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":"Q4419604$F097C91D-2206-491E-B45A-FE7961B459B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68f3d8bf8559d87944d44520edf6598422d63f1e","datavalue":{"value":{"text":"Formal modeling and verification of microprocessors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4419604$5B339D48-3F83-4BC1-B1EC-905062539B2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bea73d7489a37f63752e760300f0536bdcc44d56","datavalue":{"value":"1040.68534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419604$D93E24D8-5EE2-469C-8521-5235062CB64F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03742130520c736afb270b6e7aef4bce2836ffc0","datavalue":{"value":"10.1109/12.368009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419604$1729CAEC-38C4-4452-847A-763A854CE795","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a39856bda047c094ad82acd344639fce07808e6","datavalue":{"value":{"entity-type":"item","numeric-id":3024859,"id":"Q3024859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4419604$33815459-C5EF-46ED-8185-2444DC5390E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4419604$26A8EB61-FCBD-4306-9645-79D207B74B6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e12e6021dba48c45d122c66dfaf8edc484cdc46","datavalue":{"value":{"time":"+1995-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4419604$47E166D0-E127-4C19-AD66-8AC2B0ECC568","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419604$09D419F6-5FF2-41F4-85D3-97BE3B36942B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5438db4e9db7aa23628c48fbb0a68d0ede9e16c1","datavalue":{"value":"1964013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419604$F3EE5AC5-53DF-4F86-BB1D-9035DDCF4B60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6490b3098d82c5b8b5d847a05819566baae5b1b8","datavalue":{"value":"VLSI devices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4419604$4D837F52-FF3E-4E9D-8BA7-730B7EF6C530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1392b359d6eb9313108bbb8b8e78996685b60f43","datavalue":{"value":"microprocessor verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4419604$EF703F4F-D328-414E-B8A6-A2A0548DDBC7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4419604$D8CECC8E-0B89-45D2-89EF-DFF93EE9A4DC","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":"Q4419604$D4ABEF68-8AFA-414D-8277-857CA856DF88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4be816eab88575314aee9b1005793ddba717aae2","datavalue":{"value":"https://doi.org/10.1109/12.368009","type":"string"},"datatype":"url"},"type":"statement","id":"Q4419604$434E4932-E27F-4381-AC58-C111B0DD96EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0ed113452f24f435540eb944f5dc5c9f892a125","datavalue":{"value":"W2103709633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419604$D68DB2D5-E16C-4683-996B-12C310C91E58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736e9d1c58937a8bd079545100495678268640cf","datavalue":{"value":{"entity-type":"item","numeric-id":3996818,"id":"Q3996818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"468dcd450b4830c22fbe8c4bc70c866835fbe29a","datavalue":{"value":{"amount":"+0.8342122435569763","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":"Q4419604$85ECE327-B227-4671-811F-8BE748337ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21618c33755d34119c83c7d442dd2530ec4786f","datavalue":{"value":{"entity-type":"item","numeric-id":4004176,"id":"Q4004176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a8fa111cf100501a45016fee269fe50e4d00748","datavalue":{"value":{"amount":"+0.8154374361038208","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":"Q4419604$30E040ED-45CF-40A4-8C45-2F80681E0BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1adab1e1afb3cd63974aeed1bca6aa5b3b4ea4f7","datavalue":{"value":{"entity-type":"item","numeric-id":3558657,"id":"Q3558657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a8fa111cf100501a45016fee269fe50e4d00748","datavalue":{"value":{"amount":"+0.8154374361038208","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":"Q4419604$71A8B38E-0CDF-498B-9700-035484519228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b5a640b2aa08a40f52b7762342761ddc44de8bc","datavalue":{"value":{"entity-type":"item","numeric-id":5312945,"id":"Q5312945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f2d899f889399c3cbf8f90f2a8daf566869d3f4","datavalue":{"value":{"amount":"+0.8124237656593323","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":"Q4419604$D29277F1-2326-409B-94C6-D44B3EBF3C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a86794cf4076c68faa757aa8a6ee19590f4c951","datavalue":{"value":{"entity-type":"item","numeric-id":1122998,"id":"Q1122998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7326481c1e9d56979b41ebaf33e9217b277b2f9c","datavalue":{"value":{"amount":"+0.8124218583106995","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":"Q4419604$AE3DAADB-3045-4BB2-9419-FAE6B331873A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4419604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4419604"}}}}}