{"entities":{"Q3064570":{"pageid":3075286,"ns":120,"title":"Item:Q3064570","lastrevid":86303318,"modified":"2026-06-03T18:11:58Z","type":"item","id":"Q3064570","labels":{"en":{"language":"en","value":"Stimuli generation for functional hardware verification with constraint programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5829089"}},"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":"Q3064570$4E026C63-09EE-4EF1-B3D6-B46233CE8708","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a5367a8580a0a949bac10255924eaa5cb2cc6e3","datavalue":{"value":{"text":"Stimuli Generation for Functional Hardware Verification with Constraint Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3064570$4F2C7455-35AC-4B12-83E6-56844E735665","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3d43ae85a1fdd55db3b3d01de929fe4509d4b35","datavalue":{"value":"1210.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3064570$F3CC1F9D-C44C-4AE2-80DE-4A2F3F8019F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f484eecd39264686868dbc8b1ae6576f4fd25518","datavalue":{"value":"10.1007/978-1-4419-1644-0_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3064570$86160376-74B8-40BE-BD54-D7969861811B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7de7ce1a09f708c63baa50c6377007df503b717","datavalue":{"value":{"entity-type":"item","numeric-id":3064568,"id":"Q3064568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3064570$0B03A6A3-18E8-4916-9504-0F76766F5BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3887fb56388d1a41cf708f497bb27cd0b5ec28c3","datavalue":{"value":{"entity-type":"item","numeric-id":3064569,"id":"Q3064569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3064570$1E747342-FE9C-4668-952D-5583E0C6617D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85b84389472f72867ea2e116963b7bf7e07a34fa","datavalue":{"value":{"entity-type":"item","numeric-id":3064558,"id":"Q3064558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3064570$A2248446-71BE-4F87-A900-551B68B3C61F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f58d0fcd1faddcc9b3ef47028298988cef5dc81","datavalue":{"value":{"time":"+2010-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3064570$86A477C1-E7A6-4150-A062-89468257B013","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3064570$868FA099-F7FC-44EF-9C62-EB52901ED919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3064570$1B669280-D17E-4DA0-BB04-C2783AB9547D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca0913efde8b6ceaf0088b129eadc09b5d75e494","datavalue":{"value":"5829089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3064570$FFC688C4-FA46-47E5-B6E8-53EB26354E26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3064570$2081388C-E18A-428E-99A3-8F86FE10E306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac52900f9c775a1c2e9b77521a060cf4681ca7f4","datavalue":{"value":"hardware verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3064570$D403922D-64BD-4B4C-8FFB-4AC25A5FFE1C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3064570$99A45DF2-CE72-4C3B-8921-6897C948195D","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":"Q3064570$1C567296-DF82-4871-96C3-62331DEB004E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd07631c8f55d31f80cacbc5662d955ce812ff93","datavalue":{"value":"https://doi.org/10.1007/978-1-4419-1644-0_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3064570$1E7FC5DA-81B1-48F9-B7BF-253FE0CA7033","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2833abe6b664f96e7397452fe7ffe51cc9da0df4","datavalue":{"value":"W30481318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3064570$E632B093-D6F3-4381-B2FB-D87F4D76A300","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"054082cfb3f85b413ebe279f44bf106298177731","datavalue":{"value":{"entity-type":"item","numeric-id":5899058,"id":"Q5899058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e50381059b52063b77a0702eae2072e3ac0096f0","datavalue":{"value":{"amount":"+0.7397876381874084","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":"Q3064570$DAD85C31-2430-4F3A-B690-EB24F1159B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e80ea05d5a7b281bc9ee14b855b02a47abcd4f2","datavalue":{"value":{"entity-type":"item","numeric-id":5201279,"id":"Q5201279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a3bea471869cc908d912309b71533949209c70","datavalue":{"value":{"amount":"+0.7309610247612","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":"Q3064570$5AC25285-93E3-40A1-B4BF-65D66C0C76E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e491e82f1872933322ce8cf45b881a1e9ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":3558292,"id":"Q3558292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f208e1ba3cb64d1460a25999a0f303b9c426ba","datavalue":{"value":{"amount":"+0.706404983997345","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":"Q3064570$4875BED3-E0AE-4F8E-8469-7FF0C4E34418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"633a4cd3406e75432d807d96e0324bc9e805cd03","datavalue":{"value":{"entity-type":"item","numeric-id":5898455,"id":"Q5898455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c71131cc2a17c4ddca84835d43ca3ce55380f121","datavalue":{"value":{"amount":"+0.6945762634277344","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":"Q3064570$B906FB92-3A1C-49E2-AE5F-DC05D5F3EC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08bc749df5cc98207e13aa4a9e54152a47415b72","datavalue":{"value":{"entity-type":"item","numeric-id":1204868,"id":"Q1204868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbbcf9f41307d116698e6f1c69c0a7759586d1fc","datavalue":{"value":{"amount":"+0.6915756464004517","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":"Q3064570$3CD3E037-9F74-47EA-B337-1B9B1A34684D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stimuli generation for functional hardware verification with constraint programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stimuli_generation_for_functional_hardware_verification_with_constraint_programming"}}}}}