{"entities":{"Q4933200":{"pageid":6962782,"ns":120,"title":"Item:Q4933200","lastrevid":58374621,"modified":"2026-04-04T22:52:25Z","type":"item","id":"Q4933200","labels":{"en":{"language":"en","value":"Branching process approach for 2-SAT thresholds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798767"}},"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":"Q4933200$0D7213F8-7489-4EA8-8698-0F9355F03939","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02eb94ff048bf2d063352d626d10ee92e3ced22c","datavalue":{"value":{"text":"Branching Process Approach for 2-Sat Thresholds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933200$96C9E0A8-4BBC-4110-9293-E3B2805F178F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"808966da264a2e7befb9fd6ca87ecf4a7a1bd089","datavalue":{"value":"1214.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933200$AEA8BAE0-FC1B-4407-8766-447E64B0B7DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95e03469b8abf1198e8e71d89e5f9540ea9718d3","datavalue":{"value":{"entity-type":"item","numeric-id":185102,"id":"Q185102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$9ED7C6F9-1D92-4CB8-9881-802DE5CB8150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0806a4d639d63610c3571b49d2dbb412638e66bb","datavalue":{"value":{"entity-type":"item","numeric-id":244991,"id":"Q244991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$D381FE9B-A8F2-4093-A054-AD3E4041D05D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebe9a5bc1b6378d630da2e93b60927ccacee2ba3","datavalue":{"value":{"entity-type":"item","numeric-id":59385,"id":"Q59385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$63FB4A78-DC0F-4C30-85A2-07B5B74EF8F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933200$2EF0461D-3B46-4172-BC09-26F9CBB7EB07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b37ef559a7ee0b6cac8f98470d09cdf786c237d7","datavalue":{"value":"https://arxiv.org/abs/0803.3285","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933200$214B1166-0225-439E-A873-77EA2D6F6F16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933200$A234927E-DF2E-40B7-A570-45B783CBF374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933200$428DC404-9191-41C8-BDA5-9E72364BF887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933200$0C6E4DDB-6C5F-4AC2-A651-467081593F16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2234b40f1b9e7ad71aa5309d411086b4775d5789","datavalue":{"value":"5798767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933200$6AC9EBEE-BF62-4D11-AD55-D8A132A69ED1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b6bac09f8f25df29378bd5c3af8e79dca6821e","datavalue":{"value":"2-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933200$3A7C5A83-0133-4928-8FE7-E9BC6B9E1D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933200$04937A27-09C6-4C1B-A7B1-8AEEE6181716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011292841bfecc5a96af7eefb5f2207525532434","datavalue":{"value":"phase transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933200$E907D7CF-9093-4AEB-B33B-FA71D1117A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43338cb930874daf17ca17f8562def85d6ba331a","datavalue":{"value":"two-type branching process","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933200$EABBD598-5638-4E47-9DF1-A1AFE225C726","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":"Q4933200$3EEEC93B-4680-4E63-879B-D40A392C4722","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b820152307981e32bf832394027be3ca1675809","datavalue":{"value":"W2044574028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933200$0299E014-287D-40A3-9D39-FED2494C7AE9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"213888b37453d8aaa1d0d856afbc3c9660e59705","datavalue":{"value":{"entity-type":"item","numeric-id":3191968,"id":"Q3191968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$A3ACF45B-FD29-467C-83C4-85E6E1EBFA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fb04515f456952574e37fe18c959d696b38307","datavalue":{"value":{"entity-type":"item","numeric-id":4821034,"id":"Q4821034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$38514410-5B65-43E5-A63C-17AAD9F5088D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03ed455aa03a39582e8642c14989042ccc1554e","datavalue":{"value":{"entity-type":"item","numeric-id":5891921,"id":"Q5891921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$03D9920E-47BB-4EB9-A1AA-8A763C78CC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c75f1b5517e4acfdb89634dc8c32222fc0620f9","datavalue":{"value":{"entity-type":"item","numeric-id":2746215,"id":"Q2746215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$77E21694-AA66-4BA7-9B7C-5AB24B0D9731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$A109AB44-D3ED-419E-B1DE-BA68C0CF4E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b07d6ae8072ec0b52d1a52248f558d67752e38c","datavalue":{"value":{"entity-type":"item","numeric-id":2743189,"id":"Q2743189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$B14F7A45-618B-4BFC-8517-FFCF26EBF8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca53ad94423f90b2960fbf6a8505860cda9e7763","datavalue":{"value":{"entity-type":"item","numeric-id":2725029,"id":"Q2725029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$D18D74AC-758A-44E3-8FE2-33666262ED0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c16d03080cf104b6d9587e78c576489f573cb47","datavalue":{"value":{"entity-type":"item","numeric-id":4228436,"id":"Q4228436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$8DA015D2-25DA-4044-A562-0837C73DF4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$E40DCAF7-CC53-4492-ADDC-C0B7568E4EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a636ac2095ac4c899e506b6adf7e39ac4e07d75","datavalue":{"value":{"entity-type":"item","numeric-id":2642316,"id":"Q2642316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$11A2EA89-FE54-4F86-B2EF-BADE5CEFDA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ab5428b9311d289af7c342defd2d6767de6574","datavalue":{"value":{"entity-type":"item","numeric-id":2271431,"id":"Q2271431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$2625F96F-9A38-44DD-95EB-E2289D31F5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6940ddaca0716cce9edd8f622e908bdbf2dbd208","datavalue":{"value":{"entity-type":"item","numeric-id":3989744,"id":"Q3989744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$29B1F304-B4B3-4804-9ABB-859535CBAAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"745d58229c0fb21835c844d95a6994edabc6e175","datavalue":{"value":{"entity-type":"item","numeric-id":1233445,"id":"Q1233445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$C4932C19-9D70-49EE-8290-26E9787099B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256c0e265dfef282ea4224d2df1e7fcf0e5ac817","datavalue":{"value":{"entity-type":"item","numeric-id":4257709,"id":"Q4257709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$692F10CE-25D0-4E9C-8CB2-D60F2ECEBCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46a8157b90326cc6f44bffa8150bb95253d14c8","datavalue":{"value":{"entity-type":"item","numeric-id":676451,"id":"Q676451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$5A698F07-3C3C-4925-AC9C-465176AAD953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"479e9b41a3125e1a3eece2fd1e69404c7d16360b","datavalue":{"value":{"entity-type":"item","numeric-id":4434438,"id":"Q4434438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$F243751D-4062-4876-B82C-AAA6AED65DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d42f805ef5db31812cbf2279b384a177aa8dc1ab","datavalue":{"value":{"entity-type":"item","numeric-id":3608298,"id":"Q3608298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$48B2CF60-5A22-4787-9862-87BF239A16D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe527c70667abdcc4643bcdaa21cf1b7741a262b","datavalue":{"value":{"entity-type":"item","numeric-id":5486323,"id":"Q5486323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$1ADC58C6-ED0D-4E40-BA62-9ED6CCB0F802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c5a09eff1f6fe74c8959f33adbe34c8bf5fb58","datavalue":{"value":{"entity-type":"item","numeric-id":2541444,"id":"Q2541444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$51488CC6-EE6F-4A04-AA49-5824334AF6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e7d90d80651ef73449b528c0f193c9108d01731","datavalue":{"value":{"entity-type":"item","numeric-id":3546340,"id":"Q3546340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$F6A48274-1177-4701-99CA-B39F540DF5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e9e5cea5a6e817d1dce64aea7c9dc0d68e013f","datavalue":{"value":{"entity-type":"item","numeric-id":5471051,"id":"Q5471051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$8065543B-D371-478B-A5EA-E2D63DA6F464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b777c1c0d3ab3beecc00078e9fd9a0a3182e1e0","datavalue":{"value":{"entity-type":"item","numeric-id":1017883,"id":"Q1017883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$3E284DB1-DF0B-4EC2-8915-25612881DE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aaff56899c9d83c7edc182fdd871ee1eb568ebd","datavalue":{"value":{"entity-type":"item","numeric-id":1607007,"id":"Q1607007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$00345EBB-B79E-4ECE-8A24-673C3292A6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f2b45686c9e19d11823814e9ab7dcc5a33bad3","datavalue":{"value":{"entity-type":"item","numeric-id":2931378,"id":"Q2931378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933200$9791E9DA-6906-448F-96DC-B2043C97CF91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2446513474acc651e435cf6a1ef274003ca01b91","datavalue":{"value":"10.1239/JAP/1285335410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933200$98AE2893-A79A-4F72-8107-ABFFE65FF207","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e1c75a1d9886354ccda37be3abf7d4fce49dac","datavalue":{"value":{"entity-type":"item","numeric-id":5096838,"id":"Q5096838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"115dc252050e2544d468ae49daae713777fe4b69","datavalue":{"value":{"amount":"+0.8175073862075806","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":"Q4933200$CF4718CE-27CD-43EE-A8E5-B043ED918794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a8d01fe2bdc8b006dc4bf8b9029d4908258164","datavalue":{"value":{"entity-type":"item","numeric-id":676451,"id":"Q676451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa3bf52142ba6b24ebd697325a7bf09fe47bb80","datavalue":{"value":{"amount":"+0.8162063956260681","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":"Q4933200$FF1FE116-E6A2-43CB-B044-9FC62DB943A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aefa707b5b413fbce23c4b586e4bc1aed08fa5c6","datavalue":{"value":{"entity-type":"item","numeric-id":4821034,"id":"Q4821034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aeb8a2db1b564354bafdb6f92a580c2898bbabf","datavalue":{"value":{"amount":"+0.8160809874534607","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":"Q4933200$174F8E4C-6167-411A-8659-63D789CFE90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"face938ba9c8ce07d5feef9cfe0e9b11f399b8f9","datavalue":{"value":{"entity-type":"item","numeric-id":1961467,"id":"Q1961467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d64d9f35bd9a657664070c6f285e0f55d09e868e","datavalue":{"value":{"amount":"+0.8040943741798401","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":"Q4933200$84432B79-3677-4E04-8CD4-84652CF27FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2062d10d923b36edf49a05cad71c4dd6097c7655","datavalue":{"value":{"entity-type":"item","numeric-id":1877674,"id":"Q1877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f67553eb09d8cc8768403c1b0ba18f59eb9dca8","datavalue":{"value":{"amount":"+0.8015103340148926","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":"Q4933200$E31A0A25-E8F7-4480-9CBA-331200A6DCA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933200","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933200"}}}}}