{"entities":{"Q5092478":{"pageid":7122054,"ns":120,"title":"Item:Q5092478","lastrevid":39529737,"modified":"2024-12-30T14:54:12Z","type":"item","id":"Q5092478","labels":{"en":{"language":"en","value":"Finding small satisfying assignments faster than brute force: a fine-grained perspective into boolean constraint satisfaction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561755"}},"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":"Q5092478$267B7A4A-87C5-4DEE-94EC-DCF4FD224500","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5565e53dfc5d1522e1aa4394967d2f60813edc1","datavalue":{"value":{"entity-type":"item","numeric-id":477077,"id":"Q477077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$D3B84C43-B10D-4AA4-BF1F-95D1246918EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d363cb3f47628078b3b27b047f92db7ec1a5ada","datavalue":{"value":{"entity-type":"item","numeric-id":300459,"id":"Q300459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$816894F7-BE9F-4407-861C-573B11FB4220","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5092478$F2307CAB-68FF-4352-900F-7529A29174B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b40d6d013f8b048cac446d49099bd2582ef5e65e","datavalue":{"value":"https://arxiv.org/abs/2005.11541","type":"string"},"datatype":"url"},"type":"statement","id":"Q5092478$F52D2E46-4AD2-48D4-A7F4-A16682E2441E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092478$E72FF93F-E2FE-4D55-9695-C551C2C9D7DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19e55290e0adef97ac131757671ad36e337bcaf7","datavalue":{"value":"7561755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092478$880EB8F4-CBB2-48CF-8AF1-72F72F60BC71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"251523d2baf2217b76667ac6811877d6960880c2","datavalue":{"value":"fine-grained complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092478$672D3712-D797-4914-82E3-8AC80F6CABCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acf997533a5fd57e49b16c76d423428d9bae6d32","datavalue":{"value":"algorithmic classification theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092478$87AF41FA-D982-408F-9A0D-5491AD376C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6035a3553025a1110fdfb9d35b785680faeb7dac","datavalue":{"value":"multivariate algorithms and complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092478$C099BDDB-1722-4DA0-9636-83075F4433A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df25359605a7bacf8d12705a29fce2b79e2bb8b0","datavalue":{"value":"constraint satisfaction problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092478$6DBADBB6-5335-43C7-91D8-AEC277E8B6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092478$73103C74-5213-40B9-9CD4-A62B42F2DBBD","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":"Q5092478$83160D69-6424-4830-9650-519676BB3C64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1cf3d09e3bdcb466b4ce0cc5e23728695987256","datavalue":{"value":{"entity-type":"item","numeric-id":4562283,"id":"Q4562283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$628FD937-808D-4B10-8476-29D85807BD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd4c3d288dc7fc27ab5d1af725eaf2c6228f6cc","datavalue":{"value":{"entity-type":"item","numeric-id":5230294,"id":"Q5230294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$35B86CF5-65D6-4C2E-99AC-71242F3D258F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42451d9b2f091244b010a7dc1fc6a0f53a57abc4","datavalue":{"value":{"entity-type":"item","numeric-id":4369883,"id":"Q4369883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$E166E63C-95DB-442C-8637-44385D33CFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93501b25e6d98e58a3b8ede410e0dab22032f62b","datavalue":{"value":{"entity-type":"item","numeric-id":4606287,"id":"Q4606287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$29047ED5-2CFD-4078-A022-B4A8D2DCBB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39633f85c3f59cbfb465de8b6af9611f965045f2","datavalue":{"value":{"entity-type":"item","numeric-id":5840342,"id":"Q5840342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$9BF98843-1522-410C-BA5D-E711DF070768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14dcc8297489487a55a4a918210cebb056833aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4575810,"id":"Q4575810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$10FF1FB5-AE3C-4187-992C-6834FC914316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0caa5bf4a8fd3d2c1c26f1d1ffb5ab03f973c83d","datavalue":{"value":{"entity-type":"item","numeric-id":5091783,"id":"Q5091783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$E6BB0348-31A4-4E69-A72B-0ECFC171BCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ac247c4cdf6794af3cf23e4ed2fddb4f437d0d","datavalue":{"value":{"entity-type":"item","numeric-id":5494930,"id":"Q5494930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$660C0C91-46C8-49BF-A342-A7EC0F990A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"241b97f9e79b9131e4513dd791ea0204aa578a62","datavalue":{"value":{"entity-type":"item","numeric-id":3305356,"id":"Q3305356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$3C400B88-7EB6-4EB9-89A3-18CF37459F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551d1d56aa539f7df8b218f6d9eec877ef98d2a9","datavalue":{"value":{"entity-type":"item","numeric-id":2568440,"id":"Q2568440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$34DE51D9-1CD3-44C9-80CC-6178162C62FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af01e867ece0cd2f5ed5b36e1e2280b0857ccab","datavalue":{"value":{"entity-type":"item","numeric-id":856413,"id":"Q856413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$5C86E39F-D7C3-4E66-9473-F240657E176D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"841afe5368ee90e97418d34d48b610064f41e432","datavalue":{"value":{"entity-type":"item","numeric-id":708228,"id":"Q708228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$62621B8E-7975-4CFA-A326-8DA378B6666D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06455b232b15ad6e8025fc9587d194531c0b2ce2","datavalue":{"value":{"entity-type":"item","numeric-id":960525,"id":"Q960525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$62C65959-2305-4DDB-A270-6E7F4C51C5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b330a1fcd57ed03b5bb7894b903390953871d98","datavalue":{"value":{"entity-type":"item","numeric-id":2723175,"id":"Q2723175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$6B368F74-D519-44D1-9BBD-7B7C7C07B24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"709824e9bd3f1645aede079612275dfec52dc319","datavalue":{"value":{"entity-type":"item","numeric-id":703534,"id":"Q703534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$7C8D1FAD-BA47-4646-AAFC-17E88CE73B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c6061c3f6daf7454d0e9c58daef6f441530aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210136,"id":"Q4210136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$0CB42DB9-14DF-4DB0-866E-280A98FD3B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e2f22b2827015dc3a0055fc808a420af199dbc","datavalue":{"value":{"entity-type":"item","numeric-id":2706139,"id":"Q2706139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$174AA159-656E-4856-99F1-47266E60250B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9df817c630cc660d1a28648b8b18406b9b564294","datavalue":{"value":{"entity-type":"item","numeric-id":4972686,"id":"Q4972686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$FF0EAB61-7755-48A6-A57A-303ACD478A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e886da428ac269fa810549e900c3dc155ced275f","datavalue":{"value":{"entity-type":"item","numeric-id":5890961,"id":"Q5890961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$9F9F3267-9304-4351-8C29-9ADE1CCDD295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8478b1da0ca048100617620450c78b4cd4940670","datavalue":{"value":{"entity-type":"item","numeric-id":3189060,"id":"Q3189060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$71AD2886-70C1-40E4-915E-E657D7D5EB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a3998d04aa71fd6f2d571344c2133836f3f6210","datavalue":{"value":{"entity-type":"item","numeric-id":4625655,"id":"Q4625655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$CC254C5C-BF36-4813-BE55-50D1A113A17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a3d95af6ea1e8fa7589c02c05cef194403958ec","datavalue":{"value":{"entity-type":"item","numeric-id":4607968,"id":"Q4607968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$9F58F744-E7DE-41D4-8F74-891325A6B6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee582b77b6630345911c9199c665fcf56b05712a","datavalue":{"value":{"entity-type":"item","numeric-id":814421,"id":"Q814421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$5723CBB7-68BB-4068-99EF-8274C8314DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a533c85d71673e7ede6c73cb98ee5493ea601bf8","datavalue":{"value":{"entity-type":"item","numeric-id":3688439,"id":"Q3688439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$9D5DF838-0C03-4CCB-8B4C-8C9DBE4E460B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d419c36f7bef2914a509273d4f055d3ef70195a","datavalue":{"value":{"entity-type":"item","numeric-id":5704414,"id":"Q5704414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$76645FEC-44DF-49F6-8E3E-7923D40D99AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$CE729B42-02C6-4D01-9DDC-A88705811C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093fc8397e936eec865082c631fc83e3421354ab","datavalue":{"value":{"entity-type":"item","numeric-id":3495640,"id":"Q3495640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$C0FFEC4F-4133-499F-97AA-314B5A9BD571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0851dec8c1cd70e2ae0b8f70b145439389b3771","datavalue":{"value":{"entity-type":"item","numeric-id":5092478,"id":"Q5092478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$C9207A20-FB7F-4985-A534-D0D51044B027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092478$670F80FD-5323-472B-A735-D129892EB16C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e03a11033e4df706c7e76a0359c9e8afb7bc312","datavalue":{"value":"W3044778046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092478$1C3BCF6C-29FE-4918-B2E7-08320B82DBB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3efb5585c02518880d6ff9cefe0c6eb6f591a476","datavalue":{"value":{"text":"Finding small satisfying assignments faster than brute force: a fine-grained perspective into boolean constraint satisfaction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5092478$4CC888A6-B78B-4287-BB6C-7D4A5527586F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3ae956916c4433e08acdb9a072d5eb8d5605391","datavalue":{"value":"10.4230/LIPICS.CCC.2020.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092478$4F4DDB9E-CFD5-468C-987D-4DCCB82EE3E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5092478","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5092478"}}}}}