{"entities":{"Q2674189":{"pageid":2684932,"ns":120,"title":"Item:Q2674189","lastrevid":79320767,"modified":"2026-05-06T13:38:57Z","type":"item","id":"Q2674189","labels":{"en":{"language":"en","value":"Critical behavior in the computational cost of satisfiability testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7589966"}},"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":"Q2674189$D1A7041F-BCF9-49AC-B6B5-7D6EE030FF15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"781c7d663339c18de2bf09f52eb13381cdbd93ee","datavalue":{"value":{"text":"Critical behavior in the computational cost of satisfiability testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2674189$D431287F-7A52-405D-B211-CB9DFC7CC398","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a62f8d9d49b076b9f01028efa39c60413bfc2084","datavalue":{"value":"10.1016/0004-3702(95)00056-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674189$D5D2C65D-2B09-4EDA-AAD4-7C46E980AF33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e474d80fb8e3e25b0903af1e87b38ff443f35798","datavalue":{"value":{"entity-type":"item","numeric-id":545552,"id":"Q545552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674189$5DEEAD3A-76C3-490A-9597-92BC9D560A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210592faed5b68c16cbd4b9240162b2dc24a9ba2","datavalue":{"value":{"entity-type":"item","numeric-id":1151714,"id":"Q1151714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674189$3DC52105-C1CE-430E-A38F-8D446685D2A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674189$C40F201C-65DC-408E-B7C8-6B825D8BC5DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c95b7bab56df7de93fb565a41159eab77e3a3f6c","datavalue":{"value":{"time":"+2022-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2674189$F2AC3372-37F8-47F2-8EB3-47766A64F327","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674189$D0DDACBB-DB46-4A7C-BA17-5E397D2A8D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674189$980D3E4E-7BB8-4631-924C-624AF1A09681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674189$582540E2-CB03-46E9-B549-04E14A20C0D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7492c05c59ee08b48505d2b5d53a035e5170bc2","datavalue":{"value":"7589966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674189$0E13E55F-3BE6-4C71-8C34-911C6CE640E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca28948293506cece1735a0aa8a5247df1007a32","datavalue":{"value":"dynamical critical phenomena","type":"string"},"datatype":"string"},"type":"statement","id":"Q2674189$1CC641ED-229B-498E-9045-A2CD4786C1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011292841bfecc5a96af7eefb5f2207525532434","datavalue":{"value":"phase transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2674189$6C3A7C97-6E99-4E5B-8BEA-635F843F579B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"364e9a56cd581b9debb205d3f1adce817bdb79cd","datavalue":{"value":"finite-size scaling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2674189$AFE02726-7F44-4957-B8B1-AC64600F1342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2674189$6771ECE7-05FB-4D8A-83AF-083905C04202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c464108dbe8171666bbdddf34f4c1c83308206","datavalue":{"value":"\\(k\\)-satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2674189$F3B4136D-AF93-4D65-AE66-F16FD275F38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff6bd482a37e47f8d53df11d0f8e6fccd090e4e","datavalue":{"value":"computational cost scaling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2674189$69A40CBA-9290-4D0D-8CC5-1FDEE7A266BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2674189$6739099A-08A6-4BE3-B3EC-4FB5218825FC","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":"Q2674189$5196F07C-90CA-4853-B63B-E4326B793FB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"587b41c0ba482c962988a57d42ab2388bbfdc789","datavalue":{"value":"https://doi.org/10.1016/0004-3702(95)00056-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2674189$D626AD5A-D290-49FF-AD58-FE815962724A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efbba2731bf5aaadbe461123140d639a4362e418","datavalue":{"value":"W2084033406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674189$00AD4993-757C-4270-9C3E-97C4CFE1128A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72bdc200c096a90cb093d01083b69c58672a0aa3","datavalue":{"value":{"entity-type":"item","numeric-id":3682518,"id":"Q3682518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674189$0B4008E8-99B1-4CD7-ADAB-56A5BB3F2DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e02e9c674d233134ea38fb41ce14c527d11d38","datavalue":{"value":{"entity-type":"item","numeric-id":4431379,"id":"Q4431379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674189$F9902CE2-56F1-43EE-8EB0-25BFDBBB2C1A","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":"Q2674189$B723E662-CD22-4C5F-8EC4-4D02442F9674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674189$64E5EE81-4779-4F4F-B361-F5F7E5050F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2c55efc88a27dd0fcfde0f57952abec0d6d9fe","datavalue":{"value":{"entity-type":"item","numeric-id":1337687,"id":"Q1337687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674189$B3E997CB-2E92-4ADB-9855-76F17DDABA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1f087a83a28b82169a23d66271d4a260e2bd4c","datavalue":{"value":{"entity-type":"item","numeric-id":5288006,"id":"Q5288006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674189$129E341E-C2BF-4750-B44A-BA6280AD1A29","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":"Q2674189$C4E443C5-15A9-4C36-B043-6222AC13A0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d0ff209a8c00e6853b2c43b2e31810805788f0","datavalue":{"value":{"entity-type":"item","numeric-id":3935355,"id":"Q3935355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674189$F16B4000-8796-4EF7-AF6E-8F360D26BF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcdf0f8c0387a6648a8c262f3b165c4b253ed983","datavalue":{"value":{"entity-type":"item","numeric-id":3481743,"id":"Q3481743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674189$08D8F158-BAFF-47BA-9B4D-10774E6FF765","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"39140507bfafd893f21e12263a9664f749e1806b","datavalue":{"value":"Q127673837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674189$010E2CC6-7CB4-4DBC-839E-601A4F8FFB7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0fa8fa0da3b9c3652e47109f938819ce1319f92","datavalue":{"value":{"entity-type":"item","numeric-id":4704799,"id":"Q4704799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e705288d48c3d4f5571374580f98449a92067d2d","datavalue":{"value":{"amount":"+0.773868978023529","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":"Q2674189$52DD1918-AE7A-4042-9743-B26FEA3E361E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67138c5a02f00f959543bb857f8c0d8bec2c12a0","datavalue":{"value":{"entity-type":"item","numeric-id":5354392,"id":"Q5354392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87aa353baf58004f87984962c8eb7d768994505","datavalue":{"value":{"amount":"+0.7623471617698669","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":"Q2674189$91D63720-6CFD-406E-AE0B-40650912249A","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":"c9c3f1d4e4aafac957acfaccade350fee318d93a","datavalue":{"value":{"amount":"+0.7538325786590576","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":"Q2674189$AB5A0A4D-B336-4CD0-BD98-20753EDFB85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd3e153bd0e8a567aea04484cab7aeaa0e3f32ea","datavalue":{"value":{"entity-type":"item","numeric-id":4473023,"id":"Q4473023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c09560e34520a23283ecf2dab2e1478c89eb097","datavalue":{"value":{"amount":"+0.7503542900085449","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":"Q2674189$8225B39E-85CD-432D-9672-CA7B23E5DE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f2580411ac149b2d17b1bfe68582830cec155b","datavalue":{"value":{"entity-type":"item","numeric-id":2674184,"id":"Q2674184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a06e824dfb2759aba328c5766c664818cf1b39","datavalue":{"value":{"amount":"+0.750274121761322","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":"Q2674189$8A7287EF-4132-4B29-9963-5A920872A514","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Critical behavior in the computational cost of satisfiability testing","badges":[]}}}}}