{"entities":{"Q3503620":{"pageid":5533524,"ns":120,"title":"Item:Q3503620","lastrevid":50376515,"modified":"2026-01-13T22:24:42Z","type":"item","id":"Q3503620","labels":{"en":{"language":"en","value":"On Formal Equivalence Verification of Hardware"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5285287"}},"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":"Q3503620$42B1E537-F627-439F-B4D4-88F9D630F484","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88df9f4e088695a38235b7839defc25435bcc75b","datavalue":{"value":{"text":"On Formal Equivalence Verification of Hardware","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3503620$D3C90288-C28E-4E57-A642-28608E4C9617","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71b607f005ecf04eed5c5c0953531a55370e7651","datavalue":{"value":"1142.68436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503620$5E092F16-454B-49E3-A80A-C498DA058EF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6903fba06c59ebce100506c400f2519c1151d545","datavalue":{"value":"10.1007/978-3-540-79709-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503620$64F18D5B-908E-4E53-BB95-4155BE9CB14D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41df48044034ceb6ef08b66017467a62c3d265aa","datavalue":{"value":{"entity-type":"item","numeric-id":2907481,"id":"Q2907481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503620$D638AD42-7B6A-4AF2-B1E3-FC7580E48564","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf52a5dab4cce181d346855b7e145b14f7affd55","datavalue":{"value":{"time":"+2008-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3503620$649E4AE9-3C03-4D85-8814-BAFBC44FA499","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503620$E32C746E-1F0A-4A78-9649-14EE13E93C44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b247340afc893877415324fbe789282db3cf369","datavalue":{"value":"5285287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503620$B75897F6-A959-487D-8082-5E2283165D79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30ea29f34af1ee45ad2057a2024c5255e1232d44","datavalue":{"value":{"entity-type":"item","numeric-id":526773,"id":"Q526773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503620$3C62E80F-A508-4968-8525-A8EBBD01B4D3","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":"Q3503620$D2982A11-02F8-4C90-97E7-AF660675781C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6777587c862fec5206df287d2260ab8be30bdf81","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79709-8_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3503620$DA43FFC1-2378-4F13-84AB-8F52FE59D075","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93b14ef7fa83eb28dab85e827aa3c97c1a6b3ed2","datavalue":{"value":"W1548502699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503620$37D077EF-7163-4F57-88E1-0C26233048FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5e68905953d1d1b2da4e9dccf7b3768fef8f920","datavalue":{"value":{"entity-type":"item","numeric-id":3842661,"id":"Q3842661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503620$B1B7707D-27EF-47B4-873C-62E1AC31E74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"375945d53279ba3bd449c119959570e6cf20fc1a","datavalue":{"value":{"entity-type":"item","numeric-id":4165287,"id":"Q4165287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503620$6D757EC2-5BF5-4F80-9504-3D327AA687F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3471b7efb1b757239a070d85abd42f760e49e63f","datavalue":{"value":{"entity-type":"item","numeric-id":4037107,"id":"Q4037107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503620$5210B739-0A47-459A-8DF0-E94FF28B697E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f3c9f3fac89fb55c80011189af80e4326cecaa","datavalue":{"value":{"entity-type":"item","numeric-id":3081632,"id":"Q3081632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"655381ebaa280c9f59253532ddb50c1798a89602","datavalue":{"value":{"amount":"+0.7681923508644104","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":"Q3503620$1BA5EAF1-5B3D-4927-BAC2-40DE7787A793","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":"745bd098ed15540bca59806625cf345be8a568ae","datavalue":{"value":{"amount":"+0.7463387846946716","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":"Q3503620$2C80A514-C43C-4D8B-8161-4924B44EB70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb0b45420a782cfca10d5db6664d68f476b4d41","datavalue":{"value":{"entity-type":"item","numeric-id":1856178,"id":"Q1856178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a79a2d7859588bdf1313ba92c2c1c7ec07f9162","datavalue":{"value":{"amount":"+0.7442289590835571","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":"Q3503620$D1E47D9E-81E5-4500-A779-09CC7ABD8BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"827cb98c9cd3ef228a5493b56f212049426c3dcd","datavalue":{"value":{"entity-type":"item","numeric-id":2845511,"id":"Q2845511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b9ab33033182fbf5153740734b7b853ba7563ae","datavalue":{"value":{"amount":"+0.7422587871551514","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":"Q3503620$948FDD9A-3A23-4671-9553-5D5D36DA2CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb54fd1c2eed995589b5554d68f17e5a959cded4","datavalue":{"value":{"entity-type":"item","numeric-id":4473977,"id":"Q4473977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffed74bde88938049cd5051ae3df763c2d64453c","datavalue":{"value":{"amount":"+0.7353979349136353","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":"Q3503620$B5DB1074-AA99-4D23-93CB-B3FB1F8E1BD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3503620","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3503620"}}}}}