{"entities":{"Q1306378":{"pageid":1317128,"ns":120,"title":"Item:Q1306378","lastrevid":67344003,"modified":"2026-04-12T16:59:53Z","type":"item","id":"Q1306378","labels":{"en":{"language":"en","value":"A two-phase algorithm for solving a class of hard satisfiability problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1347074"}},"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":"Q1306378$F58BDBBB-462F-4228-8014-4717A7F9AEF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad198e707924086d929766f309ac2f3d6ccc58b0","datavalue":{"value":{"text":"A two-phase algorithm for solving a class of hard satisfiability problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1306378$2631EAF9-2EC5-4CE3-B034-ADEB3831B9E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d316761c9880346d1f3335a0c2a351ffa894170","datavalue":{"value":"0960.90100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306378$5EB1CC2D-6B0B-40C2-B33E-474B0053343A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d9161d6600b3edac0b5f0fd5de395b129d9d668","datavalue":{"value":"10.1016/S0167-6377(98)00052-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306378$A2235F4B-B7D2-4184-9DBC-040143C20ACB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6acf4f887f77787466f544479176d38cfa92ed5","datavalue":{"value":{"entity-type":"item","numeric-id":293408,"id":"Q293408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306378$73FF5A3E-F054-4345-A502-8142757B52E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cb96374a43f3f14d8cd16b2e37b388cb6e41289","datavalue":{"value":{"entity-type":"item","numeric-id":186236,"id":"Q186236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306378$1F61CEDB-94D4-43B7-AEF0-75F926B2F0A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f9747a37b0b56aeca2085282046e2737cd5087ca","datavalue":{"value":{"entity-type":"item","numeric-id":96289,"id":"Q96289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306378$00D20584-CB9A-4540-BF51-3924461B7E30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1aa702799bba8332feed35d198b58d4c2e376e02","datavalue":{"value":{"time":"+2001-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1306378$C96E5674-5769-4AF9-AF8A-031DC1F83882","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7dc0be147dc793dec5b4d43620512b87e8c947ec","datavalue":{"value":"90C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306378$CB7DEE5B-2965-4B45-AB88-7FF48381C72B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62cb0d35b36f0c308c489cab7b5e5d6c427323f7","datavalue":{"value":"1347074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306378$9BA33D8D-9E3A-40C1-9C58-F1F83957485A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306378$87067992-0D24-4ECE-8FB4-CB08DBD180F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc544e482aa599702c82d69a25709014b297742d","datavalue":{"value":"polynomial algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306378$155BBADD-E10F-4593-85C2-CECB79A7523D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1617606da82548d1016aff460e72dbc16206d7f1","datavalue":{"value":"Davis-Putnam algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306378$3BD91D3C-02A6-4ABE-BC93-7E9F7067340C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a216d6c09dac0df49b00b19ed2bb5c4336ef7f4","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306378$71EF9E07-19E2-4384-9485-6AC3582F4D51","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":"Q1306378$F95F25AA-5A63-45CF-B3B7-2B0E601EA7BF","rank":"normal"}],"P223":[{"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":"Q1306378$E814E32D-03E3-4841-BF78-4E8087378735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306378$5CD3FFAD-2438-40BB-960C-D12AEE4E2FE2","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":"Q1306378$9990A200-975D-4362-AAC4-4E77A7096039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b86da6901907b4b60c4d755cbdefb3d87af7f5","datavalue":{"value":{"entity-type":"item","numeric-id":761967,"id":"Q761967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306378$95DAC91D-2B18-4371-8FC4-648481F9A540","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":"Q1306378$58AAD56F-CD6F-4D79-A874-80913465DEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0adb737d4342c65e2b4f0a27fd95909e84e19ee","datavalue":{"value":{"entity-type":"item","numeric-id":5897190,"id":"Q5897190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306378$3A4F4564-50FC-414E-A45F-79EAF85F9E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c92e7470da55d1a625e4aa5625769711d5a3fe88","datavalue":{"value":{"entity-type":"item","numeric-id":5687277,"id":"Q5687277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306378$2B3C8FF8-13E9-4E16-9AF3-854B71C239B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c05e56462468f20c8e842a6a53bd8efb53c9939e","datavalue":{"value":{"entity-type":"item","numeric-id":1962045,"id":"Q1962045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306378$2272BE9A-685B-4B93-AA80-027A2D6C9CC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2384784e67b746c941848cc6fcfe27e81759712f","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff29fe153e875273da195a0d9f755ed65e2016d6","datavalue":{"value":{"amount":"+0.8303039073944092","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":"Q1306378$2582DE6A-72FB-47E2-94BB-66D092EA4EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f122e6af983f2121126bf0fdb148bdd51ee5d96","datavalue":{"value":{"amount":"+0.823434591293335","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":"Q1306378$32812C8F-CFEB-4460-8062-F0B8894A71B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e4368b9a00e01cd5df71a108b573b0ce4cd0df","datavalue":{"value":{"entity-type":"item","numeric-id":750165,"id":"Q750165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3964be477048005244ec7716f38a26570ace1119","datavalue":{"value":{"amount":"+0.8054443001747131","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":"Q1306378$73D17928-A150-4DB0-AAD5-EA6413C043B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d1ff28b91f1f97e61fcd58f34e8fc60a79c4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2674174,"id":"Q2674174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ced983a8476ddf67b93db162db3b76ba0bb5cf","datavalue":{"value":{"amount":"+0.8051683902740479","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":"Q1306378$352235CA-D912-464F-A641-A5512537360C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A two-phase algorithm for solving a class of hard satisfiability problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_two-phase_algorithm_for_solving_a_class_of_hard_satisfiability_problems"}}}}}