{"entities":{"Q3677734":{"pageid":5707640,"ns":120,"title":"Item:Q3677734","lastrevid":50051140,"modified":"2026-01-12T19:40:43Z","type":"item","id":"Q3677734","labels":{"en":{"language":"en","value":"The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3898848"}},"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":"Q3677734$7A466FEF-309D-4957-B063-2643EB7FEF28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba0c0e61f2587501fb3be15500f80e8f29661b7b","datavalue":{"value":{"text":"The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3677734$AE8B2EED-390C-4545-A4A7-EA654B948CDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c903dc819f78a4046368fabffd49d70a19a21d1","datavalue":{"value":"0564.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677734$DE888481-14BB-4E13-A625-63CA8B7C30DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9675e0a97b17be894f9b90d664c3aac5adfac1b4","datavalue":{"value":"10.1016/S0019-9958(83)80027-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677734$502BB91A-E8BD-4913-9235-EAE73864110C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"514c693109916bc609b6d9a8d6e9cb7af13094b6","datavalue":{"value":{"entity-type":"item","numeric-id":920623,"id":"Q920623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677734$4C8BF587-7505-4472-BCD1-314DA871B4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00bde3ded8f72a5c0d13fc0a4948f2385b8ecaf2","datavalue":{"value":{"entity-type":"item","numeric-id":685127,"id":"Q685127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677734$945255FD-7AFF-43B5-BC3D-0FD52D52AE7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677734$7754FD52-7723-4DAF-A85F-C77FE5100758","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3677734$CC28B241-9693-43B9-AC1D-8C2283F57805","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677734$F13161B0-6BAD-4EB0-9543-C2E52744C467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677734$765A2095-60B4-408A-B8AD-573A7A3B5CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677734$6CAD98A4-96F6-4A66-BCA2-2B75495AEEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677734$8AF7924E-7AF5-4A40-AD6D-2C197DBF94E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5985d4d3115cceaa4e334a8a728dd23e86c0b009","datavalue":{"value":"3898848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677734$45C2E4B0-3C8E-4080-8A82-44B00797C9CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f384098e8f2ae4ef2ba4576b8d375f29034500","datavalue":{"value":"Horn clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677734$313C34CB-6A86-4119-A1A9-851AAE50078C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c944089ebd99d6195538b901db0229fcb390018b","datavalue":{"value":"resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677734$54702DA0-3EA4-4490-8D92-FEFD7524C5FD","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":"Q3677734$878B06A6-A8BA-4820-A379-758A446CA9DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb54befc3355d6dc9c3bc47fb9d69305713d2481","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(83)80027-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3677734$A0684DEB-9BDF-4820-88FD-E396EDF000E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ee03cabbb2bbe0f6ec117c3e04324aab8756369","datavalue":{"value":"W2005101116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677734$DF55D690-8257-4FB3-882B-5CB3DD1B7947","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0221f9e6357a894b5e2a5140a959b88c9768ad","datavalue":{"value":{"entity-type":"item","numeric-id":1819946,"id":"Q1819946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ebf0178f2d0a0bd982e52c2633fcd768162ed09","datavalue":{"value":{"amount":"+0.8808023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677734$4B2A12BD-EF51-4069-B8F2-2E0BDCD6CE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30dfe6f7561c095c725d553acdadc57c87b0e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2897511,"id":"Q2897511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb1cfde1eac28b9df32905b7e75ae129d4b349bc","datavalue":{"value":{"amount":"+0.87433374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677734$C645B15F-E6AA-4AA5-A22C-D1F6D2A12EFA","rank":"normal"},{"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":"fe01e5cf293c80895dc5a7ea66ee37d69b9da38c","datavalue":{"value":{"amount":"+0.8727164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677734$63506A9B-FA78-4788-A19D-E1DA958DC558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f56c48eba1b1a79af29334b2004a734247f0f8","datavalue":{"value":{"entity-type":"item","numeric-id":3762285,"id":"Q3762285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7939f5c92ff8b184edc68969ef397a55c04018","datavalue":{"value":{"amount":"+0.86536133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677734$B88C0640-090F-405A-A1AA-DE1A8635DF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47f218630e3a65921925fa215162a48c4394e4f","datavalue":{"value":{"entity-type":"item","numeric-id":997066,"id":"Q997066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"867b516b952cf639e6f01f7280d33cc0e32f14ff","datavalue":{"value":{"amount":"+0.8644126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677734$D151FE34-862C-47A6-8149-A5A9E078D7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cf15d1730228edec3896ceb7a37a6a4af366994","datavalue":{"value":{"entity-type":"item","numeric-id":5419895,"id":"Q5419895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe2af02583b288002df826e918d7d60ad155ae4","datavalue":{"value":{"amount":"+0.8635912","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677734$8420078B-F191-46D3-84A0-83E61E6A262E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb57636b430decf664ee4c5abcf6237e4a434765","datavalue":{"value":{"entity-type":"item","numeric-id":3483261,"id":"Q3483261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8589995c23916db6bd776efaddb63ec26c331385","datavalue":{"value":{"amount":"+0.8611569","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677734$EDE84B62-195E-41DA-B1B7-6B52F768A835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bfb70633aca2d8abc32a1bc9ef41e7260114237","datavalue":{"value":{"entity-type":"item","numeric-id":5300067,"id":"Q5300067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0300b0e157895bc631845383db011b7cc6976f4f","datavalue":{"value":{"amount":"+0.859722","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677734$DCEE8F4A-26DA-41BA-8FD1-CE23B8212D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096d3275cb274c69c48366d1ebfdb48139456f16","datavalue":{"value":{"entity-type":"item","numeric-id":3698310,"id":"Q3698310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af2a8c5df865b990d8ba8f1021a673c4319f13c","datavalue":{"value":{"amount":"+0.8518487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677734$1FEC870F-607A-43BA-BE86-66B9CE6FFA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"710d404b1f7eddfa543075d27999e3ebcc49af7d","datavalue":{"value":{"entity-type":"item","numeric-id":1085152,"id":"Q1085152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af2a8c5df865b990d8ba8f1021a673c4319f13c","datavalue":{"value":{"amount":"+0.8518487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677734$41477316-FA04-4134-8CC6-F1EB4B69849A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3677734","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3677734"}}}}}