{"entities":{"Q1122571":{"pageid":1133320,"ns":120,"title":"Item:Q1122571","lastrevid":66174222,"modified":"2026-04-12T08:03:05Z","type":"item","id":"Q1122571","labels":{"en":{"language":"en","value":"A hierarchy of propositional Horn formuls"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4106824"}},"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":"Q1122571$692505D7-5362-4BE8-907D-9AEB0FF2B539","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bd91be7f1c429deaa72bab71487a76e7e397bac","datavalue":{"value":{"text":"A hierarchy of propositional Horn formuls","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1122571$0075DA87-405A-4865-98AB-ECEED8768ADE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d76ee12c7f2d21fcf883726c5a46b7d84a572cd","datavalue":{"value":"0676.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122571$E8176FC1-D279-499F-A3DE-3DC4AEBC3B86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bb964c5f2fceda219bd395272902fe5955eceb6","datavalue":{"value":"10.1016/0304-3975(89)90123-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122571$56C9A227-96BA-418A-B362-DCE3AB84A16B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a81ee3d22f4d6472094917e6f4d497a318f69849","datavalue":{"value":{"entity-type":"item","numeric-id":529039,"id":"Q529039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122571$A089D803-6B41-4874-8290-3B70F39DD20C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122571$4BEF8527-8D17-4D46-AE05-D6733ED64FA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1122571$8979CF9D-7318-455B-B032-1D332C2AA853","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122571$1063ABD4-EE9D-4564-B717-56912D58170D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122571$1B96EA83-D4CD-4BE3-9AB4-4DBEC98FAF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122571$D07CD7F2-E183-4818-99F6-CDD43E369BAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6e2c58b329fea5aeea85076918cf95c4b30cf46","datavalue":{"value":"4106824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122571$81C6E420-DAA9-41BD-9730-76ABCC9A122D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0436b0bbba1ef1f9c7cf096b65116db3324b4342","datavalue":{"value":"number of alternations between players in a game","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122571$6FCB9DC9-421A-46A5-8E18-84DB20F8EB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"026500f320b641f19afd8b66b744c2324adbba0c","datavalue":{"value":"hierarchy of propositional Horn formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122571$B3428037-DC57-4AE1-A89E-DC0D350B9A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d55fe926e3b961a31c4c4b7bd60e782e775e787","datavalue":{"value":"satisfiability of Horn formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122571$B3106C8C-6AF9-435D-8571-B9C44746AF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c9ba0247ea6553a316a289a0a5c2f2004449176","datavalue":{"value":"bounded- depth circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122571$8B7E919F-A82D-4DA3-B0B8-1CB26EC69111","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":"Q1122571$2D5F6C1A-9B8A-45C4-A60B-FEDFDA56E61E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ca172077c9fc8278406a213130f6ed437146fb0","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90123-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1122571$59FDEC6A-53CC-49CF-AE6C-6D6106B58B06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"381fe6fe0d0bfa43bfd7ae6e93976981a6a44096","datavalue":{"value":"W2030000722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122571$C87E31C4-0CA8-4D71-BF48-8D2E20E3DFA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c317ee9b89d25866849eff84487be5a7c7991b60","datavalue":{"value":{"entity-type":"item","numeric-id":3331209,"id":"Q3331209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122571$62ADAC2A-88B8-47A0-A693-471199163215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122571$C9596E7B-1BF4-43E4-839F-FD7938C32D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122571$7B9EF781-20F1-42A4-B00C-B17A49A524D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122571$D82C3EA8-EA56-4960-BE01-F8F83A9F6767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b382547d8fad964f6c32dd98e9936f8afb92f192","datavalue":{"value":{"entity-type":"item","numeric-id":1230637,"id":"Q1230637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122571$1AB9C419-56AD-4AFE-9556-0213B13D1F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c767919e94a3332b8d198174b1921d5e4026fe","datavalue":{"value":{"entity-type":"item","numeric-id":3821586,"id":"Q3821586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122571$980EF03B-E24C-4939-8430-7C497378C1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373c65ef4069b52a23fe230e08a271e32f56a00a","datavalue":{"value":{"entity-type":"item","numeric-id":1235982,"id":"Q1235982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122571$3BF01258-A35B-4DAB-B990-C0800699872A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69d65a67bbaaba2f00d3f9b8be7f859d1d02779","datavalue":{"value":{"entity-type":"item","numeric-id":5663381,"id":"Q5663381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122571$90B524CC-C64C-4DF7-9F3C-74F0C9532133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b734e6760bbdd08ae5a1fc852d30b434587c57bb","datavalue":{"value":{"entity-type":"item","numeric-id":3864500,"id":"Q3864500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122571$BDE0DC75-7666-4842-A60C-C71A2A41D688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122571$9D8F0CF7-F8D8-4AB7-BDF2-97908ECD4A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122571$D9711076-F5A6-4106-8B2A-01218A1B2EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bae4fb1885ead81457a14f898769701dbf485785","datavalue":{"value":{"entity-type":"item","numeric-id":3221885,"id":"Q3221885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122571$81B0FCE1-65D9-4171-A5E2-2CC5F3C7E804","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a925a970a0df41f0a5c8293e886e68ad2b96fbd","datavalue":{"value":{"entity-type":"item","numeric-id":1208436,"id":"Q1208436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ddea79fca7b61a55a4e956b2f0ded9df4c47b84","datavalue":{"value":{"amount":"+0.8145869374275208","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":"Q1122571$6CC70A31-174C-405B-819C-5657AA9E510E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b56894084a70ad94485e089a37aac6ffb59ee56","datavalue":{"value":{"entity-type":"item","numeric-id":685363,"id":"Q685363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"980202c5ad305fbd2d802bd6a7d1b253b4fe9590","datavalue":{"value":{"amount":"+0.794952929019928","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":"Q1122571$229F7B44-9BFE-489E-9202-C00820A2F70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2105f0c71536059d0b6d9a52909981c1a5ac2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b35f28bb586d404519058914f7ede5a996800cd","datavalue":{"value":{"amount":"+0.7915028929710388","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":"Q1122571$C36831A6-13C4-46F8-BCBE-A8F623495F79","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":"9ad4452a669f1a5662f64ca51b11eaee4e5b35d6","datavalue":{"value":{"amount":"+0.7862779498100281","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":"Q1122571$8D0695D6-A660-4782-B76D-EBC1A8BCCB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd9e5cacfc9a515f723536fa9ba0f70d9f901d8","datavalue":{"value":{"entity-type":"item","numeric-id":1380432,"id":"Q1380432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf83e210efbde1784b84fe769a7c12ec9d725f1","datavalue":{"value":{"amount":"+0.7852520942687988","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":"Q1122571$6990D3A4-9A42-43BB-97B4-8F7E2DC9AB35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A hierarchy of propositional Horn formuls","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_hierarchy_of_propositional_Horn_formuls"}}}}}