{"entities":{"Q3829072":{"pageid":5858978,"ns":120,"title":"Item:Q3829072","lastrevid":54466379,"modified":"2026-01-26T23:46:02Z","type":"item","id":"Q3829072","labels":{"en":{"language":"en","value":"CNF-Satisfiability Test by Counting and Polynomial Average Time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4104388"}},"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":"Q3829072$D2CC8858-4775-4702-9DEC-B56B37070F97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d81995d4b3b4919bca9cea8ca6d79aaf330f43ee","datavalue":{"value":{"text":"CNF-Satisfiability Test by Counting and Polynomial Average Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3829072$7A01F05A-0168-4393-BC23-ABE448ACD4B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82f2af7d2197cff380cfdb992b5d4f75bd15128b","datavalue":{"value":"0674.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829072$D7493A68-D74C-4879-83C1-2756570A1C91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"406c38818520fd1cc1532f23b2e6584f9e3a6214","datavalue":{"value":"10.1137/0218026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829072$DAEA0E8B-A52A-426C-B91D-CA32C1BF07D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3829072$9E91F8A0-D475-4A10-B9CD-3C9636578563","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3829072$AE2DCEE8-53A5-4707-A8B3-2B69B92CB25D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829072$EAF91E38-E2C6-47BA-AF72-E6CF7385ADD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25fe30a6fe5285f54b3a7ea7d7e97ac0b640e4f9","datavalue":{"value":"68R99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829072$CDCD7057-B0D9-48BC-A898-DB8CD11ED016","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68b348d8eda2496ade541b873925a2a15e380b32","datavalue":{"value":"4104388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829072$F94E296B-F24B-4406-B4EB-8BE78DA43A16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad38aa2eec10ab53c2fe9824599a9fa8ea1509ef","datavalue":{"value":"CNF SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829072$E1861442-AF36-4A8F-A9A6-23E119694C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d25e8a8f94bbb98c87412be389c43d6535a62f16","datavalue":{"value":"average time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829072$D405FA9B-C843-42C1-BC69-B6881543B388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9890d2d31de82fcf86b74b799289b36efeaabea2","datavalue":{"value":"independent sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829072$C2BEC8D7-F937-4C69-964A-BD7FD414FB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fe75ecdeef7e0425c4bb1338f9134c5adf0be","datavalue":{"value":"backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829072$C9661475-3729-44C7-8BD0-F22209693B16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78a21800a31795763583b54b40324d17bf6c6658","datavalue":{"value":{"entity-type":"item","numeric-id":261377,"id":"Q261377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3829072$41429AFE-B310-4571-BDCF-66EAE86C6175","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":"Q3829072$5D2DD887-BB1D-4244-BAC4-F32E4E8FEBC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f0918c23f3f774003ee90ad121dab4b795d50db","datavalue":{"value":"https://doi.org/10.1137/0218026","type":"string"},"datatype":"url"},"type":"statement","id":"Q3829072$AF5517E3-2F5C-411E-9814-43B3232C92CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74291d7149fe23800a5f1b6a1a958e4fc6ed5d2f","datavalue":{"value":"W2050917944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829072$BE78157A-0E6B-4904-8979-4FCC0EC7C480","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ed15806f50a8fdb798295e695993e28a1d9295","datavalue":{"value":{"entity-type":"item","numeric-id":1095678,"id":"Q1095678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04399fb2eca83f40ee329a73a94cd1a37e2830fc","datavalue":{"value":{"amount":"+0.8755741119384766","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":"Q3829072$B414F2B7-4DDF-4DE5-B328-82828268D00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8528582994f570630dae67ca70f0f69831952833","datavalue":{"value":{"entity-type":"item","numeric-id":4525695,"id":"Q4525695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36bc20815b25856594a415b1118d939b37331a8f","datavalue":{"value":{"amount":"+0.8630149364471436","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":"Q3829072$25D1AAB2-4751-44D4-9572-AE8EF368E107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524429162c908c33f05338237f69067d4714a38c","datavalue":{"value":{"entity-type":"item","numeric-id":3985811,"id":"Q3985811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2906d2ce244649af119172fb67ec722ecd6add36","datavalue":{"value":{"amount":"+0.8556205034255981","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":"Q3829072$D922C42A-6D1F-43E0-A88C-D127AEA52510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e062448ad3176ad0428cc4ca722719b43b43dc","datavalue":{"value":{"entity-type":"item","numeric-id":3694704,"id":"Q3694704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a5c42238d6f015b125278b1a73921ddd2d961c4","datavalue":{"value":{"amount":"+0.8532118201255798","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":"Q3829072$4DA99EE6-7174-48E7-B0AD-55FB9D7AAD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2142a01b3a431baa188a8311ec72749273e697e1","datavalue":{"value":{"entity-type":"item","numeric-id":3832061,"id":"Q3832061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78c0aa8c5e0624b37a8aa8029d152ec8c7a1bfe3","datavalue":{"value":{"amount":"+0.8418891429901123","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":"Q3829072$4A299D3D-8C78-451C-A8CE-0B9806F93FF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3829072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3829072"}}}}}