{"entities":{"Q5919599":{"pageid":8051281,"ns":120,"title":"Item:Q5919599","lastrevid":53514815,"modified":"2026-01-25T03:05:55Z","type":"item","id":"Q5919599","labels":{"en":{"language":"en","value":"Gelfond-Zhang aggregates as propositional formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7099212"}},"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":"Q5919599$444698FC-309A-4C2A-B8D8-B256759C64B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4759ec4642445910956c6c57c36ea6d7394b92b6","datavalue":{"value":{"text":"Gelfond-Zhang aggregates as propositional formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5919599$611ED9E8-D5E1-4AFC-8957-1AC99E69EBCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"312ab96ec1f6736b2c8b43151a69af0d1359cb4d","datavalue":{"value":"1478.68363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919599$D365C2F9-F6C8-4004-BFB6-47E422DFAE92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e17172b64041e106abf805133500ed871f43f9f","datavalue":{"value":{"entity-type":"item","numeric-id":309904,"id":"Q309904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$224A939A-DD17-42D8-8ED6-26BF8305EF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dacaca5cad7883409446c214a642c9ac040d88b","datavalue":{"value":{"entity-type":"item","numeric-id":1647483,"id":"Q1647483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$2883CA70-A8C1-4501-8214-0330D12C9350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1b02b9e7e03e44c0aa9ad28c14a665e922cd412","datavalue":{"value":{"entity-type":"item","numeric-id":421457,"id":"Q421457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$5548EA72-AF2A-43A2-A6F5-5DE9AEE0D7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aceb6d0289d56c21bb0d3870960f191b95e53a4b","datavalue":{"value":{"entity-type":"item","numeric-id":2296739,"id":"Q2296739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$1AF4DD8F-6A5D-4CE8-BB81-122A6CACDA92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$99744BA9-465D-4EFF-BB5B-41D523B6180B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1867080905ef2692887975198ee5812162d0ab10","datavalue":{"value":{"time":"+2019-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5919599$801B08A2-D1DE-46DA-B04B-9E38DD216963","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919599$D207206A-2232-4033-A5D7-EB4ACC82994D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919599$092E1EAC-4C94-45F5-BE05-9E2A4F96C001","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33b546f0301f11f5ffbcca1bba689f60fd2fbccd","datavalue":{"value":"7099212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919599$E6822237-33B2-42D5-BDA5-603975D3A51D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ed2bd5c1c1854c2af97502b62623aa3585d1f33","datavalue":{"value":"aggregates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919599$0D860D44-AA54-434F-9540-43B93661380F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919599$D3A4A155-0FFF-42DC-A579-974B3AA4784D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5d6e84e9c36b0c6a2477129394fe7ca01650b7f","datavalue":{"value":{"entity-type":"item","numeric-id":16800,"id":"Q16800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$014EFA2C-AA86-4C8A-AC2F-55B3FD2E0EFD","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":"Q5919599$CB874A39-FEAB-444A-A0E4-BE89FF162D90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b694280ba66a0160391ae55f4bb3bf8504c10082","datavalue":{"value":"https://doi.org/10.1016/j.artint.2018.10.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q5919599$7EC8852D-658E-4E37-8827-90B37690D761","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce01e554a023fcefc15d300f284f44b0c99ef8bb","datavalue":{"value":"W2725233680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919599$F157BFDA-6196-40DB-BBA5-EE9ED6739125","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$67789543-677A-437F-B2DD-C0A54014768F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$3BB654AD-4F43-42FC-882C-933C9CDFE08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$3B97E404-D609-421B-B331-F8D714D6C09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df57a8b6ea029c06d43a21a5342274199359600","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$24FEB924-C24D-4748-B548-6970E4298581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d65be6b84798d28cf87a0d7ae277068dab641b7","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$7B8E347C-613B-44FD-AADC-1AFDA1A1FD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e0d5e6f27beb9fa6a4f34d4e6851c16ed004da","datavalue":{"value":{"entity-type":"item","numeric-id":3546036,"id":"Q3546036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$9C534AA4-D222-4C89-9655-80B603602B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810a438105196696cc0a2f8acd79928b03e80b29","datavalue":{"value":{"entity-type":"item","numeric-id":854969,"id":"Q854969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$AFAC6E41-17F0-4EA4-8AFA-7EDD2E4BAFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2038f0183acfa0ce782f0d7bc3187371edd4c0","datavalue":{"value":{"entity-type":"item","numeric-id":4592970,"id":"Q4592970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$8B6E6484-EBA4-4C11-925D-E7D1FD23530C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ff4fd15aa6734e12066f575f2700abc354f037","datavalue":{"value":{"entity-type":"item","numeric-id":1603743,"id":"Q1603743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$9714B400-0A79-46EC-A6D1-7E884878B99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02855c18933035a88630f09d03ce867cf8502ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3432854,"id":"Q3432854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$582055EE-E8C0-440E-80DD-43ACAED1BC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5daca2a79e7566c449a29f626072fab84a88f0f3","datavalue":{"value":{"entity-type":"item","numeric-id":3432855,"id":"Q3432855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$CA73C78C-D6C1-471B-9630-FBE9C1A34250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30a3ed2382088a4963963343aa835160547a3ac","datavalue":{"value":{"entity-type":"item","numeric-id":2946644,"id":"Q2946644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$8A7F44B8-0135-4F1F-8054-5220F90C4212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a94cdfb9593809bdead9d9efe4fec09d19deada3","datavalue":{"value":{"entity-type":"item","numeric-id":543600,"id":"Q543600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$6BC9D903-14E9-4171-AE88-DFCBD6199BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614e3105c95f588131b97303d8b492178b2a78f2","datavalue":{"value":{"entity-type":"item","numeric-id":2931266,"id":"Q2931266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$51A974C4-34AE-42F5-B63D-C2145BB6C6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b273b391188706ae47701c609a62531d91c6e90b","datavalue":{"value":{"entity-type":"item","numeric-id":4592989,"id":"Q4592989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$FE5747DE-C97F-479B-91F5-335A4E372D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a381368a6e530fd9cfaf75684cdafb86ba06def9","datavalue":{"value":{"entity-type":"item","numeric-id":5473965,"id":"Q5473965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$DDFEFDE6-ED00-4E3F-A91E-8223EF6B5C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$467BF19F-BEFD-4F2F-9562-7C18929D160F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"887835ddfb4693ad6c2140285acdb5356361ad62","datavalue":{"value":{"entity-type":"item","numeric-id":4593002,"id":"Q4593002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$258A170E-9676-4C2B-9C50-F683AB9EABC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b65652773009e66fd7e1c282c299c2638b3ab4b","datavalue":{"value":{"entity-type":"item","numeric-id":3008406,"id":"Q3008406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$3048BB20-3181-43E0-B6EC-56FAE0F6BDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df44f32be72b62943c290b19e49f23579cd0a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4559801,"id":"Q4559801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919599$FB0698F3-C820-4984-8CE6-8865F2CA77AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3487bc25e94a5a586f27d789c339105534c23a82","datavalue":{"value":"10.1016/J.ARTINT.2018.10.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919599$8380060C-EFDC-4990-B2FB-1CE747047DC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7db408d246e4f5f11afb6175b130d0a4d6a8970","datavalue":{"value":{"entity-type":"item","numeric-id":5920076,"id":"Q5920076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8f770ff9fe499fb4d1cfaa264cd01e75ca4c9b","datavalue":{"value":{"amount":"+0.9694122076034546","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":"Q5919599$310B3EF8-6ABB-4670-A470-0FA99A280EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8e4b1b60b3d2cf15924019d12ff7a2366701b3","datavalue":{"value":{"entity-type":"item","numeric-id":4592998,"id":"Q4592998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c9430643aed951a9b503bc0c9491c735022600","datavalue":{"value":{"amount":"+0.8085953593254089","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":"Q5919599$69016820-A5D6-4443-9A69-578693D7986F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a836e07beb098876b0f96a05ee4a474281c56630","datavalue":{"value":{"entity-type":"item","numeric-id":4559801,"id":"Q4559801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f2865c8e8b4bc6da7a4bdf4276c3d6e3ecb6a7","datavalue":{"value":{"amount":"+0.8057553172111511","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":"Q5919599$22773131-F968-4430-91F1-9ECCD52BB757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f3b94eefe0cb345c8bedaf5e7bbf5ac8b266d7","datavalue":{"value":{"entity-type":"item","numeric-id":3643117,"id":"Q3643117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d5181fe158fc94f4642696ecdde8044b93573e","datavalue":{"value":{"amount":"+0.8004910349845886","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":"Q5919599$452F30C2-5FC3-4236-9583-505066DBBB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17107ddbdf51e4ecc6c38d64c4ceab8d51eeabb4","datavalue":{"value":{"entity-type":"item","numeric-id":543600,"id":"Q543600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53563ceff07357b8230d5879ef5a5a0ec75e870e","datavalue":{"value":{"amount":"+0.7946431636810303","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":"Q5919599$3FD12CF5-25EA-4884-9E56-57F60A16E909","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5919599","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5919599"}}}}}