{"entities":{"Q4543632":{"pageid":6573224,"ns":120,"title":"Item:Q4543632","lastrevid":97191968,"modified":"2026-06-05T13:33:10Z","type":"item","id":"Q4543632","labels":{"en":{"language":"en","value":"The phase transition in random horn satisfiability and its algorithmic implications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1777575"}},"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":"Q4543632$88D6D807-E9A3-4691-B2D7-55FC5C40AD00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f4a1ec518bbac3f05d7f58712f946fa9488e2fe","datavalue":{"value":{"text":"The phase transition in random horn satisfiability and its algorithmic implications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4543632$BCB8809E-243B-4063-AC85-BE11846ADF1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e14783698a062cd0b02524b4bf379880145c6e40","datavalue":{"value":"1066.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4543632$5258F4DA-E4C5-480F-A276-813678F3D472","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffa85d9912418bd5ff11b5aa4a0a27f951e2a1ef","datavalue":{"value":{"time":"+2002-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4543632$8FABE778-AB07-4137-8AF6-82AB12A5EFDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ba87e8d2b10752d3041eb4731367ca867818d78","datavalue":{"value":"https://arxiv.org/abs/cs/9912001","type":"string"},"datatype":"url"},"type":"statement","id":"Q4543632$9307D26E-FCDD-4E37-9FD9-57D2ACF86698","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4543632$EE5BED7D-3FF4-417F-931C-BE49EB1BD7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4543632$9281CCE6-9F93-490D-8D44-F53CA33CFD6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb0443908e46c0311c2d422095d13f0304fa70c6","datavalue":{"value":"1777575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4543632$43F3FF41-5CFC-41A7-95C9-BD39FA48D37D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011292841bfecc5a96af7eefb5f2207525532434","datavalue":{"value":"phase transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4543632$3C7ED391-E44D-42A5-BE51-B5228006A2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d5fd681a05a7e5775fa6d9abf9f78a3f7902fbc","datavalue":{"value":"random Horn satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4543632$93353F09-8832-4FD6-9402-8B0B349E7C34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b88ab3fb71a4aafb294f7c8f5ef994c2050fce86","datavalue":{"value":{"entity-type":"item","numeric-id":1194654,"id":"Q1194654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543632$2E4DAF9B-3118-4DA2-8A6B-21008152D5BD","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":"Q4543632$42B0E085-E95D-489C-941B-18EEDB1F85F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"949775e2b251a1da5546fb7b34e699368b76cdfd","datavalue":{"value":"W2031284352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4543632$4C2294EA-4E59-4989-A1A8-430BE8971BA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89df7c280a99400b8f816e3dc3b2d0d14b612ce","datavalue":{"value":{"entity-type":"item","numeric-id":4302833,"id":"Q4302833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543632$4F8370D0-32B5-436A-814B-86A954165076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cf5c188bcce9490a2b63c18bca3c3259df4b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4012216,"id":"Q4012216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543632$1A5D489C-1584-4B3E-83ED-A8FEDFC37052","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":"Q4543632$E5A747A3-5C3C-4AE2-BC54-D04E901906C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c460f983de9e6a420aef566a3398a70e655aa7d","datavalue":{"value":{"entity-type":"item","numeric-id":4876696,"id":"Q4876696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543632$790DA46A-C5A5-434A-A345-7CBC93D38523","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":"Q4543632$AE8803C1-BA13-4F9A-9A47-C653F03834E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041184ced68ec1bcfc7e3558db4714d4dc908858","datavalue":{"value":{"entity-type":"item","numeric-id":4050192,"id":"Q4050192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543632$4CAEC0FD-B15E-4B11-8483-AA42FF7CF109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f6665bea66defab85ae02cb03a506d2407d573","datavalue":{"value":{"entity-type":"item","numeric-id":4252413,"id":"Q4252413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543632$5624ADFB-B888-47DC-8F1A-CD1381AE9417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49347a96ea5f7172477fd3a5c9b8312b90cb768c","datavalue":{"value":{"entity-type":"item","numeric-id":3101335,"id":"Q3101335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543632$7AAB9021-F3B0-4310-BE37-339525080F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e11bf65cb6459492b00543657811c7c16e1dde47","datavalue":{"value":{"entity-type":"item","numeric-id":1055441,"id":"Q1055441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543632$B8D68F69-34CC-4819-A998-652C85143AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"295a6b5029096b77d3f4a5262923a095c1a2fd02","datavalue":{"value":{"entity-type":"item","numeric-id":4863617,"id":"Q4863617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543632$A3002E91-D25F-4EF5-AA3D-E5FAFAE412B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2499f070fd0dfae5aaadf25b62eee8f8ef1d7e3","datavalue":{"value":{"entity-type":"item","numeric-id":4237477,"id":"Q4237477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543632$DE765F1B-E772-445C-94D5-1E3CF439CF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a339e90c78a672c77630a69601c05cdcb6aec006","datavalue":{"value":{"entity-type":"item","numeric-id":4704799,"id":"Q4704799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543632$C974A5BB-4197-4A52-AC06-A9197BEE7306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34da21d2e3fa3e67c2ba7ad8a54e7566b0adae6","datavalue":{"value":{"entity-type":"item","numeric-id":4369856,"id":"Q4369856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543632$2B86BD0B-242A-4C24-B490-4D0A23240755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543632$45C23311-28F2-4F94-B308-5E32CC964CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543632$B11305D7-A9B8-4C92-81B5-8FA1EF56DAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff3b564b9966733fb2eba8af126a57bd6d93a22","datavalue":{"value":{"entity-type":"item","numeric-id":673602,"id":"Q673602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543632$235E4FA6-E853-428B-A19D-2EA7702DDF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee65bc4aa43c14118c666b68da1f700e602d8ca","datavalue":{"value":{"entity-type":"item","numeric-id":4866081,"id":"Q4866081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543632$1FC63B29-0B5F-489E-87F0-441E6F6E95FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02c5aa549d351001231e5f68049f9913df61db5b","datavalue":{"value":"10.1002/RSA.10028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4543632$4FDC12F7-D2AF-4181-AE9D-A648BCC58C01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"607ae7f7d11ced7a8909533172911c64cec6dcc4","datavalue":{"value":{"entity-type":"item","numeric-id":6486797,"id":"Q6486797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543632$A2C3DACE-9F87-4B15-A60F-57E06339BB6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f820ae2d54e37fcb82d07b53376c2eb14e364b09","datavalue":{"value":{"entity-type":"item","numeric-id":4252413,"id":"Q4252413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c545ee83bc661582caf8c35be8b7be923a9716a2","datavalue":{"value":{"amount":"+0.9365105032920836","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":"Q4543632$98F65CEA-7387-4874-9AD4-2C021C25266B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f663ef9f1c1d28524b4c0e7fa62f6b8f84323f8f","datavalue":{"value":{"entity-type":"item","numeric-id":4660724,"id":"Q4660724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d335a9b8d7250d833a9957fb8c071f63c8e40545","datavalue":{"value":{"amount":"+0.8614245653152466","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":"Q4543632$BFF41679-EC6B-4D1A-8E43-A43D7D5EE94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8246d7a75b5ddd0864e16e4f88d9302c277f233b","datavalue":{"value":{"entity-type":"item","numeric-id":5931554,"id":"Q5931554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1799ba031b5eb2bd123f3ec521d91d58802f4770","datavalue":{"value":{"amount":"+0.8437483906745911","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":"Q4543632$AF117764-10E5-4072-A123-A5A776C5809C","rank":"normal"},{"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":"237ee6960a8ab35dd45a40435af8ca3bbbe99cbd","datavalue":{"value":{"amount":"+0.8432057499885559","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":"Q4543632$579AB407-CDFC-4D74-9C3F-ED6F81DFC3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eb75d2bf541634568eb8b235550b846954ff5c6","datavalue":{"value":{"entity-type":"item","numeric-id":5479388,"id":"Q5479388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58acb7e65d6d9f42a282bef945c1b4aa873297e","datavalue":{"value":{"amount":"+0.827018141746521","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":"Q4543632$DE1B3710-319D-471D-8FE6-3B6286F1E4E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The phase transition in random horn satisfiability and its algorithmic implications","badges":[]}}}}}