{"entities":{"Q2786909":{"pageid":2797647,"ns":120,"title":"Item:Q2786909","lastrevid":83326595,"modified":"2026-05-07T07:14:27Z","type":"item","id":"Q2786909","labels":{"en":{"language":"en","value":"TG-Pro: A SAT-based ATPG system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6544917"}},"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":"Q2786909$A28F51B7-E7BE-401D-947A-EA8CF90A5B90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b662e8ebe5f47a434c2d9253a1bbcd133b8a32e7","datavalue":{"value":"1331.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786909$35A8F77F-3002-47CB-A783-7F83F2173F53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20cfcd615a285faca129319a5202dcedea165bf2","datavalue":{"value":{"entity-type":"item","numeric-id":303029,"id":"Q303029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786909$9F414F5D-9F6E-40F9-8ED6-2B6E2C05D25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786909$0E0B480C-F36C-4DB8-AAFE-12028C4181A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f429de4bb61af0cec7dd689742f7976bba897976","datavalue":{"value":{"time":"+2016-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2786909$B04F6148-73F4-4E7D-8A1A-F9AE69CC0282","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786909$87B39D52-D446-42C8-A560-B3A470A182D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63846fe1d63f0792d4e936584ed2ca7184dc674f","datavalue":{"value":"6544917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786909$B7CE3535-1D74-4760-930F-FAB78EC3A9AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bf4d158fb211d31162a0d4080caef5be66ccc53","datavalue":{"value":"ATPG","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786909$DE7B6002-1EF0-48F9-8719-97CDAAC99077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1934f40d284fc172229cf1dab09384f82b8e45e8","datavalue":{"value":"Boolean SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786909$870F1D14-1254-476A-A65E-BA2F14B05170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88d63a61fe905d9d280d775ae3489416fcd5b9ed","datavalue":{"value":"EDA","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786909$F91E8C6C-14C8-4D9E-BE7F-8B1D6B02DE29","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":"Q2786909$383098EE-48CF-40C5-ADD5-EF7B3098061B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e32783a9ab8a46fa2c3c8bb4b6bd2603397a1f6","datavalue":{"value":{"text":"TG-Pro: A SAT-based ATPG system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2786909$C01B6D94-0D7A-46F8-8C4D-BE3437CE4370","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b42cd1190c17abf3583de3251015c8863d46fb20","datavalue":{"value":{"entity-type":"item","numeric-id":6618904,"id":"Q6618904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786909$7CA99B5B-E718-40F7-BE2D-D9D3582DC773","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121e5706cd924fc931393e0d32be01ebcce2254e","datavalue":{"value":{"entity-type":"item","numeric-id":3631306,"id":"Q3631306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc60c96e94179ff77152a3d8498fa5b265dcf36e","datavalue":{"value":{"amount":"+0.8256889581680298","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":"Q2786909$CA989B65-85BB-4147-ABC2-28CEE4D13585","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":"a6d3eaa10649728a2dd38781f6ae452f2ca42a86","datavalue":{"value":{"amount":"+0.7986597418785095","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":"Q2786909$8524C3F4-A1A5-42E1-A2C4-B9648BD09A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875fa20a403e3086793eeefa974c2d02108a4d71","datavalue":{"value":{"entity-type":"item","numeric-id":3396552,"id":"Q3396552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2c238789c45700f2b271f9160d8eee8f52622a9","datavalue":{"value":{"amount":"+0.7407209277153015","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":"Q2786909$0ABF9CF7-82BE-4B1B-8E43-3D6F2FDB6390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7048c2181170b752005ad3f66a3d21e30878f02","datavalue":{"value":{"entity-type":"item","numeric-id":4037375,"id":"Q4037375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1d4e3655cf2665560158d937874fff82ed1ac85","datavalue":{"value":{"amount":"+0.7321537733078003","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":"Q2786909$81E93509-87C8-43AC-BC10-1E98E4E599BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35984a5402e5ff5dca6ea85c3fa9b042c093ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a95e3167151184451a50afe6d3e97816fb8729f","datavalue":{"value":{"amount":"+0.7304979562759399","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":"Q2786909$D4A19466-9968-4CA9-8901-AA25E6D9BAB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"TG-Pro: A SAT-based ATPG system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/TG-Pro:_A_SAT-based_ATPG_system"}}}}}