{"entities":{"Q6535557":{"pageid":14146700,"ns":120,"title":"Item:Q6535557","lastrevid":57575991,"modified":"2026-03-31T11:26:04Z","type":"item","id":"Q6535557","labels":{"en":{"language":"en","value":"HOLL: program synthesis for higher order logic locking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7793086"}},"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":"Q6535557$C422CB86-CF56-4775-9AE6-E872FEAD5535","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dea121bfaef57de022782de758b3caa753cd4878","datavalue":{"value":{"text":"HOLL: program synthesis for higher order logic locking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535557$1994BD29-0811-45B6-9C71-58C61258432B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"907426c50b41ddcffd8c394c925541afcd1cb13f","datavalue":{"value":"1547.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535557$67EE36AD-BAB0-4F3A-9C0C-B6ADB6673DDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d2294468aea3ad1c844355f7b3b7a86fbc3189f","datavalue":{"value":"10.1007/978-3-030-99524-9_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535557$757D068C-55A9-47DA-9ABA-98A120F9317D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5701f5e709a199a5886fc9185e9daadf700e68e5","datavalue":{"value":{"entity-type":"item","numeric-id":6535555,"id":"Q6535555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535557$E4C1499B-18FF-47A1-83D2-CEE8E42CF3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efeacf6545df4858a366b2da0bf09ea5f57d5251","datavalue":{"value":{"entity-type":"item","numeric-id":2982347,"id":"Q2982347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535557$176A5DBC-1828-41AC-807E-FE7FE8F4452E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edbfbec950b04724c0289d80edc1f488db229110","datavalue":{"value":{"entity-type":"item","numeric-id":6535556,"id":"Q6535556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535557$73BF3E6B-E26C-4DCA-A1EC-50C29CD2F6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a335d3216c840b0f532d821b4d36a0aa3284250a","datavalue":{"value":{"entity-type":"item","numeric-id":5222983,"id":"Q5222983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535557$6F2D2E29-944D-4DF7-9FFF-1ADC6E4E3A55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-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":"Q6535557$8E7D6A6C-F560-467F-93C6-E8F91BF36124","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535557$90D10CF0-902A-48DE-9D5F-C71AECB24D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535557$856CEA8F-25C0-4D75-B90E-F872EFCAE96C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e445b2457a9574ffe055c775e20cff64c256b921","datavalue":{"value":"7793086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535557$051C70A3-DBBE-4DFA-BA4F-54E766FF49C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2fd985cfaa7f649326b00e2c83ebafbd46dd752","datavalue":{"value":"logic locking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535557$A38266B0-29C0-49FE-BB05-8D13E5209E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535557$DE82FFAD-DC10-49CE-A0C1-AD7AEE830E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f89bd9b36d1a68d13e22c1d3a9dc4f8d5b2862f","datavalue":{"value":"hardware security","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535557$88CB345B-2703-43E6-A385-2F75D2407BC7","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":"Q6535557$DA7D76B3-8030-4631-A05E-AF5E79AD1CBF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d3c32dafe21411d3188c5863e97e4e7a656cfad","datavalue":{"value":{"entity-type":"item","numeric-id":5139286,"id":"Q5139286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535557$2636DB21-9D15-4167-B7AD-0FF1096B5BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"427a050d6a10876443a15cfe34d5c026b05dff9e","datavalue":{"value":{"entity-type":"item","numeric-id":3761672,"id":"Q3761672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535557$374A7325-831B-4199-BE37-85E72F6652E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c39ec815399067ee56be3b60331c1e424e8c34","datavalue":{"value":{"entity-type":"item","numeric-id":5222988,"id":"Q5222988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535557$D067881B-883F-4B94-ACA4-B34BA10C2C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4029778265e06f1ef865d8eb6b6b1db229eda5d2","datavalue":{"value":{"entity-type":"item","numeric-id":6535557,"id":"Q6535557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535557$C427D263-07C8-4527-B727-D2F353CFCDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ce097ac54a7e4155b36a538c9575e607272270","datavalue":{"value":{"entity-type":"item","numeric-id":784131,"id":"Q784131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535557$2E3DC705-CF8A-45AE-B819-77355A945E50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b62ce0904fefb44fd5e978ebc7189162b93e7d9","datavalue":{"value":{"entity-type":"item","numeric-id":5114636,"id":"Q5114636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c6d5d97fa0e8f8a7154859ef7b0639c9643b9a2","datavalue":{"value":{"amount":"+0.775891900062561","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":"Q6535557$0D735BB1-BEAC-48D9-B608-BCA5E966696E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a308389d1540da1223bafd9aad3c6c757646bc72","datavalue":{"value":{"entity-type":"item","numeric-id":3593103,"id":"Q3593103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a75453c230c74128e2164cb952ee70df13e1553","datavalue":{"value":{"amount":"+0.6714501976966858","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":"Q6535557$052B3D68-5F61-4BE5-A7F2-4E9464E40C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9abccdb3ab810f7ddf200c50b07780bce82ce72","datavalue":{"value":{"entity-type":"item","numeric-id":3381881,"id":"Q3381881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf73491d7b67619d14ad6133c8bd15a19503eb15","datavalue":{"value":{"amount":"+0.6619676947593689","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":"Q6535557$A688C682-4693-4032-962C-68AE23D5B1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbed91437e4912c71b9044faacfc576a76d44d9f","datavalue":{"value":{"entity-type":"item","numeric-id":3656837,"id":"Q3656837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d5f2a3f29916d8f6d2652d75e88cdc0866ee1a","datavalue":{"value":{"amount":"+0.6593133211135864","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":"Q6535557$844AA705-EFEE-4B85-8B22-87053A2FA96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d418bad2b209426164b8c37602211787f88bc5c","datavalue":{"value":{"entity-type":"item","numeric-id":5757727,"id":"Q5757727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b924bb89cf907d7ba6b1c273e343537e51dfd3","datavalue":{"value":{"amount":"+0.657622754573822","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":"Q6535557$C191B387-790F-4DDF-8115-8F17BA18E282","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535557$B5067DCC-6D17-4F19-8073-6A5B672D9FAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535557","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535557"}}}}}