{"entities":{"Q380571":{"pageid":382338,"ns":120,"title":"Item:Q380571","lastrevid":61403727,"modified":"2026-04-10T23:08:58Z","type":"item","id":"Q380571","labels":{"en":{"language":"en","value":"Optimizing system-on-chip verifications with multi-objective genetic evolutionary algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6226918"}},"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":"Q380571$4E371A86-EB94-472D-ABBF-2211862F71DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"623a3e40bdd3d57e21b088017988315d5c842d1c","datavalue":{"value":{"text":"Optimizing system-on-chip verifications with multi-objective genetic evolutionary algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q380571$0C87000D-78DA-40BA-A2DC-BF1B6038989B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46de3f575c8a6e3d921d3f42679690a5335618f9","datavalue":{"value":"1297.90076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q380571$4E84E3B6-8A0C-48F2-8299-8E291903A23D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e174b3fcf283ca40818a806094820533557e7d4","datavalue":{"value":{"entity-type":"item","numeric-id":380569,"id":"Q380569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q380571$3B4D3B13-3237-4059-A8C5-6C5943398217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"547ab28edac314d29577eddfdc1897e62a31b173","datavalue":{"value":{"entity-type":"item","numeric-id":380570,"id":"Q380570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q380571$FF28FC17-47F7-4880-8956-92E1DC004211","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e44f3e93d903de82a8fbed99c0811e7cd35baeba","datavalue":{"value":{"entity-type":"item","numeric-id":380453,"id":"Q380453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q380571$B4465EBB-F87C-4B06-920B-0195BCDA543D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"108246dca772a8e1d58c3ba11f0cdc16c904d0dc","datavalue":{"value":{"time":"+2013-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q380571$033F7DE8-C94F-4773-91D9-0CE7E7A9FC3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a9593e5ddcedb2f08bc74f7498f9d2699b59af8d","datavalue":{"value":"90B90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q380571$667A1843-B082-4846-A94E-A84F9662BE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f180476aacacc0952b2209f458581df72896a0b3","datavalue":{"value":"90C29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q380571$047D77AE-3630-4461-9806-2C47E919F86F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19d652a53415f514dafa4fe929bea5ff8cebecbc","datavalue":{"value":"6226918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q380571$EFE52537-4EDC-4DD6-8F96-A78CA403170E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63e94d32bf9eca2a3becffae779bd82dde40793b","datavalue":{"value":"multi-objective optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q380571$85F7712D-1A5E-4E6A-BB0E-75F369ABDC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d98cc94fbc67d04bf2be60cef088d2b393e72d5","datavalue":{"value":"genetic evolutionary algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q380571$72544141-584F-4850-B59F-5BA5B8080875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e28218b6186395d6d77bb4ce36c1ccae9b90f82d","datavalue":{"value":"Pareto optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q380571$678321EB-FC0E-4351-82CF-983F37863D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935765f39a84af6932f4e38d9bc1a6520155ab38","datavalue":{"value":"system-on-chip verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q380571$14358537-A91C-4E3D-B7FD-11A703D00A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d2be97ee5d0348f3b5ff46c6fe1ddc4103e1be2","datavalue":{"value":"coverage driven verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q380571$83AFBB29-D721-4BF9-AB66-5F7F7940B33F","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":"Q380571$03CC5A9B-8851-40E1-9412-CB8A9C2681DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d090ae73f6776f435cb5bc207942476604773db3","datavalue":{"value":"https://doi.org/10.3934/jimo.2014.10.383","type":"string"},"datatype":"url"},"type":"statement","id":"Q380571$BBCAC702-C343-4B8C-8C6C-F2A27D7563ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d9ae71d8dda9710e8a680d4ef19c4815fd24049","datavalue":{"value":"W2011581316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q380571$2A183523-92B8-4C28-92CA-DECA32A7454D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f704ba7a1099ae57c7fac8c445fefc13705a2a3","datavalue":{"value":{"entity-type":"item","numeric-id":653882,"id":"Q653882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q380571$45DFC97B-7477-45EA-80C5-A705DE3FDBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d390900a67daf7716cccb645d27f4c6efe6e6e7","datavalue":{"value":{"entity-type":"item","numeric-id":656441,"id":"Q656441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q380571$0F2FA9F7-26E2-404C-8723-5187301C21FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc08eea5eaa39169f2b5580c2484440e9e73f35","datavalue":{"value":{"entity-type":"item","numeric-id":656959,"id":"Q656959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q380571$BE74F7F6-07DA-4F8B-8AC5-D58A227059E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598523ed81c9c46737a0dca70cede1f2a4eb9511","datavalue":{"value":{"entity-type":"item","numeric-id":4692508,"id":"Q4692508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q380571$3185466D-4AC8-4B9A-A436-C05BBA918C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c821e18d074b6b4cfdddf0528ba8992222ae930","datavalue":{"value":{"entity-type":"item","numeric-id":549895,"id":"Q549895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q380571$221B638F-2E31-4880-A84C-22A4A1194498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f0e114396478f3c697917e74bfe6e4fb6952954","datavalue":{"value":{"entity-type":"item","numeric-id":1018915,"id":"Q1018915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q380571$6411B728-1DC9-43B3-BACD-EC5B157544DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c287f7c135c802d6706cbde933962204286b925","datavalue":{"value":"10.3934/JIMO.2014.10.383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q380571$4F478DD7-CD6E-4243-B01B-1D91A85DBA1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87d6e48894fddf14495667eaaffa79ff0eb030ef","datavalue":{"value":{"entity-type":"item","numeric-id":2506301,"id":"Q2506301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14129998471747aea26cb9cacba64073a63ea065","datavalue":{"value":{"amount":"+0.7687355875968933","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":"Q380571$D3EE04CB-3E96-49F8-8F0B-7E1292B3D437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e92ea41accc6078d63e6990991f5c23256d015","datavalue":{"value":{"entity-type":"item","numeric-id":1042192,"id":"Q1042192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5cd430bc918f42e9231cc7677dbd0be7cec65f","datavalue":{"value":{"amount":"+0.7573244571685791","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":"Q380571$0950828E-5079-4DFD-881C-A03CF20AA146","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":"637d81a4bb254676b8ecd62c08576999a6a2bd5a","datavalue":{"value":{"amount":"+0.7008894085884094","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":"Q380571$E71EE27F-41C1-499B-90E2-698F9DD49C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb949f94fcdedae552a123c5b051611c12faf9f2","datavalue":{"value":{"entity-type":"item","numeric-id":2734777,"id":"Q2734777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f15398eca1f75629422717a71ded3ceb64c9a94","datavalue":{"value":{"amount":"+0.6832671761512756","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":"Q380571$9CBCD041-7049-422C-80AA-B0F96E7B9E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e09b93071b223767298c892002ec82d376e0ae8","datavalue":{"value":{"entity-type":"item","numeric-id":970458,"id":"Q970458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd735184f3c9f4e55cf2d060aeb052eb1acc4f8","datavalue":{"value":{"amount":"+0.6814225912094116","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":"Q380571$593C21B0-2C58-448A-B1E5-CE30CB6771C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimizing system-on-chip verifications with multi-objective genetic evolutionary algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Optimizing_system-on-chip_verifications_with_multi-objective_genetic_evolutionary_algorithms"}}}}}