{"entities":{"Q4915214":{"pageid":6944795,"ns":120,"title":"Item:Q4915214","lastrevid":51688625,"modified":"2026-01-19T12:03:56Z","type":"item","id":"Q4915214","labels":{"en":{"language":"en","value":"Complexity and expressive power of second-order extended Horn logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6152445"}},"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":"Q4915214$8E1E892A-427D-4CE6-B568-61D40217CFF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e45db1d27ff4f6c9bb2616adb4b6945e2884d864","datavalue":{"value":{"text":"Complexity and expressive power of second\u2010order extended Horn logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4915214$32B3BACB-3E01-4CEA-BE21-425695263CEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"086617f897f1e8a3b6853d5f1976a2cc7e1d9629","datavalue":{"value":"1319.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915214$DB988195-611A-4C50-ABE3-60BA6181AB05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff14b2229f33735cab555903b1ee721898ea9a2a","datavalue":{"value":{"entity-type":"item","numeric-id":2102775,"id":"Q2102775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915214$871BFF39-F50A-425D-912F-34A5B77A2F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec92be1486ae17f71ec404a7412ad04344028005","datavalue":{"value":{"entity-type":"item","numeric-id":162005,"id":"Q162005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915214$493BAE4E-774A-4147-A94C-83AE6D19C449","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915214$12ACC85B-2C0A-40BB-A25C-4D278AC220DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d05c5960e17df88a20f497dd893bcc369c3eaa","datavalue":{"value":{"time":"+2013-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4915214$0196196A-2E1F-4FFB-8D91-CD1A6FD2BEE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915214$7467591A-045D-4E3F-A9DA-8617EC78A343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915214$AFDE5A2A-A95B-4B26-AE07-CE36B0C5B839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915214$21A0AC77-5B69-4BD9-894C-1188EF41873C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915214$36C4B562-FFC9-4FFE-A301-314A97255E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915214$EC0F2D56-62C6-49E6-92C7-74A83187FA70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a70cb83e9ef8784d03f3cc706d7405d89264a1d","datavalue":{"value":"6152445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915214$F27407CF-975F-4BD4-BEE2-B14E8116C99E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915214$8D450285-23CF-4C25-9356-7BF13EE7AA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915214$CD8576FA-3BC9-4BBF-BE2F-2CA32BF906D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ed1b2ba167230a9136fae7fa7f544041194248","datavalue":{"value":"Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915214$22C3A015-CF3F-4D15-9039-B96AE1F5882A","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":"Q4915214$52DC5614-8422-4F6D-8362-9C5A49BFB13D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53ac53ea2511fb3fc84e55b962898b569dc26476","datavalue":{"value":"https://doi.org/10.1002/malq.201110034","type":"string"},"datatype":"url"},"type":"statement","id":"Q4915214$B2C8FF0D-395F-4040-8C69-AE79FD4D629F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17e39b009a29ff5125e45d14c1fb4371a13a933d","datavalue":{"value":"W2084906772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915214$8E010E32-92BC-4E46-A239-C39C569008CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38c430384783ace9c4c18d6cfbcc0dae62fd879c","datavalue":{"value":{"entity-type":"item","numeric-id":3204028,"id":"Q3204028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915214$8056E109-339D-4A78-81BE-BC6DA1116FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b1889073b69b0c4ae2ff2f42f4dc8a5b90b51a","datavalue":{"value":{"entity-type":"item","numeric-id":944709,"id":"Q944709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915214$F9EDE41B-1B22-436C-A160-31244602F020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04199e03d1d3ec0d2b5fbfff526a164b91654871","datavalue":{"value":{"entity-type":"item","numeric-id":1838840,"id":"Q1838840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915214$411BA55D-8CB6-4E55-953D-BC14E01E2611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1e825f83b50e8e1130715dfc474cbbe8c43bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3706528,"id":"Q3706528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915214$AA9292D9-1FE1-4690-B0BA-7E9BA08BE903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaacce59fa1f221109265c34b720287e0cba028e","datavalue":{"value":{"entity-type":"item","numeric-id":5708365,"id":"Q5708365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915214$76C20D6F-7A8E-435B-A454-989CB1B65C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00fbad8fe3c3a491e1de8dee37fc723a673f69a","datavalue":{"value":{"entity-type":"item","numeric-id":1193408,"id":"Q1193408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915214$8B69E853-010A-49D0-BEE0-A6839A9072CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915214$925098B3-E816-406D-B167-31C9FECDB657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ca7a1acbb96c14c8f84c4ce6e6462daf757716","datavalue":{"value":{"entity-type":"item","numeric-id":3773337,"id":"Q3773337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915214$4CB6680C-A882-4BFA-A85C-803C17EFE371","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":"Q4915214$D4CA5F94-9F26-4B45-92D2-6DA8453CEC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f9de1d656f0aa742440c4682c321b4c0b7ef185","datavalue":{"value":{"entity-type":"item","numeric-id":955019,"id":"Q955019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915214$E41D2EFD-F8A3-45D2-AB83-527A1689199F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1268c34f98c46f18ad911507724e23503472927","datavalue":{"value":{"entity-type":"item","numeric-id":803773,"id":"Q803773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915214$F0E6E087-7B9E-4395-B04D-1A60E835E834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915214$009BC8BD-3F28-4309-9AF7-EC368D38FBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915214$33BF1E6F-B5EB-416B-BB2C-26DBC463AE6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6529014afd6ebed2f37c1865e26b46fd1a250934","datavalue":{"value":"10.1002/MALQ.201110034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915214$08B4A0DC-77AA-4CD9-9504-FEB261F05926","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62f2746d16b0c128a39bb1a9aecb2a30e8d4d4eb","datavalue":{"value":{"entity-type":"item","numeric-id":4035693,"id":"Q4035693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f37564d24a77347ece23333e16b6a63d74886d7","datavalue":{"value":{"amount":"+0.857787013053894","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":"Q4915214$9906181B-32B4-4DA4-8649-F735C48A0D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3610914827c58d6343ac6778757b1ed316aa36f5","datavalue":{"value":{"entity-type":"item","numeric-id":4358054,"id":"Q4358054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f37564d24a77347ece23333e16b6a63d74886d7","datavalue":{"value":{"amount":"+0.857787013053894","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":"Q4915214$D3B15344-C1D6-4613-B934-C3B4E9D4EDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf446e729c2ae15b32d7b70132cbb22d8715b07","datavalue":{"value":{"entity-type":"item","numeric-id":1193408,"id":"Q1193408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe78834076f3986703d6ef59a70705817ca447fd","datavalue":{"value":{"amount":"+0.8006670475006104","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":"Q4915214$34C63363-46D0-436D-9693-38B3EC14EFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83c1f39f9fe83fd129f59401ff6d7c33e22da867","datavalue":{"value":{"entity-type":"item","numeric-id":3569000,"id":"Q3569000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5f9b964b65cdaf63da0af5ee4812ae2d5a6865","datavalue":{"value":{"amount":"+0.7624242901802063","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":"Q4915214$DA1D48D9-EFA1-49E9-8AFD-9EC313C85A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd3feec3f8c96467ac8a86ffe6c462193fd3553","datavalue":{"value":{"entity-type":"item","numeric-id":3224003,"id":"Q3224003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b4942fd43effb80eabbd94c07d41cb903776dd2","datavalue":{"value":{"amount":"+0.7490940093994141","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":"Q4915214$E13A5745-A7BA-45FE-9BA1-86D9FD01042C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4915214","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4915214"}}}}}