{"entities":{"Q3401966":{"pageid":3412669,"ns":120,"title":"Item:Q3401966","lastrevid":87176969,"modified":"2026-06-04T10:54:50Z","type":"item","id":"Q3401966","labels":{"en":{"language":"en","value":"Improved resolution-based method for satisfiability checking formulas of the language \\(L\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5665360"}},"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":"Q3401966$E4467408-BD05-45A3-8FCE-AFBABA3917AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1eb3b8de1b1dff2f5e4a4af26cf3dd91d29a1ebc","datavalue":{"value":{"text":"Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3401966$6700D655-8142-4E0A-9541-457251CE4260","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a431380108be70d307a7e75cfb7f09208f4d982","datavalue":{"value":"1185.68617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401966$7AD4BFAD-423A-4261-855B-C74F1FB14C03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6b2fb2cd7aad047700a052904516338d9d4a1d2","datavalue":{"value":"10.1007/978-3-540-70881-0_38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401966$B3035412-7A1E-485E-81DB-C336CBEF0365","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d41abf794776e3e21a41a35e5972346d9fbc7796","datavalue":{"value":{"entity-type":"item","numeric-id":3401965,"id":"Q3401965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401966$4A8CA1A7-189A-432E-8E57-000882E09D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"120e3e50e701634c5f67d1b809f1b56410aed24e","datavalue":{"value":{"entity-type":"item","numeric-id":269157,"id":"Q269157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401966$4124AF1B-018C-4FED-B5C1-4128FAE1B616","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2ca3c59d5b4a9c62c9dad54b7259d1ebc3cdb0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3401930,"id":"Q3401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401966$70A2C974-B6A8-4247-BCB7-BE0602E76637","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f2e51e046f2c34fc303672dbc5a81ee27ce4774","datavalue":{"value":{"time":"+2010-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3401966$B226B948-01E5-4FA5-BF8F-5F3007753CF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401966$E8BC95CA-3250-478B-AA5A-704519C186C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401966$D0645A9E-695C-42D2-8D4F-3F67AD9C418C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b0551896b15e133bc998250ca7433dafdab8946","datavalue":{"value":"5665360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401966$F2AA97CF-DD52-4085-A822-61895E1751BC","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":"Q3401966$B190A3E7-8061-4563-88EC-4D037D8442F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bccc895f420174fbe1da9d8b18aaf9a9b446c990","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70881-0_38","type":"string"},"datatype":"url"},"type":"statement","id":"Q3401966$ECD8E7F6-395A-4FC6-9CC4-0117EB73BBE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5d27647059963846ee8f3d8829881760537a9bc","datavalue":{"value":"W2123900472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401966$16D036A5-E8C8-4678-A48C-810A602297A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cf4e4f23f371871e2127d997837f6069ba322f6","datavalue":{"value":{"entity-type":"item","numeric-id":3440993,"id":"Q3440993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d86bacab8e2a8a45709c35954955e8fd0e425f","datavalue":{"value":{"amount":"+0.9401550889015198","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":"Q3401966$2824EDF5-AA2D-4842-8AEA-99941402953A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7fe8a1cfa48aa08661e29f54741c41ce15f0d3c","datavalue":{"value":{"entity-type":"item","numeric-id":1968528,"id":"Q1968528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e95be93d26a3e811fcc3873c121b1f30c65b596a","datavalue":{"value":{"amount":"+0.8652415871620178","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":"Q3401966$9FEAA557-F503-4B53-8631-31FD0CCEEC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f616de11a3c5610269ca01dfa82032d1ecc3e18e","datavalue":{"value":{"entity-type":"item","numeric-id":464896,"id":"Q464896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c44d7e313d763613fb8b49032b8229645825ce","datavalue":{"value":{"amount":"+0.8642397522926331","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":"Q3401966$D71FF61A-03F2-4000-8960-2C3F07F6BC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38e42cdd50b8f7a451d8d34e37aaf9538b8b78c5","datavalue":{"value":{"entity-type":"item","numeric-id":2508787,"id":"Q2508787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad5384528e6bce57739e72ebe17039947171891","datavalue":{"value":{"amount":"+0.7756491303443909","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":"Q3401966$D3199B98-6425-4682-A390-B9F3A0FA6DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2083bde46c2cd2947475edde20aabc55334f380","datavalue":{"value":{"entity-type":"item","numeric-id":852241,"id":"Q852241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de310cc218c1d99fc88f948d81cead60fd7e27e5","datavalue":{"value":{"amount":"+0.7475127577781677","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":"Q3401966$868F9D30-9D6D-419A-8484-5DF209480FD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improved resolution-based method for satisfiability checking formulas of the language \\(L\\)","badges":[]}}}}}