{"entities":{"Q3558657":{"pageid":5588561,"ns":120,"title":"Item:Q3558657","lastrevid":50974373,"modified":"2026-01-16T01:05:52Z","type":"item","id":"Q3558657","labels":{"en":{"language":"en","value":"Advanced automation in formal verification of processors."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5704314"}},"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":"Q3558657$288607FF-BF37-4D5C-81A8-DBBC03BB1ECA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb4178356d9d1dc113ccdcbbdbc50d024f440d99","datavalue":{"value":"1190.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558657$8051659C-3D64-4AD7-9C1D-5BC5B0087F61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b489352d84da3f81346f143bf53e26539f4bdd7c","datavalue":{"value":{"time":"+2010-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3558657$D8888744-4E2D-475A-ABD2-65AA278777C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f12c45e064d56130b7440fecc303a3def3f25be","datavalue":{"value":"http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8322-8619-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558657$D8488F2C-2AF0-410B-BB62-56341A5B78B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558657$808BE2E1-738B-4F83-837A-E75171CD10C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558657$B588E6A9-9F7B-4E7D-9A1F-BB301D95C5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558657$AA45CDF2-0BBD-49F0-A533-09C09F0D60FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b830037f36bb574e24770b56361eba029023b75","datavalue":{"value":"5704314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558657$A68AA5E6-EAF9-4945-A079-E8C529134896","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9c31592796bfe7724c8e955e4b17a5ffc52d044","datavalue":{"value":"functional verification of digital systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3558657$114EC9B7-D9FB-464B-92DD-6F1DE1FF3259","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89f6a891833351834f37e9f1a557f57057799979","datavalue":{"value":{"entity-type":"item","numeric-id":2106701,"id":"Q2106701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558657$C700D327-D61A-43B3-9AA1-6762D8BE1874","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":"Q3558657$AA500D86-2042-4BEC-9792-1F080487CBB0","rank":"normal"}],"P1643":[{"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":"ea7fe35e1b36bba436a84f6031b4acb923d52561","datavalue":{"value":{"amount":"+0.7948060631752014","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":"Q3558657$E1F9B99B-8ECF-462F-8C74-175841164191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e23372e8aaa7b71a26e8935e5af978187d6274","datavalue":{"value":{"entity-type":"item","numeric-id":5493207,"id":"Q5493207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f65315ca8a0b4055ff4f99ce7a7d27afb1f4a11","datavalue":{"value":{"amount":"+0.7760761976242065","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":"Q3558657$2DEEFCF2-A9CE-4991-86E2-CB8A862AB25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7b97148ac17a4158636b28a0c57c327ff2aabd3","datavalue":{"value":{"entity-type":"item","numeric-id":1426941,"id":"Q1426941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744e83ef2024a01525cf7c978bf11cd4c58b24e7","datavalue":{"value":{"amount":"+0.7683351635932922","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":"Q3558657$83DEDE17-739C-49C7-9140-2DAC1CF62F63","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":"19a45b989ee0a2eb45eae4f14ea2d13ac02a049c","datavalue":{"value":{"amount":"+0.7571156024932861","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":"Q3558657$8FD3900B-AFFA-4B31-B512-A39F1279E887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb43334ac7746281204b8e0cbcfbfca6907ac941","datavalue":{"value":{"entity-type":"item","numeric-id":5493260,"id":"Q5493260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aedb8934f359d77c75bc2a9f8cc3238063bad3a0","datavalue":{"value":{"amount":"+0.7558199167251587","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":"Q3558657$E932B70D-D9D5-40DD-ACC0-2A0B823E1501","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558657","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558657"}}}}}