{"entities":{"Q4380447":{"pageid":6410046,"ns":120,"title":"Item:Q4380447","lastrevid":46537347,"modified":"2025-12-25T00:01:45Z","type":"item","id":"Q4380447","labels":{"en":{"language":"en","value":"A fast deterministic algorithm for formulas that have many satisfying assignments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1129207"}},"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":"Q4380447$64E9E38D-A617-4F75-89C6-E62AEDA648A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44bd226822245b2d75c6389ad830290e4c4e99d8","datavalue":{"value":{"text":"A fast deterministic algorithm for formulas that have many satisfying assignments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4380447$84A329BD-4201-4BCF-A0AB-68DE7E2A713E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adf8f7843742c8fbd6dd513ac7730feafd16477e","datavalue":{"value":"0897.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380447$067FB4E1-F7A9-4E6A-B816-E4B9FD9C34CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"082fc9f964d52bb224385bf2fb43b8343199b054","datavalue":{"value":{"entity-type":"item","numeric-id":234710,"id":"Q234710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380447$290E7223-1A99-4862-A2C4-D6EF71685A87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7765eefed21fdf2360b9d246dd6272bcc4bb251f","datavalue":{"value":{"time":"+1998-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4380447$8383D02B-860B-43C4-BA08-98BC2A26B861","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aba90596954d5a01f2734745a6d5cd72cc8fbcee","datavalue":{"value":"https://semanticscholar.org/paper/cb16dd1d1e87fcac630b941febd836a22aed6f56","type":"string"},"datatype":"url"},"type":"statement","id":"Q4380447$A08FB514-3DA8-4731-9F01-34492A97165C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380447$24B4F107-BC5F-4F4B-B983-748335439570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380447$AAF8EE76-95E5-444F-A8FA-BE1E64C36688","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cc9b4b7b699e4b9d45edd1d7d1d9970693ea5b6","datavalue":{"value":"1129207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380447$5E53A03C-FE9C-4CD8-98F1-78D6AC4C17E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e59e6be5de645e1a7522fba62c2a22dfc813cfde","datavalue":{"value":"satisfying assignment for a Boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380447$AB776A40-3BCE-415B-A825-FA588B3CF1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"610a630ffab00b7233f7e3ba00b63a0c5e848bea","datavalue":{"value":"deterministic algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380447$28ECA2F0-9265-47EF-BFE2-AF2A53030C7F","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":"Q4380447$2228CC1E-A52D-4173-A6BD-1B24D516103D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2f1a256d9c085cbd6b0fe3fae79ffac741d2c22","datavalue":{"value":"W1999002596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380447$9726E760-C317-4BDC-B7C9-70964CE55E8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac6da406fb0df28613dbd16aafca407e2fd003a7","datavalue":{"value":"10.1093/JIGPAL/6.1.59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380447$7DD547D7-F615-44AB-8C35-22979EFDC114","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380447$C020668C-E0F6-4C73-BD4D-1527924E4FFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e0bc311994bdf87e3efaff257b0465926553a2","datavalue":{"value":{"entity-type":"item","numeric-id":2942635,"id":"Q2942635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d5c3115f05afc8779cb2c16fa7690dc3c4ef483","datavalue":{"value":{"amount":"+0.8323356509208679","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":"Q4380447$F344CF3C-AC81-4314-98CA-B0536F8F330C","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":"735337084161108fdd8c992c16a498db2e1de1c8","datavalue":{"value":{"amount":"+0.830244779586792","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":"Q4380447$A74A67C4-F878-400D-A2C4-CD95457DC15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d755cbcea9ea1530e84cf28bed7a4adc673ad0","datavalue":{"value":{"entity-type":"item","numeric-id":727982,"id":"Q727982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9fd5979ce5cd5baa7ac396b17688f092f9aec6b","datavalue":{"value":{"amount":"+0.8284571170806885","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":"Q4380447$DF93DCDD-7316-49C8-9BED-F1A749670CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce923eacc97dcf52d2ee2c6ad6cb58dbda7f936","datavalue":{"value":{"entity-type":"item","numeric-id":3576756,"id":"Q3576756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce4457baae116de55aa6d948d55536356b315b65","datavalue":{"value":{"amount":"+0.7886734008789062","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":"Q4380447$8A57B7D4-EF1D-4F7F-B659-694F9CCD130C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873428e5aa7859779d79a6d2386cb091088772a6","datavalue":{"value":{"entity-type":"item","numeric-id":5390578,"id":"Q5390578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce6bcd6f46ce5eb4022351524ab2dfa72bd3fb1","datavalue":{"value":{"amount":"+0.7818775177001953","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":"Q4380447$892DEFFE-5421-4FFA-BEAA-F357B443A2D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4380447","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4380447"}}}}}