{"entities":{"Q3762285":{"pageid":5792191,"ns":120,"title":"Item:Q3762285","lastrevid":51826127,"modified":"2026-01-20T05:55:22Z","type":"item","id":"Q3762285","labels":{"en":{"language":"en","value":"A note on the complexity of the satisfiability of modal Horn clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4012570"}},"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":"Q3762285$863EC7C5-1456-49CF-AD60-1338B7DB554A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf23756810b9ac26c18eee1a0046a44971570949","datavalue":{"value":{"text":"A note on the complexity of the satisfiability of modal Horn clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3762285$D4483DF7-39A3-47AA-9842-56D1DFA52E1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69ee4c7b3edc19cd1e8bac44073b926e8885d1c7","datavalue":{"value":"0624.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762285$B1F18C98-13AA-43FA-8BCB-F49F96D166D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71868ded9926c8ba928e6081effb32c351bf29c0","datavalue":{"value":"10.1016/0743-1066(87)90018-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762285$2737BD50-B359-4E2D-8936-76097906F249","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5d81225bab06711ff25835b9a7685484694bbb1","datavalue":{"value":{"entity-type":"item","numeric-id":266879,"id":"Q266879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3762285$304BAA19-2DC3-4935-9ED0-4A4902543DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9d41db9542b9e299bc59f6b5e045205852e8537","datavalue":{"value":{"entity-type":"item","numeric-id":666177,"id":"Q666177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3762285$F9163606-BADA-43A3-90D4-70CC361DE755","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3762285$0660CDA1-CADA-4DD9-AC3D-5B9AC05F4845","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3762285$6B5D8DAB-D453-4F6C-8964-005C60AC5A97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762285$E09D8150-E037-4093-A751-947EAC91F5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762285$82A5EC70-6BCE-446A-938C-58CFD781E88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762285$FC21C239-F8C0-4013-B501-48C1B31E661C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762285$59A5C781-E7E0-42CE-98F9-7E0B2C64C40E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e73ccfa068be40c24181338275248833cc1133b","datavalue":{"value":"4012570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762285$5ED4A8B2-04C3-479C-9BFC-6045C3525AB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762285$E17C53D1-034C-48B3-A0C1-BC52DA44C706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83437a3273a94036163c3ca3f21430b5258497e5","datavalue":{"value":"modal Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762285$361FD62D-1C23-45C5-BC43-BC277A91B835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762285$A965C3F5-A843-4BAD-9CF0-58CB7BC803BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762285$2F4EB415-3CAD-4F76-B9E5-2375F099A675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b31587c96a5c5ccf3b12532333e2056e86a541","datavalue":{"value":"S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762285$2D0F4222-6692-4675-8A41-37A898ADA8AF","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":"Q3762285$220199B3-4910-48C2-98B7-2D3A4AEBEE92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63c24cda604f6057b0da0e09ec38cf2c69e1f3c1","datavalue":{"value":"https://doi.org/10.1016/0743-1066(87)90018-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3762285$8B9F8531-8E67-45BB-A005-193310D6D483","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f737648471ccd2d67b321460bd6212369c2cda96","datavalue":{"value":"W2005920582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762285$C74EFD12-E745-4816-8729-3C8F4C0A2B63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e7e169433d0369f37f847f1d0ec7a8a26bcb86","datavalue":{"value":{"entity-type":"item","numeric-id":1329742,"id":"Q1329742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c36b70cc53a001a65fa35f64c3eeda982e5c47","datavalue":{"value":{"amount":"+0.9170398712158204","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":"Q3762285$6B2F9651-4FA6-4A2D-B79E-DF0E714BE5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599ca9a202bd5b14773bfd0d0892eddec262c664","datavalue":{"value":{"entity-type":"item","numeric-id":4501537,"id":"Q4501537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86836f5b7bc29e948bb79b42b75e2783bc296438","datavalue":{"value":{"amount":"+0.9136648774147034","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":"Q3762285$6A1131AA-6D19-4BA6-882A-4CB030563B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32da014e27af5b8721b1d32334147627c3a21ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5483012,"id":"Q5483012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1605b36b8f599d30d89c3fc0d61f6170c82e7b91","datavalue":{"value":{"amount":"+0.8518280386924744","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":"Q3762285$DD20246E-B7C1-4CC4-AABF-A738956E1B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f0d7c25a9d8fa5be3fad18bc0c5fd8bc204f03","datavalue":{"value":{"entity-type":"item","numeric-id":4910732,"id":"Q4910732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf12af6b7ea3a1cfb96e442cd21e2448b78caf3","datavalue":{"value":{"amount":"+0.8375061750411987","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":"Q3762285$5CFAC960-2F64-4CA4-8A84-E2E820377173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f79898ee459935eba972eed08296ee37c90f89","datavalue":{"value":{"entity-type":"item","numeric-id":5277903,"id":"Q5277903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d47f6993411bf98af9704812c9ce64f2d8668e29","datavalue":{"value":{"amount":"+0.8371485471725464","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":"Q3762285$2D10F7AC-2780-46E1-8BB6-1B8A8F305952","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3762285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3762285"}}}}}