{"entities":{"Q3081621":{"pageid":3092336,"ns":120,"title":"Item:Q3081621","lastrevid":51202739,"modified":"2026-01-17T05:37:34Z","type":"item","id":"Q3081621","labels":{"en":{"language":"en","value":"Probabilistic analysis of satisfiability algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5862911"}},"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":"Q3081621$E07F4E5F-50E4-4F1B-87AF-77D702BC2387","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90746576685ad6595a55b891449ecdb280cffb5e","datavalue":{"value":"1226.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081621$477DA1AC-2918-40A9-BF40-3CCE1C78222E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"791243a770867bf9a828ca3fa60256efae5a0523","datavalue":{"value":{"time":"+2011-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3081621$0E444E4D-8913-466E-87DB-A3379F5807E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081621$51F9D1E2-01C6-49F7-9A15-1AB2BC4C0326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081621$719F997D-D0B8-4528-8FAD-F7FC2A87E3B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72db8a161892eef8528b403eab96c1d6b346d180","datavalue":{"value":"5862911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081621$42DCADC1-3F15-4477-8E9D-FFF974CFF9A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0ecd2d5e81db30ca7c2e8fd7d2f8929f2149b3","datavalue":{"value":"satisfiabiliy problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081621$D8DA1E1A-6F6C-4702-A563-8C398AF2E0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081621$91718BA9-7C0D-4DA0-8EDC-4F79CCE2DD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ef157b39200e6f18121484cc2245fa1feee564e","datavalue":{"value":"myopic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081621$7B2EC545-6EC0-46A0-A053-4712E5326DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae92896316a4c29bea80e7fece75a7ef1d91129","datavalue":{"value":"nonmyopic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081621$F8CC10FA-492C-41FB-8654-A41D688373E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081621$19854CBD-AA2E-488D-8833-969206E35706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea38e1a04672e35f16c17227873bcd1b96937106","datavalue":{"value":"spectral analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081621$A48BF85C-686A-4F06-B3A7-59F420AA6506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3568036798a1c9561e6c990a7f0e038ec93d46fb","datavalue":{"value":"statistical mechanics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081621$67193340-1353-4E1A-8D2E-B13540A44ED3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb85fd2c1ce489cbecf5dc649288fae9b7018a3f","datavalue":{"value":{"entity-type":"item","numeric-id":673601,"id":"Q673601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081621$9709432E-57E2-40DE-B299-F48BEA1023D9","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":"Q3081621$35FFD18E-D62B-40FD-AC29-A4B8FA127943","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c44f22df52e492976713f563fde4e11d159f1b","datavalue":{"value":{"entity-type":"item","numeric-id":1115189,"id":"Q1115189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a9838944487bd7d507194dc1646cdea014ec776","datavalue":{"value":{"amount":"+0.8145681619644165","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":"Q3081621$18BC8C41-91AF-444E-BBFB-DB448F3B399D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcb15256d2254f35851208fe603f797e906b9f96","datavalue":{"value":{"entity-type":"item","numeric-id":3827800,"id":"Q3827800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f05baf7b0e1652ab44ad58ed570a8442d1a39a3","datavalue":{"value":{"amount":"+0.810667872428894","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":"Q3081621$0787AA9A-088A-44D4-9E0A-B5A850AB0A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf2068748f59fd6e2e2a72df0bd8ccdea859c138","datavalue":{"value":{"entity-type":"item","numeric-id":2747196,"id":"Q2747196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b298403b0a0b0c86af06cde149ea2fd55c448132","datavalue":{"value":{"amount":"+0.8035131692886353","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":"Q3081621$2CB6FCF2-8AD3-409B-A09D-C26741407BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a2f0d759626dd671d8e961165b77fa1b98dba8b","datavalue":{"value":{"entity-type":"item","numeric-id":918700,"id":"Q918700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7f4f1ff4e50dc1f221a74570a6cebdcd6b41c9","datavalue":{"value":{"amount":"+0.8015124797821045","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":"Q3081621$D4AEED55-8E47-4CFD-9591-5F4E2FCEF197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb18ccb651ab15f57db6102f0140b9aa69ada9c7","datavalue":{"value":{"entity-type":"item","numeric-id":4739606,"id":"Q4739606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d8a190b103d29a895c6369e51c13387e18232e","datavalue":{"value":{"amount":"+0.7911112904548645","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":"Q3081621$1CE63142-1CE4-4F54-8633-F2F70DA28895","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3081621","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3081621"}}}}}