{"entities":{"Q59242622":{"pageid":59148753,"ns":0,"title":"Q59242622","lastrevid":1858424561,"modified":"2023-03-22T18:04:17Z","type":"item","id":"Q59242622","labels":{"en":{"language":"en","value":"Improving CNF representations in SAT-based ATPG for industrial circuits using BDDs"},"nl":{"language":"nl","value":"Improving CNF representations in SAT-based ATPG for industrial circuits using BDDs"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0432 \u0442\u0440\u0430\u0432\u043d\u0456 2010"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"cc279d0effd0084adc053d017f6924140fd53e88","datavalue":{"value":"10.1109/ETSYM.2010.5512763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59242622$43F96DCB-A451-41D9-831E-5868BFB65E52","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59242622$A70656E9-CF2B-4567-B8D8-798FFCDBD80D","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"96b3d2e5dafaa6cb4bda38faf5a6ba005f7e28ef","datavalue":{"value":{"text":"Improving CNF representations in SAT-based ATPG for industrial circuits using BDDs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59242622$3BD0967B-1079-40FA-8DA6-D30008566C02","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"82b73545b0d72022c47f8d09a3be6eec06b8e288","datavalue":{"value":{"time":"+2010-05-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":10,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q59242622$8AD63D02-98BE-410C-8696-E60FD2642CBA","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"84f3f48e0cdc4816e92e26fa961abb76ef80508b","datavalue":{"value":"Rene Krenz-Baath","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59242622$F747579B-9E4D-43F2-AA8E-2698D5732FD0","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"3108f601d0f4422b1fbdfd930c4a977c472c3b9b","datavalue":{"value":{"entity-type":"item","numeric-id":1378532,"id":"Q1378532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"4990327be231f83ac48dbdf7aaa489bbab4def83","datavalue":{"value":"Rolf Drechsler","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"ea4583c18f699186700d21642b477a2dc1d345c8","datavalue":{"value":"5","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q59242622$6888783D-F673-4992-BC46-DE29AF44AF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"c46f8897ecc132346bad4ac99dfd25e9b44ae524","datavalue":{"value":{"entity-type":"item","numeric-id":71006642,"id":"Q71006642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}],"P1932":[{"snaktype":"value","property":"P1932","hash":"22580016acd21979d5cb08960cab079e3b365073","datavalue":{"value":"Stephan Eggersgluss","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545","P1932"],"id":"Q59242622$0A8BECE7-44F4-4EF2-B21C-F7583ECC6355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"c59a3d30f7947157fc0c0c6343241381e0bc6223","datavalue":{"value":{"entity-type":"item","numeric-id":71006706,"id":"Q71006706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}],"P1932":[{"snaktype":"value","property":"P1932","hash":"dccc56042cbe50a774615ccfc639cacfe85bcbe1","datavalue":{"value":"Daniel Tille","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545","P1932"],"id":"Q59242622$1C2341AB-3871-4373-AB7C-410EA0BB4BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"ac5a9be991bbe1e37e2d1ed47f0ae870123fc468","datavalue":{"value":{"entity-type":"item","numeric-id":117264676,"id":"Q117264676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"cbff8d4b3b7b35f905ef3147a7a6cb88845a774f","datavalue":{"value":"4","type":"string"},"datatype":"string"}],"P1932":[{"snaktype":"value","property":"P1932","hash":"5c0a78ebaa199b3763d4a2eabd7a6af9a26155c7","datavalue":{"value":"Juergen Schloeffel","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545","P1932"],"id":"Q59242622$9563D12B-57DE-45FE-B6BB-70DE2CAB15C7","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"3635fd64e2923cafe61cc3f4e9ea90437ae3497b","datavalue":{"value":"conf/ets/TilleEKSD10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59242622$9B24C912-34AC-4E1E-98EB-BF4B9207819F","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}]},"sitelinks":{}}}}