{"entities":{"Q1122998":{"pageid":1133747,"ns":120,"title":"Item:Q1122998","lastrevid":66816297,"modified":"2026-04-12T13:03:10Z","type":"item","id":"Q1122998","labels":{"en":{"language":"en","value":"The notion of proof in hardware verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4108189"}},"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":"Q1122998$BE1802C9-613A-4993-958D-672380857C3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9aea1cd54b475b158e2b2fe2aa2d9b88904b4221","datavalue":{"value":{"text":"The notion of proof in hardware verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1122998$FF5C3ECC-2185-4C63-8218-DB8CD57DEA62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12275a1a905101477648ecb97a350b13c864e318","datavalue":{"value":"0676.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122998$58274972-49CE-4E3C-BF0F-598E2B122305","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9a4f2278082c7d8eac05e3ac994f05ac8811988","datavalue":{"value":"10.1007/BF00243000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122998$1BB9AF4B-49B2-4C06-BA6B-E5C5BAC213F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b1563ea3d4afe0dad2e7550f0719dfc2b9fd47c","datavalue":{"value":{"entity-type":"item","numeric-id":1122997,"id":"Q1122997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122998$A7D62731-A25C-461E-982E-DB420A8EA75D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122998$F55904CD-9310-431B-B150-EB5A3176C117","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1122998$5F086484-99DC-4616-B0D3-BE420412AA8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122998$6E2589CF-1655-462D-B4F8-92640556A7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122998$07CB1C75-F566-4E05-BB53-5C19F543794E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122998$E38BD3CF-E4EA-4500-AF82-908663E85424","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac155d59d59ae49dcd6666c91a4c91546547735e","datavalue":{"value":"4108189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122998$724B8E91-BFAC-4781-B9FB-9C68108651AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac52900f9c775a1c2e9b77521a060cf4681ca7f4","datavalue":{"value":"hardware verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122998$06FE18E1-CAC6-4F78-B7F3-513E342FF4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122998$EABE7E0D-364E-44C7-AF82-89CA2E89AA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6fc92259746a9edb0db3b1c69253b53703be3a0","datavalue":{"value":"viper","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122998$954235B1-9315-4FF7-A54A-F6B87C5FE66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122998$C3EE8E90-530F-4986-9C64-CBDB9A3A9210","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122998$28BC91F1-0923-4ABB-A1C7-AE0D12A61DA8","rank":"normal"},{"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":"Q1122998$541E6276-E7C5-4649-85CF-58B337A39B87","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":"Q1122998$A1B97950-1D53-4643-A7CB-8032AF2B9E2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e769e6ee6fb5d5ddedddf840b9bd2f342e3d0d09","datavalue":{"value":"https://doi.org/10.1007/bf00243000","type":"string"},"datatype":"url"},"type":"statement","id":"Q1122998$F9202F70-D6F7-4CB5-96F3-E4233FD10A38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa9cccf13da5ba7397876a2be941d3c3a933a7fc","datavalue":{"value":"W4249627601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122998$8C294D26-E8BB-4668-9510-343C288F22C8","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":"68a018fff67e45e6f622667f809b69328c64d22f","datavalue":{"value":{"amount":"+0.8557019829750061","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":"Q1122998$D9E823CC-D201-4E4D-81F7-645BF489CC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1713e077168612cfd590e0feccdc76fe119d32ff","datavalue":{"value":{"entity-type":"item","numeric-id":4692769,"id":"Q4692769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7fcbf35761b31ccd969e61db2c2ee52618b012","datavalue":{"value":{"amount":"+0.8305346369743347","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":"Q1122998$9C735EA5-59BE-4F7A-B38D-03A69E81FD09","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":"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":"Q1122998$E521F530-D117-4A1B-8460-DBA8599ED6D5","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":"f0747fbdf978249316a11d64557dcb2518081789","datavalue":{"value":{"amount":"+0.774463415145874","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":"Q1122998$34AB1DAD-ED26-47C1-80D6-F7DF1F70285A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69ee81091b55b0966f4b674e7cf88a8a5bbdec60","datavalue":{"value":{"entity-type":"item","numeric-id":5899157,"id":"Q5899157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0747fbdf978249316a11d64557dcb2518081789","datavalue":{"value":{"amount":"+0.774463415145874","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":"Q1122998$D001167F-0507-4103-BB85-E10226CE7FB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The notion of proof in hardware verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_notion_of_proof_in_hardware_verification"}}}}}