{"entities":{"Q5433256":{"pageid":7462820,"ns":120,"title":"Item:Q5433256","lastrevid":101039015,"modified":"2026-06-05T23:44:43Z","type":"item","id":"Q5433256","labels":{"en":{"language":"en","value":"A continuous\u2013discontinuous second\u2010order transition in the satisfiability of random Horn\u2010SAT formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5224118"}},"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":"Q5433256$DA69E1AA-AFFB-47B1-A2BB-8CEDCA828B10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f4034c5e5024a48c53bb3990270a43128a15531","datavalue":{"value":{"text":"A continuous\u2013discontinuous second\u2010order transition in the satisfiability of random Horn\u2010SAT formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5433256$62D2B215-F29A-41CD-A9C1-1E329EA26EC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65f9a96de1a22586cc690258779c3925de97a616","datavalue":{"value":"1147.68717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433256$9D7CA770-793B-4B89-A8EF-C52410897141","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eae9a5c7376fab625180f58f20ebd6bb1b67e776","datavalue":{"value":{"entity-type":"item","numeric-id":162055,"id":"Q162055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5433256$6C9BA2B8-8BCE-4092-93C0-0BD440D200AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b77bb448657f8f88573a3973e59c8e7d9d179eb9","datavalue":{"value":{"entity-type":"item","numeric-id":1424761,"id":"Q1424761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5433256$C8E185AB-34CE-405B-83EA-23AD2322582E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5433256$0130B24F-D338-4E09-BF0E-AF34A77D0F46","rank":"normal"},{"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":"Q5433256$12526C62-7769-4019-8213-7AFF7BCFF646","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d515cb828420070a0925c14f4a9832d5fd8befc","datavalue":{"value":{"time":"+2008-01-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":"Q5433256$B2F26363-916B-427C-8DD6-A0C3E725D7F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433256$6E18F700-A1E8-48AB-AEA5-6D72E9945928","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ee49571f8c97c3d8dd039dc4008576ad9646963","datavalue":{"value":"5224118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433256$9262906C-1EC9-4F2A-BEA1-F617A494CCC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5433256$444C3788-2AFB-4CD5-A197-64C950823653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f3e4ca58b2ed3663e2e3a4465f28160190050a","datavalue":{"value":"phase transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5433256$0C9AC914-813D-44B2-AC3C-26D5F78C1173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b76dcf6dd0cbdbc5afd7b443439105af3394643","datavalue":{"value":"differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5433256$A3D0FE76-A490-4FEF-B109-94E028F3C909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d4ac74482fea4b896682b9463a3d3e6cd45458a","datavalue":{"value":"statistical physics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5433256$C26AC072-C50D-44F8-9848-C23E71550A7F","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":"Q5433256$1C38E5D8-3749-42B8-857A-720804DA0538","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"736d4cb97fa9aff6353fc0a4da6ca96eedce9d67","datavalue":{"value":"https://doi.org/10.1002/rsa.20176","type":"string"},"datatype":"url"},"type":"statement","id":"Q5433256$8DA9BD99-800E-44F2-886E-3E286AC486E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6607f1af215e73189c60c93532f40a5bec3fa95c","datavalue":{"value":"W2950052714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433256$00824EC5-5ADB-487E-A72B-F3EF43B091A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1f2e93e2ed69514afa1568e15512d0d12ebbe","datavalue":{"value":{"entity-type":"item","numeric-id":2768371,"id":"Q2768371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5433256$00747D5F-BBDF-4671-9B92-63380B6BD45E","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":"Q5433256$915780B0-D325-499B-B0FE-63F96C2403FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87839e9cce21429fa5c0660242873028f18a79f","datavalue":{"value":{"entity-type":"item","numeric-id":4952608,"id":"Q4952608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5433256$0B3288C2-939F-40E3-AF72-0F0000A75C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd8ecffe12414298d30b6cce97696749e27d5f4","datavalue":{"value":{"entity-type":"item","numeric-id":3439115,"id":"Q3439115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5433256$9C1C6651-5FE6-47DF-BFFF-6F8FB26F1DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824c9af687040c612a07dabade67e4643eedfc23","datavalue":{"value":{"entity-type":"item","numeric-id":4411948,"id":"Q4411948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5433256$583FCEC0-B94E-48D5-AA0B-C66107BB27D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5433256$FA2F70E3-BCD5-4233-9E52-4FE243D9E8F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"851ec15059f00af2b024f8312a75552367d1332c","datavalue":{"value":"10.1002/RSA.20176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433256$CA6CFD03-E1AA-4470-A072-21A0F614A10B","rank":"normal"}],"P1643":[{"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":"3390551fadb2b17114885ba22103e40c3ff5efc7","datavalue":{"value":{"amount":"+0.99999946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5433256$BC3CE14C-1F1C-4C54-9400-0EABE734810A","rank":"normal"},{"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":"d202508048f78b0124dede082d5372ec605eeec8","datavalue":{"value":{"amount":"+0.9222292","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5433256$7D5B254F-380D-469E-BF3A-4B765BF41652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e9bb176c89def2fa2772a76378e2a876da84cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4543632,"id":"Q4543632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d202508048f78b0124dede082d5372ec605eeec8","datavalue":{"value":{"amount":"+0.9222292","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5433256$E31EAA77-3216-4032-AE17-BDAFC6B618DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66ecbe22a0a5b78e36a23294820665746273fa63","datavalue":{"value":{"entity-type":"item","numeric-id":1025462,"id":"Q1025462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c158e1a81151337250d00e2d0cf74b1df7d10c","datavalue":{"value":{"amount":"+0.9063264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5433256$4D49A1C1-7A11-49EB-898D-91B4E26CDCF7","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":"87e36a957556fff3c281d46f795f0c5d565f58e3","datavalue":{"value":{"amount":"+0.897473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5433256$7D194ECD-A412-48EC-BA60-DD1C43CD7591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d745e38b80b5c7d1a07b8d0b8d47e997f98accc","datavalue":{"value":{"entity-type":"item","numeric-id":3154710,"id":"Q3154710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"422d433b2b28af55ead5750bb67784de28c0e050","datavalue":{"value":{"amount":"+0.8924481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5433256$87286274-E073-4DF2-A5D6-1FBBE2D84386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c8447b52e7940e49788a0177e5437f3dafca1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3101335,"id":"Q3101335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9707ed84c1f9467238bbae0c093429d3a39dcad9","datavalue":{"value":{"amount":"+0.8774698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5433256$E93B1C4C-9FC1-408F-ABEF-D318FE7CD900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"985234452789b4a53507f76a69c78e78d0267aeb","datavalue":{"value":{"entity-type":"item","numeric-id":5091218,"id":"Q5091218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"266cfd5876a466a775bfd9b68f7cd571ba23558b","datavalue":{"value":{"amount":"+0.8726633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5433256$25D8EF03-DDD6-48BD-B8D9-6222D1F256C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecde7a24da94816b9d42e5b7ab33720dd1a35064","datavalue":{"value":{"entity-type":"item","numeric-id":4595474,"id":"Q4595474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dc72ce7f352a5348c25ef1000c1222ecb295097","datavalue":{"value":{"amount":"+0.8723761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5433256$4B45BA5B-4468-49D2-833D-59D9FB3ADAE1","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":"Q5433256$CEC0F80E-21BC-4B36-8641-ECD63997DA22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A continuous\u2013discontinuous second\u2010order transition in the satisfiability of random Horn\u2010SAT formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_continuous%E2%80%93discontinuous_second%E2%80%90order_transition_in_the_satisfiability_of_random_Horn%E2%80%90SAT_formulas"}}}}}