{"entities":{"Q5931554":{"pageid":8108356,"ns":120,"title":"Item:Q5931554","lastrevid":47604526,"modified":"2026-01-02T05:02:34Z","type":"item","id":"Q5931554","labels":{"en":{"language":"en","value":"A sharp threshold for the phase transition of a restricted satisfiability problem for Horn clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1591274"}},"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":"Q5931554$2F76E590-84EF-4B60-8B4B-8E01A06B6E1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93073ec760119846cae0e2291f1ed2f67d695bc8","datavalue":{"value":{"text":"A sharp threshold for the phase transition of a restricted satisfiability problem for Horn clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5931554$B9C1C75B-862B-40F9-8D33-4B5255F6C5EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b390f1cf894255813f359963e1a00eaa60e38c6f","datavalue":{"value":"0970.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931554$4B9E6758-7E3B-45ED-87D5-B6167EEB7106","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc5775b2ed296d1abb82a6c2c51b14456293f70f","datavalue":{"value":"10.1016/S1567-8326(00)00002-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931554$F8069060-72AC-4AA0-931D-2D9378B9626A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a266e429b8e23469baa7cd769b303cf70be10d1c","datavalue":{"value":{"entity-type":"item","numeric-id":324698,"id":"Q324698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931554$218C69DF-8495-45D0-A231-FB285745C85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc8d9b33f32965e8dd4ca494ebd5cb1e5444da5","datavalue":{"value":{"entity-type":"item","numeric-id":1028895,"id":"Q1028895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931554$B530D80F-03ED-40D6-B3C3-AB9A9AEE305B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931554$8FF0EF89-FAC9-47ED-89B1-1D404456526B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a6c7b0a5320eed24c7f2c07c64e6d8f1401b73b","datavalue":{"value":{"time":"+2001-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5931554$4046BD55-02F0-4832-A8DF-A59B8DF37F2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931554$2163EF08-3310-4343-8B88-20242967114B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47f34c9d7667a0adeef51979026adcde4e63068b","datavalue":{"value":"1591274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931554$1165ED32-A637-442E-84A3-791D526B00DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5931554$6C519C1A-97B6-45A0-9039-00A255EE9319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q5931554$16E8BB50-B05C-4E20-A969-AC4D6ED53106","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":"Q5931554$BC8414D6-2460-45A2-987C-448E6297F546","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83c6293f25e8bc7e1747aa6978fc2fd52b5104b6","datavalue":{"value":{"entity-type":"item","numeric-id":1141153,"id":"Q1141153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931554$4E5A35DA-8735-4E42-97AD-79462B69C64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc69e791e3ac729c39aee0824be53f2494fd734","datavalue":{"value":{"entity-type":"item","numeric-id":918700,"id":"Q918700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931554$94CD5E4C-94B8-49C7-A96B-E4EB9367C4B3","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":"Q5931554$93C0C0F8-EA71-4D92-A29E-678429837006","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":"Q5931554$DDA8359A-DAE9-4FE6-9021-E31F973DAE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931554$55C7E735-F58B-4D06-9D87-1807C7D41849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d979ba77ecfe53a8e36438976f85824016785a8","datavalue":{"value":{"entity-type":"item","numeric-id":2674177,"id":"Q2674177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931554$E685E249-03EF-448A-A8F1-457F149D122A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631afda92da774b2f35528b579855e622332ed35","datavalue":{"value":{"entity-type":"item","numeric-id":4065548,"id":"Q4065548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931554$82ECDA39-B67B-4C5E-99A2-352C453F7A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4b4ae4746cca75554bc7316e8a5fdd326aa9bc","datavalue":{"value":{"entity-type":"item","numeric-id":4717065,"id":"Q4717065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931554$5D7A5B0D-94B8-42A5-965F-3A295EE19C6B","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":"Q5931554$305502C0-830A-4EEE-9CFF-3EFF53CADF01","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":"Q5931554$46EE2982-0F43-42D8-9489-5E8D3C4EF921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d6cb6a4d0aacfc126ab3b1d0dd224c9400a8e85","datavalue":{"value":{"entity-type":"item","numeric-id":4375776,"id":"Q4375776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931554$44B3E87D-11DA-4EB7-A7BD-F68A0FA766C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e27de5a8740789a8b6acd228c9162c68d65335","datavalue":{"value":{"entity-type":"item","numeric-id":4595474,"id":"Q4595474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931554$0BF83E46-B3AF-4CC3-9B60-6C3A8E0BDA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2398065202f3b8392da467e985db897681401576","datavalue":{"value":{"entity-type":"item","numeric-id":2674174,"id":"Q2674174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931554$DE978A29-3C00-42A4-8E3E-A072A30FB3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3263ffaff7a7e9d6835eeae6744b7c97b8bf61","datavalue":{"value":{"entity-type":"item","numeric-id":2674186,"id":"Q2674186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931554$B6935548-373C-438F-8F18-E6B1D4185911","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":"d32ea96fa837dd99fee7a01b37374b28aed69ad9","datavalue":{"value":{"amount":"+0.8779765963554382","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":"Q5931554$E49F2B68-E249-4F64-A4C7-3AD6AAC28838","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":"3f842c13c15df05b29bcb4df29fa50fa7f4e99bd","datavalue":{"value":{"amount":"+0.8574492931365967","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":"Q5931554$399111D6-024E-4F0A-ADD5-DB57988ACDDC","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":"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":"Q5931554$58A8A83E-3204-41D0-B1B9-4DA6CBA86AA9","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":"eb96ad341a0e5d79fdb81dca439e90f24f3b6a33","datavalue":{"value":{"amount":"+0.8406498432159424","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":"Q5931554$FDA7F6B1-7E3D-48F7-A72F-A97C1A17CA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1ac3e5ec2c1def47ec454b28db64956c3cda64e","datavalue":{"value":{"entity-type":"item","numeric-id":2581546,"id":"Q2581546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36555c082a441204b7795ef2d41c61afa6df4d4b","datavalue":{"value":{"amount":"+0.8362758755683899","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":"Q5931554$CF097C50-2E15-4934-A184-106809A72047","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5931554","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5931554"}}}}}