{"entities":{"Q2870111":{"pageid":2880831,"ns":120,"title":"Item:Q2870111","lastrevid":83952266,"modified":"2026-05-07T14:51:57Z","type":"item","id":"Q2870111","labels":{"en":{"language":"en","value":"An algorithm for enumerating maximal models of Horn theories with an application to modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247423"}},"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":"Q2870111$F04A50CC-70C4-471B-8581-1CA8A11CC9CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5a4670cdfe1f7abc06e414b58e7d23f67680538","datavalue":{"value":{"text":"An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870111$604E5792-DB17-410F-A642-B7FE67B35F2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0909f2c31c5aed58ae5a1601051c2beed4b9044e","datavalue":{"value":"1433.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870111$FDF4101A-87BE-4566-B4DD-17AFC6A145AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"053d085d5762c3dd2d68013e96ab751d9c8ca8f5","datavalue":{"value":"10.1007/978-3-642-45221-5_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870111$43BE28BA-7B6B-4BB6-8250-EC3F5169810D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870111$B74BE837-DAD8-42D6-82CB-3924FE20E24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c11537367761b3a042544f520669ef3aebcdb3a","datavalue":{"value":{"entity-type":"item","numeric-id":266856,"id":"Q266856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870111$8682D490-B2F7-40A8-82B1-B95A9D41C9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870111$B4E5C188-49C5-40CA-AF97-E34A31EBFA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870111$34AE5AD6-09D9-4FA4-B9DE-B460842E0FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a66c2ec78b04e841b811e5da6e4d441ec826b5a","datavalue":{"value":{"entity-type":"item","numeric-id":266860,"id":"Q266860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870111$39C65F6B-46C4-490F-A822-5F374DFD793B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870111$2D4760F5-7465-4609-B61B-1E48A461D1FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870111$AEFB59C1-DFF2-4471-BB43-BD6963B14A1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870111$43A0A1BD-8F73-4A9F-AB53-E6EC63A9DC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870111$284E1118-A91E-4699-9DE0-A9728472F993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870111$4E511CDB-C66D-4BE8-BF2B-E440FD237351","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"567f469e30b331a437a577bcde47edb4c9ee1cc9","datavalue":{"value":"6247423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870111$A56FADEF-527A-424D-871E-6B1DB9B2F8AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb131991ac61df937a24e35f9a843efb72ca0ee2","datavalue":{"value":"Horn theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870111$A4295AC3-4A9F-4F90-B21D-2DA67B178C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870111$6AB26870-3228-4471-BB0A-CE025123F399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870111$2C75751A-18F3-4CFF-AC0E-EB0E8278F045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f71b8003dacbb1b56f151fa571d0576ceb298f22","datavalue":{"value":"enumeration problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870111$B1BF7637-D3E9-4AE5-B880-A445A673F3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870111$BD5CE27E-01EE-4AE3-A015-F0915AE69AA4","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":"Q2870111$AE3CF917-725C-41C3-8077-3F59E2C8DA76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df4d73d3e60931213960f91e1178eb860c249de7","datavalue":{"value":"https://doi.org/10.1007/978-3-642-45221-5_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870111$F4460642-E9A7-4192-9027-69E3139EFFAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5b59196099dfc9c262d66b40d621ac33674140d","datavalue":{"value":"W136981523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870111$900109EC-A255-4F15-8CCE-C5DA29F0FFE3","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":"7f3ed9494bd3b5973c4ca96e673ec5730884ac2c","datavalue":{"value":{"amount":"+0.7567476630210876","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":"Q2870111$A78C0C71-F4FA-49A5-8176-0DA083601FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5da45d76ec4a2dd2804beb9f035247925e14d0d","datavalue":{"value":{"entity-type":"item","numeric-id":1029007,"id":"Q1029007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b2986941ca943989a2e1ccddb1706c7f900fa95","datavalue":{"value":{"amount":"+0.7506948709487915","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":"Q2870111$C52552B8-1569-4E0F-9940-D822EE242EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a1298735b112548078970047add90b2d29788b","datavalue":{"value":{"entity-type":"item","numeric-id":1380414,"id":"Q1380414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e9cbc696cafb6f0076fa4d72f261509d92b1dde","datavalue":{"value":{"amount":"+0.7479497790336609","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":"Q2870111$45710B9C-F064-4E2A-B560-EEE64AB1D3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"644e4aaedbb296a7df190ad7ecf69f39338f09de","datavalue":{"value":{"entity-type":"item","numeric-id":1606297,"id":"Q1606297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ff4b362fc28dfeb836124eef722f37d714f6bc","datavalue":{"value":{"amount":"+0.7459806203842163","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":"Q2870111$25DF1FB6-55F1-4C55-B484-719431B526BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45eaad16464ecee003a7a935a7d28baea439e061","datavalue":{"value":{"entity-type":"item","numeric-id":2784452,"id":"Q2784452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1618ca0c1307871663252c5f27a289cf77ba3f3e","datavalue":{"value":{"amount":"+0.7433735728263855","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":"Q2870111$899D37CB-78D9-4955-A228-1416EB746782","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithm for enumerating maximal models of Horn theories with an application to modal logics","badges":[]}}}}}