{"entities":{"Q4943870":{"pageid":6973452,"ns":120,"title":"Item:Q4943870","lastrevid":91694174,"modified":"2026-06-04T23:49:54Z","type":"item","id":"Q4943870","labels":{"en":{"language":"en","value":"On the Power of Logic Resynthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1417088"}},"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":"Q4943870$289A38C0-93C5-4843-BEF9-554A9C3A3B8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6273ccb2ba668718020166c7a9811e7bec5e4fb","datavalue":{"value":{"text":"On the Power of Logic Resynthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4943870$9ECAFA1B-5616-4590-82BC-386B0B0C7BE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83d9dc47a4281ec3a0dfb7abd642cc67ebf0497d","datavalue":{"value":"0965.94032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943870$97E2077C-D776-4207-AF30-08BC91E96107","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c0038e4513c2ccbcb6989acf9621d7e7a7cf096","datavalue":{"value":"10.1137/S0097539796335480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943870$B76EF793-22B1-47E7-95FA-B1316E632993","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e2b4abe254445dfd54650f469cd96302708f7a2","datavalue":{"value":{"entity-type":"item","numeric-id":4943868,"id":"Q4943868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943870$B8094481-3DAF-44FD-AA79-C089DFBE1DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f066d69e9058c4dd4453cad806ddab92c83572fe","datavalue":{"value":{"entity-type":"item","numeric-id":4943869,"id":"Q4943869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943870$C04A455F-DAAB-488C-9BA7-E629510B351D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a1ca9c847278e289e7d0232deb955d7dde3bfd2","datavalue":{"value":{"entity-type":"item","numeric-id":673761,"id":"Q673761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943870$F3E145BA-B23E-4E3B-8F36-F1D8BC1DC4AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943870$8B21C15D-974B-4487-A447-5FEE7A699C00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34d8f8a2fdb2c9bbc826b2f87c09997bb61fb458","datavalue":{"value":{"time":"+2000-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4943870$6B0D9402-6BD5-4EA3-B46C-985BC8F91BD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"007f7f82691f1d7656215e5be329d57b0bfdf5e7","datavalue":{"value":"94C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943870$F300D7C3-9A22-4398-A5DD-A9A175D6D641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943870$C513D8BE-A40F-43EB-B76D-8E8287AB576F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943870$94206A7B-925A-4136-86E5-209B33006D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943870$829C608A-21C4-4BEF-BFD5-6D2C84532044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943870$70491588-BD2D-42D0-B558-027361C76763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"705b41d2df1bfe0206402bbfcc9144df992e875c","datavalue":{"value":"94C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943870$9B7AD425-3F7C-4AD6-99F3-6A02978B9CA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f861ce363cd9dc6fd3b40c3211614bd2e25a22fa","datavalue":{"value":"1417088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943870$469D7D15-87B8-41F5-A2D8-301EA5D84C85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38dd5c31d373d76e6308be0f17a0875fd182b166","datavalue":{"value":"VLSI design","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943870$58DDAEF5-BFDB-4BC6-A6B6-235F22421958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18c55a7d8bd6f13fb4abfbd439ca5e69df2a4573","datavalue":{"value":"linear arrangement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943870$34749A9A-6C6E-4E95-8A6F-55845C69AD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"390e658a45bd5a27ec430aa19bad387fd361adb3","datavalue":{"value":"large scale networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943870$8BB8E7A9-4F41-4965-B44D-E983E5DC2ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"732419945bc6996b02f057229514c61c84dcd895","datavalue":{"value":"resynthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943870$970A3D6C-783D-4BCB-9B9A-B4EFB5CC329F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9281ddadb0ca2f05376b43cb02bc600146085360","datavalue":{"value":"timing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943870$EE574225-0D62-4D64-9D4D-A2BB63D0B416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22bf57f5dd7fd116d34a1a789bd1bf0b6d51d6a1","datavalue":{"value":"VLSI layout","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943870$6C43BC40-C2E1-4459-87D8-24CDDA464203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f99d6d35c6e7ca944bf74ef4a2485305282262ea","datavalue":{"value":"minimax mincut problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943870$0BF3B373-B1F6-4AD2-8419-2D4FD5684584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1b9a5659e74d733bed3e5f95055addce4e53bf","datavalue":{"value":"circuit design","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943870$77271F2B-5C57-446C-AD0C-E570A717AD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b013c127a9c06b38dd366b156b7414ace722aae6","datavalue":{"value":"series-parallel directed hypergraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943870$03363A85-A7F5-418F-9217-23E74C0300EB","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":"Q4943870$75086466-7D76-4F2C-8A4D-485DF2821128","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acabfdf92a4a715f57393b2f6661d758068a7d0e","datavalue":{"value":"https://doi.org/10.1137/s0097539796335480","type":"string"},"datatype":"url"},"type":"statement","id":"Q4943870$B4DE4AD0-881A-4F72-BBF3-E8D8BD475B3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c2e3b56a42eff1ddcd2705e30961d1f5b3948cc","datavalue":{"value":"W2008555705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943870$F9CA29E5-C931-4B32-9649-763BB6A288A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19097458628a1168b8af62cbf165815f0f7ec354","datavalue":{"value":{"entity-type":"item","numeric-id":2733988,"id":"Q2733988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f74090e66ee18e71a0164618a085dcb3aefbe3","datavalue":{"value":{"amount":"+0.85987526","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":"Q4943870$5133B2E5-993B-401D-B778-7933F943399C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ff975e3f85753d860895f97c6854cef1f0d3b9","datavalue":{"value":{"entity-type":"item","numeric-id":2703691,"id":"Q2703691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c16b52f2ee512380332921ac4dd4edc7029e9ef","datavalue":{"value":{"amount":"+0.8550116","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":"Q4943870$825468E1-7688-4634-8DA8-42030FDE0B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99be93658b969bab1c8b060a8b3d656d151da87","datavalue":{"value":{"entity-type":"item","numeric-id":6075144,"id":"Q6075144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d4f466d7ea0d54fd4a31e3af0b37e59aa3881fd","datavalue":{"value":{"amount":"+0.8512356","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":"Q4943870$5723589F-D9DE-4007-B7DE-779E826BE05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32c7828a0bbb3ddc5843f0fa8b4a9c89b941cd2e","datavalue":{"value":{"entity-type":"item","numeric-id":2851703,"id":"Q2851703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8598c3794a8de9a3c52849edc31e7e912ad5c635","datavalue":{"value":{"amount":"+0.85042965","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":"Q4943870$7D33C993-0F03-4CA6-853D-65868E4B8ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9822c3c02417740c40ff622d7a047ac557fdee10","datavalue":{"value":{"entity-type":"item","numeric-id":4222856,"id":"Q4222856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f88f374f5914ca0c70380156bce9c7e3d4567a11","datavalue":{"value":{"amount":"+0.8466309","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":"Q4943870$378E0A66-4E22-4A93-BB92-47DDAE7FCF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089712b1aefb9a812f71c9db1efab06ef62497b2","datavalue":{"value":{"entity-type":"item","numeric-id":687163,"id":"Q687163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f24f160bfe7da8147e46f36d95fa7abc4829d6","datavalue":{"value":{"amount":"+0.8450893","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":"Q4943870$85E8EABD-F352-4E02-8176-7394989A54FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ccade99046e730fb3ebb825952068a4c171517","datavalue":{"value":{"entity-type":"item","numeric-id":4933275,"id":"Q4933275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"335bbe77ca6129bd7b476db157cb42693f70ee9e","datavalue":{"value":{"amount":"+0.8425462","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":"Q4943870$3DAE7F4B-757B-4AA8-80AF-50EDE2CE7201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95bf4e7cec3be29039b124e7af997727f9b30b50","datavalue":{"value":{"entity-type":"item","numeric-id":1931904,"id":"Q1931904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"150f8ede55523496319972e9ebfb473911d99edd","datavalue":{"value":{"amount":"+0.8425461","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":"Q4943870$3D3C1FAD-281A-44DB-8BDA-334B6F5CC2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c258e25f3203eb7e6bfcfe9c250e699bd064464","datavalue":{"value":{"entity-type":"item","numeric-id":4263840,"id":"Q4263840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"857d48c9e1e6a342490affa15511bc4ca688d682","datavalue":{"value":{"amount":"+0.84184915","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":"Q4943870$2B4BE2D1-88B8-495A-939E-A9109ED317A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Power of Logic Resynthesis","badges":[]}}}}}