{"entities":{"Q2145867":{"pageid":2156610,"ns":120,"title":"Item:Q2145867","lastrevid":54340652,"modified":"2026-01-26T16:21:30Z","type":"item","id":"Q2145867","labels":{"en":{"language":"en","value":"Complexity of the problem of being equivalent to Horn formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7541943"}},"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":"Q2145867$6C8DEEF2-A266-42AC-8C85-3DFED4E11ED0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce009c433235d59a40ac1338ce225f9603d68c30","datavalue":{"value":{"text":"Complexity of the problem of being equivalent to Horn formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2145867$5F20CB2F-E659-4315-AA93-2F1D24A1BBA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13a3369fa7f2a5f11baeeae6f65f5c77dcbf1859","datavalue":{"value":{"entity-type":"item","numeric-id":251879,"id":"Q251879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145867$02C1EB41-7C95-4047-924A-3F7136F1400E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145867$E7B888AB-91F2-482A-9CF4-F6A802D02979","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b034a322f1ddd26cbad4d23fbb21c53158db6544","datavalue":{"value":{"time":"+2022-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2145867$24AA71D6-E47F-4972-991C-C50580CAD28D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145867$39ED1E3D-3FF9-46CB-AE2C-E05AB6991E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9e7ed65eaa37ef307946ffe104383f51694c61b","datavalue":{"value":"20-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145867$D7B39E05-F3C9-4C64-8D31-295FF0E804E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd68162060c478273a68e42249cd862a38938598","datavalue":{"value":"7541943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145867$FFFB15FB-2507-484D-AC24-110F3ACF354C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61380439d4976206c8d8bfd964c1dad40a9de599","datavalue":{"value":"Horn formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145867$10B70E6E-DF7F-40FD-89A5-0308A3FCA0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6f18d5ac9e07672970f3e5877d3ba9c8a5fbebc","datavalue":{"value":"\\(m\\)-reducibility \\(\\Sigma_1^0\\) set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145867$76BC3963-D66E-4298-AE4F-7C78EB67A4F3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b34056d19d5b6f612761582f9a720657732b80c1","datavalue":{"value":"Q113904586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145867$8911A062-BEE3-4623-9375-FF6C0FFE0061","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":"Q2145867$CB2BF8C7-CD48-4BB8-A577-DF0FB7625A52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0a1aa8a9142b687f39ba89535bfa13a3b429b1d","datavalue":{"value":"https://doi.org/10.1007/s10469-022-09665-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2145867$A6E7FC7F-6C51-46F9-9D36-6BC5848CF7CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2986050bcc7ad91c140aa3f6a460debcab8ccf27","datavalue":{"value":"W4225100976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145867$07C79026-88BC-4ED1-ABC5-9E83BAE0A6EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e64c84dfb915d5fb9b4d48fe751f401aaea3e3","datavalue":{"value":{"entity-type":"item","numeric-id":1847304,"id":"Q1847304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145867$450AE8D7-FBCE-4D8A-93C0-3E81178E73DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2af459cc5d1ec8f7e83dc0253d2a7a010f474cc","datavalue":{"value":{"entity-type":"item","numeric-id":4374110,"id":"Q4374110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145867$2BF55FAB-CFAA-4E12-A69A-272C2FBF8BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ba8c306b1e1267bb7465bd8800388aaf661ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4242381,"id":"Q4242381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145867$33DB8CB5-7216-403D-9310-E0017552380C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3145d3188ea5d475ac8d42f2f1a8a770290dc92f","datavalue":{"value":{"entity-type":"item","numeric-id":2581713,"id":"Q2581713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145867$F3AA11A7-F8F8-4437-8DBF-70976338AFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c37f29a927e50a8fd32ef0960cce58cba0c1d0","datavalue":{"value":{"entity-type":"item","numeric-id":2499630,"id":"Q2499630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145867$53E2C0C1-79B4-48C1-ACD9-13041E933417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197f3fa093252b00ee1192413576e8995d4a587c","datavalue":{"value":{"entity-type":"item","numeric-id":742012,"id":"Q742012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145867$0D81C84A-4884-490D-8A36-37204896EA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063dde392d9d5befffa305e009af296464544978","datavalue":{"value":{"entity-type":"item","numeric-id":2404302,"id":"Q2404302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145867$F616E330-CAE1-43BE-BDC4-0ADFB96F2F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4fadbe040952e672c3232da507a94e0f314469","datavalue":{"value":{"entity-type":"item","numeric-id":5805954,"id":"Q5805954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145867$312DAAAC-7B32-42CE-BAEF-DDFAF2EC7425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d54bec423ca94e63741d7eb6f9a371707e6ab9da","datavalue":{"value":{"entity-type":"item","numeric-id":5536656,"id":"Q5536656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145867$4FB241AE-5FFF-4CE9-87DB-00CE503C70EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c37157611775974553ae2b6ea29c45f9c9cf7bb","datavalue":{"value":{"entity-type":"item","numeric-id":5628123,"id":"Q5628123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145867$34A175A0-BB2F-4534-B140-01618FD2C5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be99e1f896a6838dd0f91ded8130808d4f1089","datavalue":{"value":{"entity-type":"item","numeric-id":4052072,"id":"Q4052072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145867$BB0790A5-2172-4C13-8FCE-09F2CEA5089F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05842771ad47a3d3403f057a3b67447b5fa7c597","datavalue":{"value":{"entity-type":"item","numeric-id":1159633,"id":"Q1159633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145867$D6FEAD5A-BC5F-4785-8C79-252089E55805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ac602eca84627cafb1e3bf842bbac0bee8b346","datavalue":{"value":{"entity-type":"item","numeric-id":1612482,"id":"Q1612482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145867$9058A956-611E-4AB8-BBFE-CB2BD61B9879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145867$0E251F49-F758-49A1-BC15-51966FD97BFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a5d6c600e2f7af99680c6e59da6e4fc0789ebc0","datavalue":{"value":"10.1007/S10469-022-09665-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145867$435F4A4F-269D-4850-9386-9C97E8323EDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b58fcda1a712845f81cffebdd13ddac02af0ed","datavalue":{"value":{"entity-type":"item","numeric-id":6160501,"id":"Q6160501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56c6aa9980ccb3efb7fd5b84551981e10a985db","datavalue":{"value":{"amount":"+0.9477410912513732","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":"Q2145867$8806D941-AF90-4640-869E-25C73FBEACDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11d90aa2b0f299a1b453ab9305a79947cb0f23d6","datavalue":{"value":{"entity-type":"item","numeric-id":917333,"id":"Q917333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3980e77148b7d3fa072b1eeb4187444f741ceb2","datavalue":{"value":{"amount":"+0.7605206370353699","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":"Q2145867$63097DF7-FAA3-4960-88FB-51BEA8AB42B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad6c3f11628493164c3cbded25bb426e591bc42","datavalue":{"value":{"entity-type":"item","numeric-id":473196,"id":"Q473196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2044250213ea3645a39f30125b18d6c7ea697bc","datavalue":{"value":{"amount":"+0.7554160952568054","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":"Q2145867$913B232F-79B4-49B2-BF59-D9699093DD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04415b4acfa317c05592d9e4057f2a56b8a072ef","datavalue":{"value":{"entity-type":"item","numeric-id":3815282,"id":"Q3815282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a37a9117dda43781b1853e4f65f4d6032b98f9","datavalue":{"value":{"amount":"+0.7443000078201294","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":"Q2145867$2864612E-7C21-4D20-9978-9ED58E098474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f920feba20695224f64b293d74be3bcc153fc3","datavalue":{"value":{"entity-type":"item","numeric-id":1122571,"id":"Q1122571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa394bba5ed340c29eb0e5a13bee7b26d4b35ef8","datavalue":{"value":{"amount":"+0.7366082668304443","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":"Q2145867$29399830-E335-495E-BCCA-F72D3CF99568","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2145867","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2145867"}}}}}