{"entities":{"Q6584071":{"pageid":14195227,"ns":120,"title":"Item:Q6584071","lastrevid":42363354,"modified":"2025-06-13T01:59:27Z","type":"item","id":"Q6584071","labels":{"en":{"language":"en","value":"SAT-based circuit local improvement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7893105"}},"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":"Q6584071$4427F919-86B7-4D04-81BA-F22C5D3BD215","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7573f3e11ae4bd15ad7bd08178d2cdcbec537bb9","datavalue":{"value":{"text":"SAT-based circuit local improvement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6584071$D5E1C006-B8FA-4F82-96B6-73AE5A180D0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"063157bf65bc20e92e5fe70d62bf6e86c4c12861","datavalue":{"value":{"entity-type":"item","numeric-id":1625134,"id":"Q1625134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584071$C4EB3CFA-8048-4A3B-851F-1AF8C8230173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"215948d03ef26d9de4ff35968395287cb4dd680f","datavalue":{"value":{"entity-type":"item","numeric-id":6584070,"id":"Q6584070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584071$68E3DFBC-E2C0-4C1E-8CB2-6EEE35234572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"872cff46619f7b7ed1565b9de513de4d345866ce","datavalue":{"value":{"entity-type":"item","numeric-id":6584047,"id":"Q6584047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584071$7ECB4065-DC82-417C-93E1-95EA5B3812BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b289cc5d2b085b187346f3152c3a69a70d0e3be","datavalue":{"value":{"time":"+2024-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6584071$DFCA1327-B92E-4D72-BD0C-80C37139BEA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584071$5B6C303A-4FDC-4E6C-B767-3DEE17D92DB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86e0029158f652d9dc034b07c34369fdb5b92b2e","datavalue":{"value":"7893105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584071$579E9683-FF6B-4245-A0CA-323C94E24E17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c2773dc0449ebf96bb1747bc4f2b2f0a2faa889","datavalue":{"value":"circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584071$D6C29B2C-B294-4181-AA05-8D9C33CD6F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584071$41EFD20B-C0F6-4376-94A1-55D1B6435D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584071$931058E6-E01B-498B-8AB4-79AB67BB9C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584071$ED38F88B-E8CD-40CD-B8BC-FD9A8602E07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543c7d0ffd0c52aa92a423848e3694a5bcbfca1e","datavalue":{"value":"SAT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584071$4186CCDB-8A22-4299-A9D8-1D96937C6476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ffcc3545bd7b0f94969c35c641231860a38c51","datavalue":{"value":"heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584071$CCBCF4E4-7DF9-4551-99F5-A24F58195811","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":"Q6584071$8B703767-3BA4-409A-B965-38E04FAFC6E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ece837a2f80af06cc2a3e7ddbeee3c966f6f2518","datavalue":{"value":"10.4230/LIPICS.MFCS.2022.67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584071$1ACE80E4-8A05-4399-BEEC-8077328FEF56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6584071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6584071"}}}}}