{"entities":{"Q354655":{"pageid":356422,"ns":120,"title":"Item:Q354655","lastrevid":61343595,"modified":"2026-04-10T22:45:00Z","type":"item","id":"Q354655","labels":{"en":{"language":"en","value":"A satisfiability algorithm and average-case hardness for formulas over the full binary basis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6189567"}},"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":"Q354655$C7909CB6-0AB7-4E6B-9B71-287501AFF037","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce4347262ac61d1fb990a5388c340283b5a5a714","datavalue":{"value":{"text":"A satisfiability algorithm and average-case hardness for formulas over the full binary basis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q354655$BFDB7DB1-E863-447B-B07E-EE3A2481B596","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9009fbbb26da0a659bc8e2c148b93dd820b9cb4d","datavalue":{"value":"1286.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354655$D35CF906-B9C4-4267-BA9E-EA436DA250E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7818cb23a1bb748e287bed7600ee230497de88d","datavalue":{"value":{"entity-type":"item","numeric-id":354653,"id":"Q354653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354655$17BA74B6-487C-464D-ADA7-167F9615136B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4e5396d9a36ba6724dd0754e38207864e7997b4","datavalue":{"value":{"entity-type":"item","numeric-id":354654,"id":"Q354654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354655$B2475273-6AD4-4047-A614-696450A518B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4472b31ebff52fa964618256e5b76c8eb3e874c2","datavalue":{"value":{"entity-type":"item","numeric-id":172540,"id":"Q172540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354655$586734D5-6835-46EA-9D01-F2A5FD69C73F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"088890f9b4ff718d86d26dd0e453fa439be94488","datavalue":{"value":{"time":"+2013-07-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":"Q354655$882AEFD1-D105-4BCA-847D-F4199D77F87B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"133be33a55ae9b81849cc3afd0b15b3db7e6709f","datavalue":{"value":"http://hdl.handle.net/2433/189761","type":"string"},"datatype":"url"},"type":"statement","id":"Q354655$9051D175-C369-4404-9F6A-A11E935B7AD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354655$474984B0-874D-465A-BC6F-34872AF908CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354655$9195BFA2-8FE6-4CFA-A3ED-B2383102F4F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ac4098304c90deda67fbd01bedb01bcdd14edf9","datavalue":{"value":"6189567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354655$25569D98-2F15-463C-806D-B66194743DF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q354655$43B188E2-5FD9-458A-A7AF-ED41DC7CF090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c22d5775221423046cc5c67c2b493cdcf52842","datavalue":{"value":"exact algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q354655$E3567E1B-18E3-4160-9944-3A7290CA3B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bccbc79784966e398b95ff3d7b94087fea97b322","datavalue":{"value":"formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q354655$CA4088B4-2D8A-4166-AF51-E421983101C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f5ddfa3adfe1605714a6661e380ae93d8eca2b","datavalue":{"value":"parity gate","type":"string"},"datatype":"string"},"type":"statement","id":"Q354655$3716B553-CBD9-4F20-A304-3F352130CD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c574c3b223eb07af792832c32f065c756c7417aa","datavalue":{"value":"average-case hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q354655$D6687C81-DA43-4B55-9FCC-51103844FE22","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":"Q354655$A50B3FF2-E1BD-4F4F-BC06-7B14FC1547ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1d5d63e6642c1935ac9a830fa394a5815b78d0b","datavalue":{"value":"W2104306727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354655$31F373DF-41E1-454E-B3D1-8EFFAE6CBA40","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"957892286a77298fd7faca30f1f60dbb53f94696","datavalue":{"value":{"entity-type":"item","numeric-id":1054720,"id":"Q1054720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354655$96C728FF-AA78-4565-AC2C-02D8D0ACD944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85bcbc2413915441e613dddba43820875359d54a","datavalue":{"value":{"entity-type":"item","numeric-id":1103591,"id":"Q1103591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354655$005C7844-3051-4084-84C1-2B24BE0731E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11a76d8dc3c71a3b236610822138527f3e1ebb2f","datavalue":{"value":{"entity-type":"item","numeric-id":5191645,"id":"Q5191645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354655$63BB8F46-C926-48B9-BE32-BBEDDEEED781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354655$EF506B10-F847-4036-A218-E96BF445E086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7302e37e2f07d9f99f0e23e37df6b4199971fc23","datavalue":{"value":{"entity-type":"item","numeric-id":879611,"id":"Q879611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354655$BFE892FD-87D7-481A-BBEF-5CE047A48293","rank":"normal"},{"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":"Q354655$0152B1E4-B057-4083-BB30-CC04832CFB43","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":"Q354655$7E920B56-D164-4F0B-855E-01EB9C435F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c2203ddfc26917d54d8693018456bf91635b0e","datavalue":{"value":{"entity-type":"item","numeric-id":5309695,"id":"Q5309695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354655$AC1EF6CD-55D7-4A90-B963-8932E3034843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"877834c4ccddc8fbecd398cf14bee4029dffc4b0","datavalue":{"value":{"entity-type":"item","numeric-id":3434543,"id":"Q3434543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354655$B914C555-0A0C-496C-8CE7-0548FEDCFCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e39951d487d3bf563c62341ed381ea5be4f484","datavalue":{"value":{"entity-type":"item","numeric-id":3318683,"id":"Q3318683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354655$F6FD11D1-D6B6-49B1-B89D-5D812000F03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c6d2f448b6afbbf7878ca0dc26e9b064406ca8","datavalue":{"value":{"entity-type":"item","numeric-id":4696224,"id":"Q4696224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354655$E4D7BEC8-C00C-4A22-8B77-14382014F2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b13b685ebea75fca73a69c0d8054a0ad9bcc269","datavalue":{"value":{"entity-type":"item","numeric-id":4388862,"id":"Q4388862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354655$FE5C88CB-EFE9-4858-9E30-6BD23A002AEB","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":"Q354655$99328080-5A0E-4C84-94AC-E2F68DA1BEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0867e5b8e568040593883afe89ddea2141d6360","datavalue":{"value":{"entity-type":"item","numeric-id":3281059,"id":"Q3281059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354655$4D0DAF31-A193-4B24-9450-973F98072638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351fcf8547cbdfeeae47fd4ed591a61bf10131f0","datavalue":{"value":{"entity-type":"item","numeric-id":5743451,"id":"Q5743451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354655$40B6CB63-3676-4147-B606-5859D9B86B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ea69f74864cda791c584826b1d2473f229dadf","datavalue":{"value":{"entity-type":"item","numeric-id":3578298,"id":"Q3578298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354655$43C351F0-7B9F-47A3-A2B9-C63CA4A2A99E","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":"Q354655$8C2377EA-C483-4F2F-86CC-7EC10CE80D57","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":"Q354655$B35FAEC1-5C17-4CC6-B1E1-B59998B7E0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b409306bdf364930adcbf624496cede43048b2af","datavalue":{"value":{"entity-type":"item","numeric-id":1337458,"id":"Q1337458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354655$5F100592-7007-4F04-A538-9388195B16E1","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":"Q354655$75C3E7D7-A4E6-4B58-A68E-274D3874CC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1cdb78b58b3c4f84ce7fcc218e8798a2d59b84c","datavalue":{"value":{"entity-type":"item","numeric-id":4218095,"id":"Q4218095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354655$FF540779-125E-4B2E-BDA4-5BC3C2CE5EA9","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":"Q354655$0377F7E2-40D3-4C48-9B89-F171AE075373","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":"Q354655$041DBC1D-8865-4B03-91D1-00C465BB9B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ca56e2567efb82f93df103d66246d5b49d4735","datavalue":{"value":{"entity-type":"item","numeric-id":653998,"id":"Q653998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354655$5027EC09-259A-48AA-AB81-3EF5A3B8C273","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8352c228bceeb0606c9f31c6aa945c26b389871f","datavalue":{"value":"10.1007/S00037-013-0067-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354655$3D79DF3C-527F-411A-B68E-08B3F2134205","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597041e59d27bc288d979855e7ebac79c3b32e45","datavalue":{"value":{"entity-type":"item","numeric-id":2946392,"id":"Q2946392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbf653b0463050c4559c8edaceab90161f869dab","datavalue":{"value":{"amount":"+0.8850858807563782","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":"Q354655$ECF18702-A24B-4D08-B5E6-ED4A07223546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651006af4f64a7c4bbcbdf5718f802833b4f6a47","datavalue":{"value":{"entity-type":"item","numeric-id":4651809,"id":"Q4651809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc585e0abe82f3b20e17c9675f7a3510ce0f6784","datavalue":{"value":{"amount":"+0.7945286631584167","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":"Q354655$3807C599-EE3C-4D26-ACEB-42C09DCE24E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba94f9d1a8e84e11fe69fd8e1e542e08d1782b7","datavalue":{"value":{"entity-type":"item","numeric-id":4924642,"id":"Q4924642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41538c4bfdd33e601a4897d3237eb34da9626bbf","datavalue":{"value":{"amount":"+0.7845905423164368","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":"Q354655$6CE404CC-0EF7-42D8-9A34-814BDE2B4640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19cd0537ada4fa42e2bdd7d601b6dd90a0afc84","datavalue":{"value":{"entity-type":"item","numeric-id":3829072,"id":"Q3829072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21575bba7ad0dbba5236dea0ce5ff43b4c1b3786","datavalue":{"value":{"amount":"+0.7806015014648438","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":"Q354655$1CBEBA17-8851-4C42-B238-653F25854F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1fa86bb5f67d0f806395b601846298917bf334","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a75a1bbd59a1bb2f55d0157112481fdbddb28275","datavalue":{"value":{"amount":"+0.780525267124176","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":"Q354655$9733BA24-15E2-4BB6-AD97-DACDD31C8454","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A satisfiability algorithm and average-case hardness for formulas over the full binary basis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_satisfiability_algorithm_and_average-case_hardness_for_formulas_over_the_full_binary_basis"}}}}}