{"entities":{"Q2506301":{"pageid":2517044,"ns":120,"title":"Item:Q2506301","lastrevid":49928890,"modified":"2026-01-12T03:08:21Z","type":"item","id":"Q2506301","labels":{"en":{"language":"en","value":"Efficient techniques for automatic verification-oriented test set optimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5058255"}},"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":"Q2506301$F4CB4388-229B-4C96-9083-EAFEB2E0E0BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5122de4edd0d7f9c0bb9a6d16f8909e6abc46f5","datavalue":{"value":{"text":"Efficient techniques for automatic verification-oriented test set optimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2506301$EA737C05-3B5A-44B8-B404-03DACD238739","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"506a52d95eb20169fcd324a7f09e87f654595c76","datavalue":{"value":"1100.68587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506301$9444ED04-EA1B-4A25-8149-5BB2A8B411CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3ddd03237e187f9b49e1a4a4f5fd11b260e38a","datavalue":{"value":{"entity-type":"item","numeric-id":2506298,"id":"Q2506298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506301$F0B4029D-C410-42CA-AA8A-1E3095432584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d50d1bc4aa43a8794dc0c5640e12933829bc12a","datavalue":{"value":{"entity-type":"item","numeric-id":2506299,"id":"Q2506299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506301$C1F4EE17-0EF8-4205-AF82-48906BCBAC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"675374cb77bb344899429085670176858394f974","datavalue":{"value":{"entity-type":"item","numeric-id":2506300,"id":"Q2506300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506301$5390625B-D1F2-4F80-AEEF-C13DB5820557","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a32831c4e3f60d79ea2f79afb884ef69e4c8191c","datavalue":{"value":{"entity-type":"item","numeric-id":199286,"id":"Q199286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506301$2B55CC26-1F0F-489F-A060-B928863179DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94743860e157c0fbf5b9e5527eaada210f8c037f","datavalue":{"value":{"time":"+2006-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2506301$6F73784B-D975-44CF-954D-2A653E7B28E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506301$1024F14C-44E5-43CE-8214-C84E6FF29A7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6760379e70bdb5ba7b5b0b0afc3bad8dde4cd85d","datavalue":{"value":"5058255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506301$68332D18-6AC9-401C-BB7A-DEC9B946CF71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"702d7c9ecd37f43737bc5ed9c2a7e8b8c382f84c","datavalue":{"value":"Validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506301$344DCDC2-760F-49CD-8705-BA9866F7D59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db503b8864bdd27a36f9ab3e1a70cfef93ae6e5d","datavalue":{"value":"microprocessor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506301$F1016ADD-075C-438C-80DA-07B422A9C061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f6044934bf5a6c37fb1205a55571710bbe19c9a","datavalue":{"value":"test-set optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506301$840701BE-6AFD-4401-BD96-0CA973BA4048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1c1138ee8f88731d90c2caf7af74450d82ac306","datavalue":{"value":"evolutionary algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506301$02B524E3-9E53-438A-AED9-9A5EFA797B4C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c069783bea31ba7ea04b4b1025c4a89fd53ac76c","datavalue":{"value":"Q60246388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506301$2AAAA0D1-9497-4CF8-A026-E1BA47018407","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":"Q2506301$C7E35F92-427B-4A13-976E-DA886B1DF6A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26621970de76e536e0e6b93c242ded52fbcfbad4","datavalue":{"value":"https://doi.org/10.1007/s10766-005-0005-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2506301$C4DD7776-10AE-4B17-96CB-4B38FD3D8871","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de7da656ad929366817c0e22ed6d63b5a0b99ec1","datavalue":{"value":"W2010508810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506301$76A2641A-6DF4-41AD-90A0-248D4C3FB4ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebe2513f01be8674893aea4808b64fa7cf1f17e","datavalue":{"value":{"entity-type":"item","numeric-id":4472043,"id":"Q4472043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506301$3C037F05-89A8-468B-BB02-F957986BA674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad14d38dd07c5f75d6116ca714889a0b7835e","datavalue":{"value":{"entity-type":"item","numeric-id":4778601,"id":"Q4778601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506301$40A370FA-935F-4810-A3F1-FA5A16326665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f7b9ad80057c9ca5c9b18a33cafda29b9317b1","datavalue":{"value":{"entity-type":"item","numeric-id":4860810,"id":"Q4860810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506301$F115B1BA-9088-4124-8A13-A189A73DB069","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18ef5e953d8ad355e7398affd446c68d6c2661ae","datavalue":{"value":"10.1007/S10766-005-0005-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506301$B3AA4DEE-B52F-4B3C-9F96-D628EA23C7A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec10fc8a4ca7e47550087e4b714657a751d89281","datavalue":{"value":{"entity-type":"item","numeric-id":4418733,"id":"Q4418733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f4a6556e19ba754e2e54a5edcc1d3c7a03b5ea","datavalue":{"value":{"amount":"+0.7884840965270996","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":"Q2506301$85A8D3F3-0A7A-4E78-B158-A630A47A840C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040e83c0b42432840dfaf28dd0daf5c98b339c51","datavalue":{"value":{"entity-type":"item","numeric-id":380571,"id":"Q380571"},"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":"Q2506301$272C165C-3DEA-4436-B642-FB85624B4E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f5314afb7035bd98feb6ae620be0513517d493a","datavalue":{"value":{"entity-type":"item","numeric-id":3365695,"id":"Q3365695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbb6c676a832e1313012fa69794f65a6ba3dc924","datavalue":{"value":{"amount":"+0.7428349852561951","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":"Q2506301$D6D0B5C0-F3A3-4918-9AB6-6DED2E7C912A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37f77ad96f2984d6fdc1aedb26d50e0805d8307d","datavalue":{"value":{"entity-type":"item","numeric-id":4417958,"id":"Q4417958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a253da53d7a6174676fa501ad4a972b2b100e05f","datavalue":{"value":{"amount":"+0.7425495982170105","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":"Q2506301$C9D03732-02AC-4284-BE38-680CE3E3237C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6ee33d1444d1e47ccfefb5b8d248588f986ef0","datavalue":{"value":{"entity-type":"item","numeric-id":3163925,"id":"Q3163925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a253da53d7a6174676fa501ad4a972b2b100e05f","datavalue":{"value":{"amount":"+0.7425495982170105","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":"Q2506301$C8328B27-5A39-4FE7-9B9B-374569BECA51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2506301","badges":[]}}}}}