{"entities":{"Q4225366":{"pageid":6254967,"ns":120,"title":"Item:Q4225366","lastrevid":81941969,"modified":"2026-05-06T19:43:15Z","type":"item","id":"Q4225366","labels":{"en":{"language":"en","value":"An approach to test synthesis from higher level"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1238918"}},"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":"Q4225366$560D2317-81FC-476F-95D4-C56891756655","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f084150b47c2872c143be67bb6245de258f7e196","datavalue":{"value":{"text":"An approach to test synthesis from higher level","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4225366$976AAC7B-708E-4E4B-AF65-7595CF467D68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e4f9f50344e1e69877494461d3ed44fa79ee43d","datavalue":{"value":"0908.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225366$A29AE7BE-B598-4BBB-9163-2D763FA08FD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50c56e876e264116d078da6c5e6b4358b827f64b","datavalue":{"value":"10.1016/S0167-9260(98)00023-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225366$677D6933-58D6-43D8-847B-D1B76542782E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"132650a0e3fcb8f96c61a4ccd8caefd0f0e9b4a5","datavalue":{"value":{"entity-type":"item","numeric-id":1606862,"id":"Q1606862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4225366$DA7FB88B-DFBE-4E10-B9C5-7F8DF64B5899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14455f890ec28cb47f9022f0aa4739800056644b","datavalue":{"value":{"entity-type":"item","numeric-id":673012,"id":"Q673012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4225366$021DED24-CF58-4F08-AC5D-570EE20CCBF5","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":"Q4225366$6FFFD19F-EE78-427D-A0C4-27D12675B996","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":"Q4225366$3AA7B369-0539-4755-A1CC-F35411A80BF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3cb322112ae56aec500b334b7351f32fb107365","datavalue":{"value":"68W35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225366$2AF552E9-A0F4-4D4E-9A21-B18BE0379E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225366$5D0F3109-3CBD-4B76-8CCD-3CF4AEBC0C80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"043fe83c85c02a8be4104e579674f5dd2e11273e","datavalue":{"value":"1238918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225366$1D9C86BA-1A06-4881-97A6-F49878D27A08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60893b19873951289c4cffa4988662b3b84228a2","datavalue":{"value":"high-level synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225366$6C671275-532C-4213-AADC-F0B0D9A485CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e943645dd5a685a03caecb6091d16dc425d988ac","datavalue":{"value":"testability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225366$0708059D-C2DF-48A6-ADE6-03591E9C2807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a505ed2896c846dec99b28548ec0095368641df","datavalue":{"value":"sequential ATPG","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225366$8FADA44B-4810-4111-83F9-CC6B92BBF15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b035bdf89e518961c18568b6695948bd3e2c38","datavalue":{"value":"non-scan design","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225366$8AEAB26B-BB20-40FF-98D7-1CDBB65545AB","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":"Q4225366$76BF1761-9045-43E1-A9CD-D3AE7235514E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0f39bba7657cf00429ab96cbfb6e086bb4440a1e","datavalue":{"value":"Q127279380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225366$0C4EF072-8BB4-42CE-984B-311D19EDCB43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5969de98a9de966a8e97212c28c9b42b317f8ea0","datavalue":{"value":{"entity-type":"item","numeric-id":4225365,"id":"Q4225365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6512a9a80dc58d707e9a41e9378b5e1b7d478b63","datavalue":{"value":{"amount":"+0.870426595211029","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":"Q4225366$55AD6CE8-8BF8-4C04-9501-2B6E1AF38FB7","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":"22208b2d31abed9ec068fcdf3dd4747922f13589","datavalue":{"value":{"amount":"+0.8383983373641968","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":"Q4225366$44DECC30-1979-4D92-8FF0-3D1C48F1773D","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":"cea5a014ef2aa878654a862eced485b971c18eee","datavalue":{"value":{"amount":"+0.7861828804016113","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":"Q4225366$B97AE7A1-383B-42F2-BE57-686045C96DC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An approach to test synthesis from higher level","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_approach_to_test_synthesis_from_higher_level"}}}}}