{"entities":{"Q1313951":{"pageid":1324701,"ns":120,"title":"Item:Q1313951","lastrevid":47229787,"modified":"2026-01-01T02:03:19Z","type":"item","id":"Q1313951","labels":{"en":{"language":"en","value":"Optimal compression of propositional Horn knowledge bases: Complexity and approximation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 500712"}},"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":"Q1313951$F5C86AFB-F536-4835-91E8-7619D81EAED2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97b46125e5294e41c762b101fa72f72b79197f0e","datavalue":{"value":{"text":"Optimal compression of propositional Horn knowledge bases: Complexity and approximation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1313951$85F43A5F-B139-4B50-AB0F-CDC54720B021","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce557ed18f689eab6f6b58ba525e36d2bcd46cb5","datavalue":{"value":"0935.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313951$515F8B14-597F-4492-B111-8C5846744A4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55aeadfd27292e64b7fa2148dcd314aecc196ac8","datavalue":{"value":"10.1016/0004-3702(93)90062-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313951$F7264E17-4EDB-49F1-902A-7618D3A8E349","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54ae8a1f67117b1c40e7224a6ee62353a2cf60cb","datavalue":{"value":{"entity-type":"item","numeric-id":188437,"id":"Q188437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313951$7E183F41-AD05-43C0-B306-389EA11CFECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a822cbccfab9076bd781f7e9ab59196a2bd3808","datavalue":{"value":{"entity-type":"item","numeric-id":245517,"id":"Q245517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313951$3BDB9140-DD1B-40F0-BB63-48EB644AF570","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313951$BFFDC970-0B49-4969-A2A1-AA6E719A38C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e32317881ca90da9c259c6db815a0f827498978","datavalue":{"value":{"time":"+2000-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1313951$6166196B-2467-4374-8218-6BEE3A578679","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313951$1835A8E2-3461-48A4-B62A-BD148EDF0E75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08a4416a301a12dcd67287ed1ae6d76559479681","datavalue":{"value":"500712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313951$B99A88C6-220A-4D84-A9C7-6F6616D48601","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcddf61ba02e44568da5d558f855ece18b50f0ac","datavalue":{"value":"optimal compression","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313951$411760E3-3259-4659-9B96-B5403D6E7095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"861e35ddf2d7893e9ec3e19e14e0193c7e977bea","datavalue":{"value":"propositional Horn production rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313951$0ECC6045-6360-44E4-A2C8-565D3FE91130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a39d315b648b150944ead81c337df4c0a026ccc","datavalue":{"value":"knowledge bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313951$CCDA81B4-BD25-4653-8C95-1EF247AB91C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313951$3C72AFCC-195B-4C41-9C6A-08A14B5D812A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313951$2AA444B5-4EAD-4B34-8451-FF6AAD5FC419","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":"Q1313951$AD4D238B-9545-4B90-AF9C-002DDEED3137","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a20371f7aaddf4961db5ce90f5ba312f92408d3","datavalue":{"value":{"entity-type":"item","numeric-id":1207302,"id":"Q1207302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313951$78642D23-1696-4FC4-BF67-19217D41E72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c403665aa6e3aa64da28618956f2f116df15324","datavalue":{"value":{"entity-type":"item","numeric-id":1204870,"id":"Q1204870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313951$38BBD474-9556-4A78-942D-98E153736039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313951$E4333EC7-E9BA-442D-8F23-6C1FA7D4D326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313951$CDCD5244-6BC6-40AE-B0C4-D943B7846065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"244a3dfffc55641bc11a6cfe032e1bc2b2013503","datavalue":{"value":{"entity-type":"item","numeric-id":1195858,"id":"Q1195858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313951$E16217B9-1F08-4CE1-AFD4-000149ABCF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebd50649f1e0277e6bfaea3fa01bd2806b34818","datavalue":{"value":{"entity-type":"item","numeric-id":3230352,"id":"Q3230352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313951$93D6E5C5-EFDD-4CE9-B576-D6AB896EB0A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42da7883b3377f4076af095ae766c3f50a48211","datavalue":{"value":{"entity-type":"item","numeric-id":693287,"id":"Q693287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"152f50f7cfa9f7ff48b972291658d2dc0a2fd4d0","datavalue":{"value":{"amount":"+0.8675264716148376","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":"Q1313951$8234A567-38CF-48A9-90F6-9C468444A1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2990827dbcd8d1aa07ee49a7cbd846c1dfe5c9fc","datavalue":{"value":{"entity-type":"item","numeric-id":1277344,"id":"Q1277344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"376f1fe7e771929a0aa685a8d8866ac9d90af00a","datavalue":{"value":{"amount":"+0.8565203547477722","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":"Q1313951$EFB29061-AC5F-47B0-A99C-832EAF3B5A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c844ea1fb4bd84c3ee69bedf68dd11c1e751ad","datavalue":{"value":{"entity-type":"item","numeric-id":1769110,"id":"Q1769110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd02a384e48f92c149a640996ba4612dd729b80","datavalue":{"value":{"amount":"+0.8285601735115051","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":"Q1313951$4F9FB65F-9506-45DE-A3D7-AE2CEF3DB261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c3252dcef05d12f04e9bdb7b8046416e0e2853d","datavalue":{"value":{"entity-type":"item","numeric-id":1195858,"id":"Q1195858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e9dd132017c20aee7762ee0786f11272acca6b","datavalue":{"value":{"amount":"+0.8169314861297607","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":"Q1313951$333F3E80-DE49-432B-AE5F-E3B9DFB50FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55b00969f86fe530faa4e586293fa79f7de7f52","datavalue":{"value":{"entity-type":"item","numeric-id":1575175,"id":"Q1575175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"855356c54a258c9fd67b646d8f6d6d9d07227d42","datavalue":{"value":{"amount":"+0.7892016172409058","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":"Q1313951$C98B0AE1-E09F-486F-9B9D-1368083E8638","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1313951","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1313951"}}}}}