{"entities":{"Q6864418":{"pageid":20683123,"ns":120,"title":"Item:Q6864418","lastrevid":84244313,"modified":"2026-05-14T03:20:18Z","type":"item","id":"Q6864418","labels":{"en":{"language":"en","value":"ESLIM: Circuit minimization with SAT based local improvement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8154417"}},"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":"Q6864418$6DB1EA50-3070-4114-BDF2-275307EA7A33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f181ccf1bdfd68b908932b3d7876e3b8f347fb9d","datavalue":{"value":{"text":"ESLIM: Circuit minimization with SAT based local improvement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6864418$FB7D61EA-E1CF-4A31-AD10-8B3DFDE5C394","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca105d3071f6e71a4f9c11cee65806a35704357c","datavalue":{"value":"10.4230/LIPICS.SAT.2024.23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864418$30CCE50C-ADBA-438D-A9E5-9CC9F4F2052B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32e5ea9fb1b7f2873f1eeededac29d73b9e544a5","datavalue":{"value":{"entity-type":"item","numeric-id":2118342,"id":"Q2118342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864418$BD0A3440-B5C7-4CFB-BF59-C1B9ECA39B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea7245a8985e7729dbb2100021fb8a2a32efed15","datavalue":{"value":{"entity-type":"item","numeric-id":287385,"id":"Q287385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864418$D7AB97DC-DE9F-45C8-92C0-5A1D796160F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864418$684499D6-677F-4A14-8F9C-E44033AB7B88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed61ba796b09d24654b6e63953d4a9b1b60a75c7","datavalue":{"value":{"time":"+2026-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6864418$8B16B2D8-1969-4388-A95A-2141111BACD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864418$1A2C73E5-8A5C-433F-B373-80ED1ED22721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864418$4640A09D-3628-47E3-9C08-0F75DDE222E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864418$B6A42CDD-B104-45EF-B76D-9F9A7BBA7699","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eda6d7bf09a3fafe6254f24f5e92a10609875972","datavalue":{"value":"8154417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864418$C09BAD25-4BDF-4350-A7FB-953B18CF5CE2","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":"Q6864418$4963756D-90BE-4616-94EB-6BBCC511544C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864418$05154EAA-3990-40D4-BD58-61FC997DF9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d434bf6ad13f99f756302981f152a89ed2c640","datavalue":{"value":"exact synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864418$A10B5BDA-22AF-4D99-93D4-9B8C5FADFF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f4905299c3f93bb88cc83c8dd8f24b7f12acaf","datavalue":{"value":"circuit minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864418$C661A494-84CF-45FE-9322-4602E4006D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccfacfd9f8ee76b2f848e8f0be3aac70a531b04b","datavalue":{"value":"SLIM","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864418$406FD48F-D686-4436-924B-3B6B968A39CC","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":"Q6864418$CCAB96D1-3234-412B-80D3-A362D2BC7ADA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea53d8cac22a3a9edc30f53d82a97a5e82b4123e","datavalue":{"value":{"entity-type":"item","numeric-id":1680268,"id":"Q1680268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864418$999B0982-1EA9-4866-8038-1DCC1A6A6466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a323b0769753e12c00666a77de10db58a426e5f","datavalue":{"value":{"entity-type":"item","numeric-id":5092472,"id":"Q5092472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864418$23EEFCE4-B70F-4731-B39D-AE9F98EA84D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2278598748f41c4d80d92c015f95eb36e154faf","datavalue":{"value":{"entity-type":"item","numeric-id":253964,"id":"Q253964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864418$8F7B0989-50DF-42A3-8CF8-AECD582F7611","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":"Q6864418$F15433CC-3971-478F-8746-D7F84D283F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6da7e1cac7ce7fe30e5376d1861c0c5e8e798a","datavalue":{"value":{"entity-type":"item","numeric-id":6584071,"id":"Q6584071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864418$65326462-8036-47E1-B4AF-76FE6B19DF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"289b64ad6fd378420d61d1248b1ce8e15dcf8a32","datavalue":{"value":{"entity-type":"item","numeric-id":2818011,"id":"Q2818011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864418$4CAFE0A3-E5FD-4082-9F6C-293E4C3F871B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363df53d3addb1810ec9823448e01fcd5b6e0581","datavalue":{"value":{"entity-type":"item","numeric-id":5308387,"id":"Q5308387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864418$105BA150-D35D-454A-A239-A1F088EF9624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6fdf26f393fcfd7748c133c5ba8bdb6580113a","datavalue":{"value":{"entity-type":"item","numeric-id":6579769,"id":"Q6579769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864418$8C35D34D-CEEC-4EC7-9BF0-6208DB119032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107d69d8ca98db7620611ee6ace5f0ce2d290cb","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864418$1EAC94FF-486B-4624-92F1-813AC7C0C704","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ESLIM: Circuit minimization with SAT based local improvement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ESLIM:_Circuit_minimization_with_SAT_based_local_improvement"}}}}}