{"entities":{"Q4302838":{"pageid":6332439,"ns":120,"title":"Item:Q4302838","lastrevid":47265067,"modified":"2026-01-01T04:23:14Z","type":"item","id":"Q4302838","labels":{"en":{"language":"en","value":"A methodology for hardware verification based on logic simulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 622318"}},"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":"Q4302838$6F6385B2-1C41-498D-9ADF-B3FDF02831D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea762f5a60c22f059da944dc0717101d7a593bc0","datavalue":{"value":{"text":"A methodology for hardware verification based on logic simulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4302838$214C7CE1-1F6C-4977-9E16-0DF0D5DD25F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9b79f23db538005236ef6b12c4e8e862cb268ae","datavalue":{"value":"0809.94035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302838$5157107A-C2D5-4B5C-BBDC-B023D5C9FE16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f94f1dfc0a6b86182f1f7b3d644e553eff4c2ef","datavalue":{"value":"10.1145/103516.103519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302838$83E5C95D-B625-4834-8800-30F38C68E2D1","rank":"normal"}],"P16":[{"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":"Q4302838$DAD45CF8-B603-40C0-B852-5C622A77C955","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302838$07078975-9D8D-4C4B-8B1B-DA74B507A96E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b96ce60ac380170c541d671bcd7c310432fc984","datavalue":{"value":{"time":"+1995-03-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":"Q4302838$44C7166A-E613-4C6E-82AB-B6A5B393F108","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302838$8C28FAFB-CA25-4CAC-85B9-65C08E091A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302838$E0A7E6E3-F887-4A2F-9679-0AD12B31BDD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f121d2a51f3b53109d488ab8ef3b1212caa0413a","datavalue":{"value":"622318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302838$7E3041B1-24EC-465A-9864-9C71F2C403C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac52900f9c775a1c2e9b77521a060cf4681ca7f4","datavalue":{"value":"hardware verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302838$474FF228-1D50-47DC-8AF7-4A6A9D0395A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c979145aa5b3ce42ed61a9d76ad3c98884b2346c","datavalue":{"value":"logic simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302838$0007DC5A-97EB-4579-9BAE-6046CAD60AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7084aded5e93c2dde19043454db0ff8a82a3ef05","datavalue":{"value":"ternary simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302838$FF114CBA-F3DD-42B7-9D29-8018AEC17A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"078e894a928caebc82f6fcdd326796ecc80c1962","datavalue":{"value":"circuit verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302838$89F47688-5D8D-42AF-9607-6D4B985DBEB8","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":"Q4302838$02804726-0C9C-484A-815B-D640A7E79459","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdc9812f76d8f921ee029d09d14890d17b688a7c","datavalue":{"value":"https://doi.org/10.1145/103516.103519","type":"string"},"datatype":"url"},"type":"statement","id":"Q4302838$6C50852D-94B5-46C8-91E9-E318071F7E38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee8b935289e54e1241a0171ef2b79484a8466f34","datavalue":{"value":"W2000040332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302838$06AA8115-CEA1-49CE-B30D-CC9FED920393","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258c7de8e5a04024a1b093271ea7fe394d9af3bb","datavalue":{"value":{"entity-type":"item","numeric-id":4721964,"id":"Q4721964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a112469e4df52675ee31d6b649ea4889a30cb07b","datavalue":{"value":{"amount":"+0.8559941649436951","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":"Q4302838$2CE356CC-7393-47C6-B9A6-3E430F5E532E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe1a39d1cf757713a218f0e2aca1d8d05e81ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4261335,"id":"Q4261335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d42bc16c5e6485b6ac76fcc880d573e28e3a675","datavalue":{"value":{"amount":"+0.7563738226890564","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":"Q4302838$6039BE1F-CAB4-4E7E-960B-0FEF0ED73424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"507bbf592ad25129134c72aa533731387e760e74","datavalue":{"value":{"entity-type":"item","numeric-id":3999866,"id":"Q3999866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6764371f53e1eabd623b65851a02e2e038a6377f","datavalue":{"value":{"amount":"+0.7494239211082458","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":"Q4302838$ECE02558-5418-4E88-8CB8-8BC07728070D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e336930d421d6fcce4bfd8414b6aaa41ef1f822","datavalue":{"value":{"entity-type":"item","numeric-id":266875,"id":"Q266875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"017b9abcf6d49f91ddfe228271e8ded80d723685","datavalue":{"value":{"amount":"+0.748956024646759","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":"Q4302838$392FA973-B859-4A47-A34F-1A6AA2799DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5abb80aae8d2531ad458e5665836a858b1ccba17","datavalue":{"value":{"entity-type":"item","numeric-id":4028158,"id":"Q4028158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a679335b3d28d1c7dd3335e05444e48296d0cefe","datavalue":{"value":{"amount":"+0.7427039742469788","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":"Q4302838$ED7F2981-BD71-47F8-B250-989272BCEA27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4302838","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4302838"}}}}}