{"entities":{"Q2818016":{"pageid":2828754,"ns":120,"title":"Item:Q2818016","lastrevid":79746392,"modified":"2026-05-06T14:37:10Z","type":"item","id":"Q2818016","labels":{"en":{"language":"en","value":"Heuristic NPN classification for large functions using AIGs and LEXSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623514"}},"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":"Q2818016$D78C7EA7-FF94-413C-8548-3E6F87ACEC62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48f298d3de256704391348234a0663582abb7dca","datavalue":{"value":{"text":"Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2818016$6D839E21-0ABC-4B80-B6A7-86B36BA15A0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80bd74692f86feb1d9619436fdeee574c3fa7b69","datavalue":{"value":"1475.68358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818016$E3D06629-7EC1-41F8-8C77-3F6A858D15E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4fafce6225e71d40abe42fa4de9f7df710d240e","datavalue":{"value":"10.1007/978-3-319-40970-2_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818016$61418F53-FEAE-4000-A752-EAD84257E700","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"136614d670f7218d42b9c5ee5b0393c71ed1e555","datavalue":{"value":{"entity-type":"item","numeric-id":491239,"id":"Q491239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818016$178426CB-19E4-4081-B578-2EC4FC787F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd80db419a4febcabfef10effe05bbc801f47cc","datavalue":{"value":{"entity-type":"item","numeric-id":1799567,"id":"Q1799567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818016$1523E665-9B20-4978-9E6F-978E67FE8585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25e62abbc0bccf124dd0a0d4b298be8b1dfda717","datavalue":{"value":{"entity-type":"item","numeric-id":2818014,"id":"Q2818014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818016$8F7E31D6-6152-49F7-BA92-EE0355607848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2b03473367eb418910613fed68d5966c6c0b9d9","datavalue":{"value":{"entity-type":"item","numeric-id":2818015,"id":"Q2818015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818016$05351AA3-D7FE-4081-9DFD-8F2F25659F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"778cc27fd89c4e34216ed8c30b3cafae6b4f9836","datavalue":{"value":{"entity-type":"item","numeric-id":1878892,"id":"Q1878892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818016$A75E0AB7-065E-4E79-8DF6-09A5651B4B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d98c5894b4cfc166b8680c2daa8c845c6c7d2a3","datavalue":{"value":{"entity-type":"item","numeric-id":929158,"id":"Q929158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818016$E063078C-84AD-46FF-A2D1-B8589CA0B32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c287079e407405d0883d696b618e0b7ff853eb0","datavalue":{"value":{"entity-type":"item","numeric-id":1020551,"id":"Q1020551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818016$A5A0F122-D63C-409E-AC7E-C2B4C8C565A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c83d828fab67264ee3effdcbdeab1b4c818c4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2817996,"id":"Q2817996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818016$E8483AD4-1956-45E5-A2B7-31CB2E2492AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2818016$A8D3A5A9-286D-4B02-B6D6-413407D1D574","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01f785ce2d99a2a02df5ccb213b9f7f1cbac2913","datavalue":{"value":"http://infoscience.epfl.ch/record/218883","type":"string"},"datatype":"url"},"type":"statement","id":"Q2818016$205C28FA-EB9A-4934-B220-6A232FA69662","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818016$378C318A-290E-4F12-8045-628C56CB931C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2b2cd7c4787df065079dd2ac00d206db1fd4d0e","datavalue":{"value":"6623514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818016$E5663350-A21B-4AD4-8DA3-AEB4ABD6A87B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7671c541842e7be2525613deb332e8ca25faf272","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818016$3C3F34CD-CFE0-46CA-BB8E-4817454C3615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f97214e6ee417b23719b1926d0dadcd8c017b900","datavalue":{"value":{"entity-type":"item","numeric-id":3612472,"id":"Q3612472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818016$11CBC7BE-B02B-456B-91C6-725986F92286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2080770c1c1f6f08cf3bbc3f7b0f6f6feeb1cf3","datavalue":{"value":{"entity-type":"item","numeric-id":5519576,"id":"Q5519576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818016$9B6B7230-F252-4B71-9C54-5EF6E90D5F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70dc07534eba676d59722b415a0bd27b41786f77","datavalue":{"value":{"entity-type":"item","numeric-id":5593643,"id":"Q5593643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818016$D446AA6A-32FC-41DC-9904-712554AA2013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79e0895cef6511a66f2f69942b4b62dbc4d4823","datavalue":{"value":{"entity-type":"item","numeric-id":2957449,"id":"Q2957449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818016$A76DED09-D7B5-40D7-8E0D-B43A545E5B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c30f6e432ce9e9ae75031144ac1199e0b83ca0d7","datavalue":{"value":{"entity-type":"item","numeric-id":1107309,"id":"Q1107309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818016$193BBC75-F61D-4EAB-B7FC-9832F05B3F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ce2da733f5b88d9479e9252311202f1549b759","datavalue":{"value":{"entity-type":"item","numeric-id":3929672,"id":"Q3929672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818016$6CE5F6F9-B9BA-4488-BB36-26BC6FCAF72E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818016$9260494C-99ED-45E1-B81A-726849207A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed66b4500809c164ad61ba9724c3cf07f26c2a82","datavalue":{"value":{"entity-type":"item","numeric-id":24833,"id":"Q24833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818016$7A7AA2EC-2315-4E36-8387-98B8266242B2","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":"Q2818016$341E9E27-0BF5-4A4A-BDA1-BDACCC7083F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f5e1d4277ae003f69bc963dccf9f4f73cdb4ec5","datavalue":{"value":"W2478522672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818016$98D2537A-12AA-4C92-833A-0423C32F6E23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7289548f5ba2e6c386a1b36eaa5022777fbea687","datavalue":{"value":{"entity-type":"item","numeric-id":2322710,"id":"Q2322710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"656b67b92c93f58f6dc4eb3393f4291b1380c7e3","datavalue":{"value":{"amount":"+0.8081054091453552","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":"Q2818016$3E9B56EA-804F-41AF-9C21-3D1B40B4CD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff856bc632d527e3198e54b16abeae6a416e9723","datavalue":{"value":{"entity-type":"item","numeric-id":4307635,"id":"Q4307635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ea52385cb6edcb88ddf9a1a292a98f6cda04aa","datavalue":{"value":{"amount":"+0.7650408744812012","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":"Q2818016$4E4C8546-63AA-4EDA-BEAB-AEB2FEACDD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaea0953ae6c10369c1f8aacd62d1412843a005a","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e522671ee67b76e5ac217be78bff12ebd2a89217","datavalue":{"value":{"amount":"+0.7340567708015442","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":"Q2818016$AE344823-B56D-41F1-94C4-EA1B74DD6D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dda3c8a687f691e64cda8795e6471f617d2b01d","datavalue":{"value":{"entity-type":"item","numeric-id":3456078,"id":"Q3456078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d731006e673b2fee95a4f9507b08e7018d0fc972","datavalue":{"value":{"amount":"+0.7314143180847168","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":"Q2818016$095D916E-C948-44F1-B54C-4EECC0C8C363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf4c734c0ef431c6f322e61ddd30b3fc39f2af8d","datavalue":{"value":{"entity-type":"item","numeric-id":2333963,"id":"Q2333963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a7fbccd2ef5be77688960bab3fb14a4bd9f84f9","datavalue":{"value":{"amount":"+0.7299031019210815","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":"Q2818016$6A00D3F5-7672-4920-BF8E-76FE07FAC989","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Heuristic NPN classification for large functions using AIGs and LEXSAT","badges":[]}}}}}