{"entities":{"Q6160501":{"pageid":13295382,"ns":120,"title":"Item:Q6160501","lastrevid":47848927,"modified":"2026-01-02T21:07:32Z","type":"item","id":"Q6160501","labels":{"en":{"language":"en","value":"Complexity of the problem of being equivalent to Horn formulas. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7683806"}},"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":"Q6160501$A11186D9-A83B-48BB-AD93-508F3702AA03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6bb31db0084b38c2d4c77e8297eabd3b660f11f","datavalue":{"value":{"text":"Complexity of the problem of being equivalent to Horn formulas. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160501$6BA2CD95-C222-44C4-98D9-CEEA74491AB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ba1710c3ba058ee032a662b6cf3f0097e53ed85","datavalue":{"value":"1515.03184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160501$1CE8E850-6E5A-4FC5-82A2-EB0D8A5D1E00","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":"Q6160501$3EC48A22-19C0-4238-B9FD-3E16A6CF6B5F","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":"Q6160501$C69659FF-3486-495C-B73C-DF9839AD62FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7d6049eaa6093af47d5b3a8cb7b215d4a96b2b8","datavalue":{"value":{"time":"+2023-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160501$5421C62E-4B55-41D9-B4E2-74947A0C4A8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160501$BD61199E-8D8E-41D0-9A41-15CDE2B0389D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160501$3FA60096-009B-44FA-9700-0C4C8BB8D246","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e31c6d5856da6e685e54f63ccbd3a88119bad6d","datavalue":{"value":"7683806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160501$A84CD25F-0C25-4B65-BB67-177B3ABBD7C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61380439d4976206c8d8bfd964c1dad40a9de599","datavalue":{"value":"Horn formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160501$749F67AD-D06D-496A-B3B0-8C04FA2053D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4709fbb733e2ffc35972088613170c9b7950475","datavalue":{"value":"\\(m\\)-reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160501$A9880A5C-5582-4F0D-9C7D-F5B3F5ED93DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30ce4319e76c6fa816aa724a3aaf714804af3c46","datavalue":{"value":"\\({\\sum }_1^0\\)-set","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160501$F4430B8D-7FFF-439D-B992-DD5A1837EFBB","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":"Q6160501$44100CAA-4016-4580-8C49-81E0B82D0647","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63d25cd7b0a61f031e75eee37ff5cc070b49fba0","datavalue":{"value":"https://doi.org/10.1007/s10469-023-09700-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q6160501$01B69CDF-1079-4494-B06F-1A808B0CC1F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0133d07247641e33240c4818239fb5619b6ec7da","datavalue":{"value":"W4367314728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160501$FB82C7D0-6C9E-46F1-A91A-CC7EB919E603","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c290074765ae544a2501bea182c5ae7470dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2145867,"id":"Q2145867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160501$9822D22A-9DA4-4407-8DB2-B5F669764423","rank":"normal"},{"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":"Q6160501$4E0D28A7-8E8E-45ED-A2CF-5B405332EC72","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":"Q6160501$278D8216-D00F-4419-89A0-AB731DAB5851","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":"Q6160501$08FCC7D3-6262-44BF-9F78-87ACFB21EC94","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":"Q6160501$E1056369-48F5-4869-B4CD-9E6ABA5C29C8","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":"Q6160501$A815101B-3C56-41A9-AF11-BE0E4D8BD4C7","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":"Q6160501$C3F2E1EC-37F1-4D31-814E-B26293D9E3D7","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":"Q6160501$A414E414-C356-42C0-A5A6-678697DDE8CD","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":"Q6160501$9679A2B4-E59C-4EB5-8630-65D54B43EE2F","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":"Q6160501$D544D376-0FE6-4BB3-B72D-F4D3DE4732F8","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":"Q6160501$8D27267E-693E-408E-B4EA-15D6098BDE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39f393be7e7693fa81a63ecee493915bc3f615c","datavalue":{"value":{"entity-type":"item","numeric-id":5596792,"id":"Q5596792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160501$A4094C40-0D86-43F0-8E00-F8F9D4CD4325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160501$F19F2D09-CCE3-4443-A8D1-9723B7C94B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70415211cfe84908ddcdabfc0c0a97bbbc2328dc","datavalue":{"value":{"entity-type":"item","numeric-id":5824365,"id":"Q5824365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160501$BE877EC8-535D-4A3E-9966-DCBDB8BED566","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c157f6582542a5f74396206dedd1b0b49c9f18e0","datavalue":{"value":"10.1007/S10469-023-09700-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160501$FB36149A-F79A-4FCE-94BB-0F432C8D296B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052bcde754cf8683c81cf5f85c8973d608f4850f","datavalue":{"value":{"entity-type":"item","numeric-id":2145867,"id":"Q2145867"},"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":"Q6160501$9159C466-D86E-4066-876B-24CF920D727D","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":"46b5838f673e58a6ded526cdc570a5bffe110058","datavalue":{"value":{"amount":"+0.7544662952423096","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":"Q6160501$14208279-D5E8-44A2-A4D3-DD1CC0500DA3","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":"bda3ce7f2f610f4fc2095e39519d084be4985b82","datavalue":{"value":{"amount":"+0.7505040764808655","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":"Q6160501$BD417116-B8CD-414B-B680-4736F3C439BA","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":"e201a7215a99926078d65cd8986379a3f0f55886","datavalue":{"value":{"amount":"+0.7462528347969055","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":"Q6160501$67961878-0AA7-411C-898E-AAC33AC10154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c69bee82fb159b3ebdf33d67333a38d31cc5b33","datavalue":{"value":{"entity-type":"item","numeric-id":1099168,"id":"Q1099168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02dc08ff68d2f5c491e7cc84d4c01de7ae74c1bb","datavalue":{"value":{"amount":"+0.7334033846855164","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":"Q6160501$FF3B8A56-3008-4421-972C-A72B670C4E16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160501"}}}}}