{"entities":{"Q1198035":{"pageid":1208784,"ns":120,"title":"Item:Q1198035","lastrevid":47107789,"modified":"2025-12-31T17:05:42Z","type":"item","id":"Q1198035","labels":{"en":{"language":"en","value":"Detecting embedded Horn structure in propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 92101"}},"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":"Q1198035$94BABD18-23C2-483F-90EC-099036808EFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd15554ebbbcd015e4c1bc76855cd4e0b9a43cd8","datavalue":{"value":{"text":"Detecting embedded Horn structure in propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1198035$2740A0CC-AC6B-4467-9E15-AC8773C2BCB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc9033452a3c60a5fa919a7969999b5ab6fa90e3","datavalue":{"value":"0780.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198035$AF6EDE51-1870-4B2E-899D-4AA4E2DA39C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d9676caeae38d9d0bad3e04338165cb74017bbf","datavalue":{"value":"10.1016/0020-0190(92)90098-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198035$338DA7F8-73A9-426C-A789-F2373D07D52B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198035$F767B1D5-4439-4681-9AA1-9109EAB6A2A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198035$BBDE4384-3A39-461B-B658-E9DA53579780","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1198035$B4EBBE98-B4B5-45C5-BB9A-C9872462A9B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198035$D2F6797E-2566-400C-B626-488825BFF210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198035$289612B9-9025-44EE-BC71-A7A50C43351E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"206721fe26dea1ceb42902ecd7cbe18beb047387","datavalue":{"value":"92101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198035$5C2613EB-B4A2-4747-843D-E0C4CB108A1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27e9a82e11df8b82914213a379eb7760a64d4dde","datavalue":{"value":"set packing problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198035$8761A4B3-F271-4F8B-B2E8-DD55D280F673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72bf7617d5087dbbe1fc6d118288bc35b94955f6","datavalue":{"value":"maximum renamable Horn problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198035$3CA7D6DB-9AAE-4BBF-B6DC-60A7107BFACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c4628391bc7e2f29119ced30c12a75c601307e8","datavalue":{"value":"propositional satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198035$86348C41-7AEA-4DD7-BB88-FC6D0A702019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f12ea105addea4e52f9511695748975bd61a49c","datavalue":{"value":"NP-hard","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198035$BBC3A32B-4D76-4319-AD89-D042B6FD24EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5458a9d75d87073e9d10459baf03b5f0335793f6","datavalue":{"value":"maximum clique problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198035$4A0294AA-AC71-4A2A-B522-FF7A7A113C23","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":"Q1198035$26E62226-664E-4AA9-971F-14EE97A9156D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b5b0535e606fd0713aa3bc3ecec575e7f5e28b","datavalue":{"value":{"entity-type":"item","numeric-id":3898029,"id":"Q3898029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198035$E3004555-D441-49B0-8664-DA1C79DCAEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b5b04ed3aa0acdcae036286ca8192fe935fcbb","datavalue":{"value":{"entity-type":"item","numeric-id":3741641,"id":"Q3741641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198035$1A305A20-E850-4F80-AE0B-547D0397C2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3672c9d2d9a732376b2bacc5469a68613a21edb","datavalue":{"value":{"entity-type":"item","numeric-id":922964,"id":"Q922964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198035$C46461E9-08FE-441B-9A5D-B2A7C64EF529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46599fad5219aa3aa37e01866121623c89c30ae4","datavalue":{"value":{"entity-type":"item","numeric-id":1356207,"id":"Q1356207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198035$E6D7AEAF-38D3-481D-BFFA-43E5B895E088","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":"Q1198035$F3DF7BA8-C67C-4B75-B7EE-12FC4C476F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"830b1154055c7f3eef2a6509606509a0926279e0","datavalue":{"value":{"entity-type":"item","numeric-id":3798257,"id":"Q3798257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198035$A4D62A0B-610E-4266-8D79-577BD833EEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75c2e6b4e55234b1d56838e1deaa26e6fb4ed4f","datavalue":{"value":{"entity-type":"item","numeric-id":2641083,"id":"Q2641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198035$9F2AB961-8F76-44B5-9BA7-18F03489C187","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79a54ce8845896efac1835d6845d007e6c4e1e34","datavalue":{"value":"https://doi.org/10.1016/0020-0190(92)90098-g","type":"string"},"datatype":"url"},"type":"statement","id":"Q1198035$3BD074BB-7E2A-40FB-A867-D870F788559E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c1777484db8fe1effc6b92d2044e304409d6a18","datavalue":{"value":"W1991253226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198035$14EC4FF4-475B-41B0-8AB3-FD73B6E604A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4058481700c656a9d13d0902569cf39f97642be6","datavalue":{"value":{"entity-type":"item","numeric-id":1961445,"id":"Q1961445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef85280aa2fb6b19c4861ae7ffd5d6382d4f069d","datavalue":{"value":{"amount":"+0.8055047988891602","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":"Q1198035$7050FFB8-68E8-426C-B7A9-690694B4BB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce44a372b1a70516d50a917a89f174f4268f0ee0","datavalue":{"value":{"entity-type":"item","numeric-id":1804878,"id":"Q1804878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5ffcedf9adb45864930fe7781a352e3d11a963e","datavalue":{"value":{"amount":"+0.7732334136962891","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":"Q1198035$D66F6B7A-F993-406E-A512-C3A3FFD044B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98560825370a391c5831253acb725427d4ad6f7b","datavalue":{"value":{"entity-type":"item","numeric-id":1356207,"id":"Q1356207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5d6889a20bcb4ddffd90195a0c15273af7b3a5","datavalue":{"value":{"amount":"+0.7705426812171936","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":"Q1198035$88892232-C85A-44D8-9CAC-B60A87452D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88011de0942af8ad7fa6bfc78d542252b1a3d1e","datavalue":{"value":{"entity-type":"item","numeric-id":4302833,"id":"Q4302833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0969b68559a91049774a58dcf4b4312ef6083c","datavalue":{"value":{"amount":"+0.767029345035553","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":"Q1198035$088DBA99-5C3E-4E00-9C99-1CC038273EB5","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":"1352ad721fa82ff12e127b4bd97d869948fe0092","datavalue":{"value":{"amount":"+0.7589007019996643","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":"Q1198035$3C529347-ABEF-459D-9D71-1081A9F66FD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1198035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1198035"}}}}}