{"entities":{"Q4225365":{"pageid":6254966,"ns":120,"title":"Item:Q4225365","lastrevid":81941960,"modified":"2026-05-06T19:43:15Z","type":"item","id":"Q4225365","labels":{"en":{"language":"en","value":"High-level test synthesis: a survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1238917"}},"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":"Q4225365$E5A50490-5639-4E2B-A6B5-F53059F92468","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca8e8a3c27de8411d14446841c0aff9e97db4e99","datavalue":{"value":{"text":"High-level test synthesis: a survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4225365$2F5989A8-6F7F-45C2-A472-AA354ECE0967","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"638a5a5f8d97d0322503e28102df04b8a1e134ba","datavalue":{"value":"0908.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225365$27265027-3131-4D96-8916-E45259204DFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5a7a10fce6d7c6a828d1fcda94963c552d3ccdf","datavalue":{"value":"10.1016/S0167-9260(98)00022-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225365$865C484F-8FB7-48EB-BC80-566DB6A372AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7944ef51df1ce77e738818e6160790f5aa5dd553","datavalue":{"value":{"entity-type":"item","numeric-id":4225364,"id":"Q4225364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4225365$6640F7BA-1BFD-4395-AE89-BF5AF69351CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82f17452b4b153977b5051c89853c80c67472e13","datavalue":{"value":{"entity-type":"item","numeric-id":2168382,"id":"Q2168382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4225365$1C1D9A4A-B7C6-4BE1-A159-70C875E56740","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"addc2942fedafeb72529951bfc3e796c4ffe6a9a","datavalue":{"value":{"entity-type":"item","numeric-id":2734603,"id":"Q2734603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4225365$28495774-EAE2-4D21-84A1-929A7A2AC308","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a478bab7af2e688c035f2ebdc0c22a9c2c58e2e","datavalue":{"value":{"time":"+1999-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4225365$0BC5DE16-CCEA-44F8-88AE-F7C3BE4CEEA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225365$30CEBA3F-857D-4FC9-B79A-A2CC96DA1930","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66caffbc515d16b0d355b7c1fec36a7769f857e2","datavalue":{"value":"1238917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225365$E9D985F1-5194-4A9F-8F67-BDD4C0953D57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab27576ee5c9ff132becd93597a3ea4a3dd568e6","datavalue":{"value":"design for testability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225365$60F2DD7E-D2DD-4AD9-84A2-56C35674FF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2be19352da2d3ebc55accb66fadfd7e0cab83e","datavalue":{"value":"digital system testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225365$DB7BE609-7746-4EBD-A183-29F877539D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60893b19873951289c4cffa4988662b3b84228a2","datavalue":{"value":"high-level synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225365$70B9172F-A122-424F-8911-1FECAD98AEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7b59cf6ff0ad59aa6fa23c5e30e3ea475ab9882","datavalue":{"value":"register-transfer level synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225365$E71317E9-7050-45B8-BF53-24E716A345F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a8c33665cc068c1a0ad41d4a92fb4e505052253","datavalue":{"value":"synthesis for testability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225365$6FED0367-1A45-44F7-9426-6A6FA45E2DB1","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":"Q4225365$1FD0CC33-49EF-48A5-9E15-400790B1B1A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61e3d5b3cb054d49cf469b88a4ecf4f39064993f","datavalue":{"value":"https://doi.org/10.1016/s0167-9260(98)00022-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4225365$16AE1C1E-9384-472E-8B8F-9F386AE68FBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7494bfd53273338fa65c486e5df4e2d6ac2926f3","datavalue":{"value":"W2020508709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225365$A1FD74CC-10B4-429D-988A-AC2C4047BC0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f7dcaa3ac96ce9abd604908f8a6a0f4827e8ce","datavalue":{"value":{"entity-type":"item","numeric-id":4225366,"id":"Q4225366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18409394aa98de5cc349423c208f0536bb86a599","datavalue":{"value":{"amount":"+0.93820345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4225365$52E9662D-EE15-4CA2-B7E7-1747DF80D956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4371da37d55d1220c165dec363047e1b7e45ed77","datavalue":{"value":{"entity-type":"item","numeric-id":4338861,"id":"Q4338861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73495fc4c364394fcd27dcbd76dc13f458931073","datavalue":{"value":{"amount":"+0.9184998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4225365$CEC84954-AA0E-4A54-AE8E-6789E91E6F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ce3cf65182e6abf0412d4f5eb1592222b833ef2","datavalue":{"value":{"entity-type":"item","numeric-id":4225391,"id":"Q4225391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4afdb2b0a6f5c831ac2dab2bc94731a5961d4d9d","datavalue":{"value":{"amount":"+0.91823924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4225365$51887C3F-92FF-437A-8911-35D0F1AACE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e196be5bc054dd876857ebd8f862558338ee90ab","datavalue":{"value":{"entity-type":"item","numeric-id":3126256,"id":"Q3126256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35575e71e57cb3dd0d082a3775a0ad00a4dd4155","datavalue":{"value":{"amount":"+0.85868466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4225365$90E59CCF-61FF-436B-B800-F50D423A79B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b6d6adc743d844a72fb33af6618c5d4d8c36e5","datavalue":{"value":{"entity-type":"item","numeric-id":2910413,"id":"Q2910413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae53101974f86c30e5dcd248f21f7f4fa5bcebd","datavalue":{"value":{"amount":"+0.85088944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4225365$A042A178-02C5-4E12-88CC-237902DA8994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc2226623e729e3369244c5351070d6bd8a8d201","datavalue":{"value":{"entity-type":"item","numeric-id":4471927,"id":"Q4471927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ddfbffe03a140b2cf587f06dd192ff7b7e7b155","datavalue":{"value":{"amount":"+0.85045844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4225365$6D643D99-597C-43EA-9765-3F56F8362757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a822f01e007cd2d3bc53b9da36d030057de18c6c","datavalue":{"value":{"entity-type":"item","numeric-id":3106263,"id":"Q3106263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9d2e1cf263a96c3a730baa4d81c5b894cb7f50f","datavalue":{"value":{"amount":"+0.85031635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4225365$933CCD33-E145-4E32-99B1-B528BC415AFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"High-level test synthesis: a survey","badges":[]}}}}}