{"entities":{"Q2946672":{"pageid":2957392,"ns":120,"title":"Item:Q2946672","lastrevid":85390286,"modified":"2026-06-03T07:43:45Z","type":"item","id":"Q2946672","labels":{"en":{"language":"en","value":"Deductive inference for the interiors and exteriors of Horn theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483177"}},"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":"Q2946672$08AC1F2D-C212-4439-AF19-EE2C1F356CB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cf7fd20b8be90d5fcf16a71047b33d5ac88d9a9","datavalue":{"value":{"text":"Deductive inference for the interiors and exteriors of horn theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946672$DD18B1AA-4528-4C91-83B0-A6A6FB291282","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"469604ad4cc9261f72bb93c546417bc13b37e096","datavalue":{"value":"1352.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946672$51C49917-1039-480B-8666-1B4B375DEE49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fba8ebe34827e1a98b39d774ff63c4ad957307b1","datavalue":{"value":"10.1145/2287718.2287723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946672$89BB5DE9-CFA0-4081-B689-8DF924C42F6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cffea2588f41343c1ca50bec4f0b17d24b9d478b","datavalue":{"value":{"entity-type":"item","numeric-id":171929,"id":"Q171929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946672$C811E131-7562-4095-81E3-942D6D09DE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b52eb80f6d21391f8a1b555e63ee23cd627facf8","datavalue":{"value":{"entity-type":"item","numeric-id":260259,"id":"Q260259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946672$15EA5B07-B674-40BA-A846-46533DBB5575","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946672$519FB185-8FB6-4FB8-9315-F996A728A376","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-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":"Q2946672$1E6D789B-8FD3-422B-AF85-0EC1BD32E364","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d064a73be1a6f6d500a80fb6347774252222f2b","datavalue":{"value":"http://hdl.handle.net/2324/14863","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946672$9C9BDE81-B4C0-494A-9694-4250D8D3660D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946672$69715967-141B-4F9A-B22E-1E55AA9AC38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946672$C436FE8D-AFAF-489F-A68A-C8212FEB483B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946672$B2582980-D280-4A06-B524-5455CD2E70B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946672$EB011F94-31CA-4AB9-8AF8-0362737F1ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946672$64CC5A51-198F-4180-AA26-4AE3D63026D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4693faca477e3082a59589f685d14ab355ef813c","datavalue":{"value":"6483177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946672$79DC4E48-8770-4667-84F8-416C49347D8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb131991ac61df937a24e35f9a843efb72ca0ee2","datavalue":{"value":"Horn theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946672$2AC39E70-51BF-40EF-B8EB-4336BA4715B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d5e4886aa4290eca104cd0d1da319d8b4d34c4","datavalue":{"value":"NP-hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946672$B573BC18-4EB3-4A0D-8545-61CF5D29E828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946672$CD4DB6A0-D675-4750-835F-138C0D8D9646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"668ae909f3650f1a8f2ee97502b7814304133a91","datavalue":{"value":"characteristic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946672$A215627C-982A-4101-A786-BA542F50D32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b399e80d32f01f0e5ecb7d27abf0eef31abf6cda","datavalue":{"value":"deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946672$FDFFC6A5-55ED-42D0-8704-CBD40D14F3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9209509224c1862dacbab19c72a479932af26f3","datavalue":{"value":"interior/exterior function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946672$D3C2A602-96EE-4264-8E4A-2C0817CD0268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c96e9d3e219ec7820689f2f15282878c73f989ab","datavalue":{"value":"model-based reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946672$A15984AE-EBA0-40EC-A493-7A5FEF85FB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ffd2ca9452a95455f19f35bfb3f100bed2aeb1","datavalue":{"value":"tractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946672$C3D77365-3C7D-4401-919F-8ADB2E779D9A","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":"Q2946672$B8FFB687-14B0-4E22-8D46-D109E932C4F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e0b8718c791433240a5d241f03d4185ba6037b5","datavalue":{"value":"W1484469872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946672$CFE92F99-4E5D-4765-B399-BCA6E69C6628","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6940213927c82168ef099b0f55123f18a6bfce48","datavalue":{"value":"Q130960625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946672$58B3E22A-5006-4B8E-AD4E-8F8FA2F7612E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30569b60fc15850432478e985ab70651193871a","datavalue":{"value":{"entity-type":"item","numeric-id":3596735,"id":"Q3596735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40246e49821bec55a079e152783976871569fc1b","datavalue":{"value":{"amount":"+0.997218132019043","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":"Q2946672$80DBE15A-D0F7-424F-BF33-827BAF63B0D4","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":"78d83d2eac588d800bf4441c73189da26fe7f4de","datavalue":{"value":{"amount":"+0.7492894530296326","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":"Q2946672$E92953E9-2BAC-4F82-B975-21861452E141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac2e61a0445970db36c447b0c2d58a720aee88c7","datavalue":{"value":{"entity-type":"item","numeric-id":1810895,"id":"Q1810895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b71c980e266f5d6333c066f2c6954bce56efbd48","datavalue":{"value":{"amount":"+0.7415968179702759","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":"Q2946672$1050DD6C-1737-49BF-87DC-7D2DFEA47F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af18501165e818c47776d27df67e9a145384c6fa","datavalue":{"value":{"entity-type":"item","numeric-id":4018150,"id":"Q4018150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39536f18b2ea22d516590b014a94c2d5caf771e1","datavalue":{"value":{"amount":"+0.730221152305603","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":"Q2946672$141B76FE-7B62-4DFE-9ABA-ACB297058FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58ea2ace3406d86a3c5e247bd397120b8cbdf4c","datavalue":{"value":{"entity-type":"item","numeric-id":1319393,"id":"Q1319393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a22a93d1063f5f86ca3570d468e0dc12345ac09c","datavalue":{"value":{"amount":"+0.7201887369155884","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":"Q2946672$817CDAD9-F818-4D5E-B1D5-F8512EA92088","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deductive inference for the interiors and exteriors of Horn theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deductive_inference_for_the_interiors_and_exteriors_of_Horn_theories"}}}}}