{"entities":{"Q5743451":{"pageid":7773002,"ns":120,"title":"Item:Q5743451","lastrevid":58605606,"modified":"2026-04-05T23:29:29Z","type":"item","id":"Q5743451","labels":{"en":{"language":"en","value":"A satisfiability algorithm for \\(\\mathrm{AC}^0\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7053329"}},"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":"Q5743451$0D05040D-9CD2-4EF2-96FD-500FB1EFAC62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b51959cc958e756ba01362c8e48738479180f0e","datavalue":{"value":"1423.68583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743451$C75C18FE-6AEB-4506-BE07-9EF55FC1B0DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afbdf0b4b75e6a0dfd1ecc76c9480c04f5fced5d","datavalue":{"value":{"entity-type":"item","numeric-id":202088,"id":"Q202088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743451$BA8DD41E-8E23-45AC-9204-F5E384CE71FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c69d158c9ec4e5975ec012911f074c639ce5287","datavalue":{"value":{"entity-type":"item","numeric-id":411371,"id":"Q411371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743451$D1436913-6B74-47CB-A079-3C35A0C89556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d72b6c9fa09679ee04e7df5acd3659b335857c59","datavalue":{"value":{"entity-type":"item","numeric-id":192223,"id":"Q192223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743451$6F5D5827-301F-483E-9548-F8D5AD93250D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51c30e7e10b5980cbf76e53c4028506438c09507","datavalue":{"value":{"time":"+2019-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5743451$D378A4AB-A63A-43CD-9CB3-0FDF2066780E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccb509d74138c8b67f7f91ac65a2b76c5a6b7f41","datavalue":{"value":"https://arxiv.org/abs/1107.3127","type":"string"},"datatype":"url"},"type":"statement","id":"Q5743451$D7FC6C63-DC49-4130-A7B4-EB58888DF049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d4e21fba4bc6688a01628ee03c20e64a3994be1","datavalue":{"value":"https://dl.acm.org/citation.cfm?id=2095193","type":"string"},"datatype":"url"},"type":"statement","id":"Q5743451$F81743A1-90B5-4BE3-8F45-22AA47C3B6FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743451$3D9E286B-CC24-496E-ABCB-D74ACA181CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743451$E16552B7-4462-4926-B182-D4FE46EC6E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743451$595E33BD-B8F6-4546-A838-B32D9BFDBCA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8a7e339e40be31c72fdab6dc7c7a4cb04fcfc99","datavalue":{"value":"7053329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743451$B870B62F-C37E-4E6A-8244-8E412C158D34","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":"Q5743451$26491461-0E86-4DCD-A677-31499FAEFE2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a4c23b508911cd4dee06950b209c7fd3b1801e","datavalue":{"value":{"entity-type":"item","numeric-id":3656852,"id":"Q3656852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743451$3338B199-448D-41C6-BDDA-3FF6CE1C5E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596375c15e8ef30b4e9a656384a80701909964d7","datavalue":{"value":{"entity-type":"item","numeric-id":1904663,"id":"Q1904663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743451$A478BA53-7595-49A1-A607-1CA84BE467DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feba96bee97bf3994b52ec474616bb8389cb60fa","datavalue":{"value":{"entity-type":"item","numeric-id":5494972,"id":"Q5494972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743451$5476359F-E5A0-40F9-BEF9-757226D14982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf7a93d9fd055f21d4bf9911f205499faf8d773","datavalue":{"value":{"entity-type":"item","numeric-id":4809068,"id":"Q4809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743451$4250EE15-D11B-4EBC-9F3E-FCFBA6DA5586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743451$AEF0DB6F-ED6B-44B3-9525-C97C5BDE2E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8d3b8fede590ea6e43c26257509cd316fa424d","datavalue":{"value":{"entity-type":"item","numeric-id":5419094,"id":"Q5419094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743451$75F94A93-9D63-4E90-84CE-F5D118F79D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743451$DDC5E9C7-04E5-494A-B4A7-939B6BDF5144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bebba68dc7dfbaf1caac8cb5c43ad35be909acd","datavalue":{"value":{"entity-type":"item","numeric-id":4484662,"id":"Q4484662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743451$4802F3DD-CFD5-40B7-8E1A-24D1BED7F408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9f0fecc35bde4269719ed65d8692abf049c091","datavalue":{"value":{"entity-type":"item","numeric-id":4850554,"id":"Q4850554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743451$BDA579CD-8CE6-422E-B263-FFA3E3174F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca2e18e22bdceb10ced114e23ee143c1222e350","datavalue":{"value":{"entity-type":"item","numeric-id":4651809,"id":"Q4651809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743451$244BF060-B2A1-4F30-8935-DA0F24583CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"417a74fabe64c2e6ef842d1903746d473548071e","datavalue":{"value":{"entity-type":"item","numeric-id":2875149,"id":"Q2875149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743451$729078A6-A2E2-403A-AF64-7F1548FFA78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d97d360c44d7876a5a277e162a1f78564aa54e","datavalue":{"value":{"entity-type":"item","numeric-id":5198636,"id":"Q5198636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743451$4B0833C9-78C2-4178-8BD2-8A1531FFAF81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d7546fcaa661aa046b5af1c9495cb8dff0e1aa","datavalue":{"value":{"entity-type":"item","numeric-id":5005182,"id":"Q5005182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58089507357bf5734c5319454f383bb323079f9","datavalue":{"value":{"amount":"+0.8396115303039551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5743451$F19E1833-D5E9-4936-A58C-B43E7AC1DB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd5fc3541cf271edf2a6c46ff972f5977d11384","datavalue":{"value":{"entity-type":"item","numeric-id":3656852,"id":"Q3656852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d408d8f03bf5bd47d970edc50a9a64112e31ee32","datavalue":{"value":{"amount":"+0.8022477626800537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5743451$42C41637-6B3C-4950-9802-ACA9CD53E2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80452e2cbb2922d6b4cecbe669f34f2976887466","datavalue":{"value":{"entity-type":"item","numeric-id":344759,"id":"Q344759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"512733fff4f8de9da1d411fe99ca06b3e6951953","datavalue":{"value":{"amount":"+0.7925664782524109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5743451$CF38C511-90CC-4FDC-A62D-4748BB5AE7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7c8c1ab1defcf63f51d6a08f408764bab7102b","datavalue":{"value":{"entity-type":"item","numeric-id":4484662,"id":"Q4484662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ca4ec57632c0c12d547b8182386de7581b370f","datavalue":{"value":{"amount":"+0.7773873805999756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5743451$6C87D0FC-B35D-448A-8C6F-F5594883F5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dadf3f1c98a14fa424b2746d4f3b9e64931922c","datavalue":{"value":{"entity-type":"item","numeric-id":5368735,"id":"Q5368735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0aca0c80790be4318ff3c6faf953e22e812ad2a","datavalue":{"value":{"amount":"+0.7767015099525452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5743451$70F016BB-8E2E-4D2F-BCEF-AAF29C805EAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5743451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5743451"}}}}}