{"entities":{"Q3608655":{"pageid":5638561,"ns":120,"title":"Item:Q3608655","lastrevid":58218498,"modified":"2026-04-04T06:57:57Z","type":"item","id":"Q3608655","labels":{"en":{"language":"en","value":"A Logic Programming Framework for Combinational Circuit Synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523613"}},"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":"Q3608655$06D06EB6-A6E9-4E17-904E-1B25169B5E67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3aa6da507b7cef769c345db9c4748b14ebd4182","datavalue":{"value":{"text":"A Logic Programming Framework for Combinational Circuit Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608655$31926D98-8279-4194-9DD1-839380359901","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93d245df5091b23f54ffc149087fa6520bdd555b","datavalue":{"value":"1213.94203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608655$A676F70D-847E-47EE-B46F-7D2CFA6AD18A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49f428ce5e4b40652caa43d3f326f78269e03e0a","datavalue":{"value":"10.1007/978-3-540-74610-2_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608655$100EF4DB-3EAE-4DA4-9486-E48222D6183B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec49a6685e47abe38cbcbbcac2d3c6df36399c7e","datavalue":{"value":{"entity-type":"item","numeric-id":461477,"id":"Q461477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608655$666FDADD-6D57-41D6-BE38-F27C0D7B3496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dab31c24364b4f19f7507ae4c374efcf8ac2e62","datavalue":{"value":{"entity-type":"item","numeric-id":3608654,"id":"Q3608654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608655$0E532A78-F05D-41A1-BA88-B6B01935C04B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c84f47c65e4d1c693c9c2179cfb504e9fb62486","datavalue":{"value":{"entity-type":"item","numeric-id":3608641,"id":"Q3608641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608655$7B757919-0643-4027-86EC-5EE3EEA71447","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e03d4b2ec538fbc0e4998d600e67e2b2cfa008b2","datavalue":{"value":{"time":"+2009-03-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":"Q3608655$C67E4106-A237-461D-96E2-C86066BB75C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"532a6f0434409d2d1c3c9ebbeeade380cf8de61a","datavalue":{"value":"https://arxiv.org/abs/0804.2095","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608655$473C529F-95AD-4C6E-B61B-7E40F5DCBDAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608655$2E6AAD30-041A-4F6F-B545-CBCC4F4E89DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608655$E47E9C68-2DC2-4DE5-8918-3A99D5289446","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"303b24e7ac7852ec497c647058b314a47484d93f","datavalue":{"value":"5523613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608655$57405890-604B-4FEC-A026-0AA209B1EA50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608655$4319A869-5267-40F7-8B24-F39053DC7894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1b9a5659e74d733bed3e5f95055addce4e53bf","datavalue":{"value":"circuit design","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608655$9583F255-19C8-45C6-94FA-1F2EE0B2D281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3847730a7c4ca65891841bd5d0fd6ec154e316ac","datavalue":{"value":"combinatorial object generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608655$0585490F-64F9-4A67-B4E9-0A9C65A37C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44a0021b572d94ed44712b2aced53b3fb20c0a56","datavalue":{"value":"exact combinational circuit synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608655$49BF1E01-D939-4C86-A27C-5003CD134C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e4e60e2485d83defd65fb9d096f86d4f5676831","datavalue":{"value":"universal Boolean logic libraries","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608655$26680777-F14A-4C7E-9575-2DB68BEABE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"953aa6f601f6550abae01e1abc27ac98550567a7","datavalue":{"value":"symbolic rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608655$109270B6-FEAC-400D-8EAA-37F836217D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99f726d8ba6ab129e1accd0f45784f74bd83486","datavalue":{"value":"minimal transistor-count circuit synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608655$633E131F-6F42-4240-8BBD-902C7555567D","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":"Q3608655$1A4A0B8E-551D-4E2D-B57B-CDA836CBD36C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9e6d80074c62add8864ee6ca22935de10d27208","datavalue":{"value":"W1864142337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608655$459A64F1-573E-4A0C-A74C-402EC5FB4262","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2d1b0fc3ea6c40d3d4a639343ba89542a57a9fc","datavalue":{"value":{"entity-type":"item","numeric-id":950350,"id":"Q950350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b28092f15394ce2fe9e2f82adbe1ce18d0eee81","datavalue":{"value":{"amount":"+0.91126794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608655$3CC12FFF-4651-499D-AC06-1ACC11862749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d0a40ad484bcf9fbae2150c0ef6cb3eabb7b53","datavalue":{"value":{"entity-type":"item","numeric-id":3682397,"id":"Q3682397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7fa7525818f35a2c2bfcf1b1bc9c992991fa2db","datavalue":{"value":{"amount":"+0.90594923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608655$8E5573CB-8E82-4953-9CFC-14CF3FE55066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22dc1f8b468c6d102d37f9f4f3aad7b5a9296345","datavalue":{"value":{"entity-type":"item","numeric-id":5712543,"id":"Q5712543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79a70eb86e8b06cab4c4e00962986d2c0381dca4","datavalue":{"value":{"amount":"+0.8951194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608655$257D63E2-7B8D-4997-B347-037A45FF96C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f09651f69fc4f659b65f08f3794673dc49e66a1d","datavalue":{"value":{"entity-type":"item","numeric-id":4845057,"id":"Q4845057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfc5e716c0dc3ac0171255f3893ed634d70ba495","datavalue":{"value":{"amount":"+0.89369535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608655$11C366AD-F569-4DBA-8FE1-A77E5D7F9097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2fe60f6777c0b16f2fd9374abef1a613828c761","datavalue":{"value":{"entity-type":"item","numeric-id":3489527,"id":"Q3489527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4860748477a0533159de9dfce3a55d4a780fcb0e","datavalue":{"value":{"amount":"+0.89103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608655$4D46F4B6-202F-49B7-9AE9-5304F25BDDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a6802f8282d9ea3a78c6b31aad370e059f17f1","datavalue":{"value":{"entity-type":"item","numeric-id":805302,"id":"Q805302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4860748477a0533159de9dfce3a55d4a780fcb0e","datavalue":{"value":{"amount":"+0.89103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608655$B08E1157-3FB3-46DC-AD60-0249825943AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0874a569f3d5ed48b5ad7817f528e8c675476423","datavalue":{"value":{"entity-type":"item","numeric-id":3754570,"id":"Q3754570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1035b3177d746ee9c6a94f6ca40e2318692998f9","datavalue":{"value":{"amount":"+0.8882336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608655$4B90BA96-3F9B-4C6F-A497-65D4E077157E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbcf8df4df3e873ba4dbc9259b1eecd56276b3a5","datavalue":{"value":{"entity-type":"item","numeric-id":4852540,"id":"Q4852540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f420cec20600e060ab02ad0731a1d41062eeb9fc","datavalue":{"value":{"amount":"+0.88584644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608655$53AA1111-8B14-4FA4-B36E-97129DCBD38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e548dfc883d85892098d452834afb686e5d8fbc","datavalue":{"value":{"entity-type":"item","numeric-id":3600482,"id":"Q3600482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee3c9d03af582cb3b69e691b992ecd41e580568","datavalue":{"value":{"amount":"+0.88560814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608655$8FCA81C9-0026-4BBB-B4EF-A32D20065553","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608655","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608655"}}}}}