{"entities":{"Q4559801":{"pageid":6589392,"ns":120,"title":"Item:Q4559801","lastrevid":97325474,"modified":"2026-06-05T13:59:56Z","type":"item","id":"Q4559801","labels":{"en":{"language":"en","value":"Functional ASP with intensional sets: application to Gelfond-Zhang aggregates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6988651"}},"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":"Q4559801$262962D1-DF40-4979-8C74-F8900DD954BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db13517b2254f43093917ca9b47deca1a404645d","datavalue":{"value":{"text":"Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4559801$2248559F-1A29-402C-80CF-3FC858AA1F92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f8889625b52caf57f9e41b30037065d5d4fb48f","datavalue":{"value":"1451.68255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559801$BBB6CACF-8318-4C5C-875B-5EDFE00559DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"748546146dcda0b7831ce56dfec0f6e042b65b5f","datavalue":{"value":"10.1017/S1471068418000169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559801$DF5E026E-D04F-4BD2-8D48-E141EA6CA19A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559801$A7BA5E1F-C553-4BCF-A355-FC30E3BC5FCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3057b7b50937a91885954ebcb046fa2257c3f34a","datavalue":{"value":{"time":"+2018-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4559801$6D1808B3-D5E6-4532-9A10-6CF5EB8A2859","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63b4d9ca6a167e4fdc3514531f35576050f546c1","datavalue":{"value":"https://arxiv.org/abs/1805.00660","type":"string"},"datatype":"url"},"type":"statement","id":"Q4559801$A33E16EB-1C58-4852-9D13-0163FFDB180D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559801$8C8B7465-FE27-44D4-83D6-4BB5C6366408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559801$CCFEF108-E641-4E0B-AA89-D10D4A937105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559801$959565B8-1878-4F10-822A-6B24544D0371","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1bb49729540f8d6930590a1261a7e7ff0485508","datavalue":{"value":"6988651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559801$DF83A553-3896-4C52-9324-315B8C1E215D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559801$6E76DF73-F303-4578-BEC5-B659BDBF39F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9ac413f5aa94c5b7e7fdc90244795870badd09b","datavalue":{"value":"equilibrium logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559801$51CB64FF-65A8-44D4-9234-DC43AEC13191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31be1229374545ff94fd95ad2a5ce9870f120db","datavalue":{"value":"partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559801$2982511D-F0F1-4135-A582-67B9932172EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ed2bd5c1c1854c2af97502b62623aa3585d1f33","datavalue":{"value":"aggregates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559801$A220530E-4248-411E-A7F5-B348EF917757","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":"Q4559801$D42E8F47-1B0B-42B2-80AE-14700DFAE51E","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":"Q4559801$B18E0800-D21D-4028-AFC9-21B492FCD810","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ac71a5746e7306137bfd4c0bd6a6afa499dd9e","datavalue":{"value":{"entity-type":"item","numeric-id":5398294,"id":"Q5398294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559801$2F413F6B-5295-4EC3-9DDA-888425342162","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":"Q4559801$848A4E73-351F-4B6A-BCEA-02202BAD157C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849e71655b4ceae09ef67ed238d086ffa9886525","datavalue":{"value":{"entity-type":"item","numeric-id":3212263,"id":"Q3212263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559801$5560AF46-D39D-437B-B487-61A49C4864AA","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":"Q4559801$9957ED6D-87B7-41B6-A98C-483E54EC709F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fadac778092b55e242b49363ffcb7c00c6b192","datavalue":{"value":{"entity-type":"item","numeric-id":5920076,"id":"Q5920076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559801$1F26878F-8DC8-4AF3-B480-7E59A77434A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea33650a4de36582174ef97f4bde441e228d53d","datavalue":{"value":{"entity-type":"item","numeric-id":5191486,"id":"Q5191486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559801$1EA42C7D-55A0-4339-BDEC-9BAE22756767","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":"Q4559801$6F61FF02-CA3D-4931-9E1E-22EE9809DC73","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":"Q4559801$7F433F27-0544-4957-B953-9825D2673A36","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":"Q4559801$FF7C6E81-0324-4A05-BBD6-A884C406C5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f997e4c1de813a7125f45655f84a441aa838b7","datavalue":{"value":{"entity-type":"item","numeric-id":4592711,"id":"Q4592711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559801$B84A5622-9089-4B3A-B28C-57756DADA15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eed9a78ec9afb5832a7a54f1167650414f47ec6","datavalue":{"value":{"entity-type":"item","numeric-id":909435,"id":"Q909435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559801$F9C5BFA3-089E-4D46-B8CC-E95D0A6A80D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"655a6a5a7ecfb6a053a5b7adec997f282f7588ab","datavalue":{"value":{"entity-type":"item","numeric-id":731478,"id":"Q731478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559801$A0937797-772D-46C7-9AAE-FEC72A85186F","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":"Q4559801$87F316FD-B2D7-4DCA-B1FF-819A456FAE06","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":"Q4559801$A8BDFFAA-EA0D-4685-8872-FB122E046E37","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":"Q4559801$08B0F55A-1C85-4AB3-8D02-32042C8B98EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"506267d4f8ca2ebee6e9d725fb4a73e9dfc2e889","datavalue":{"value":"W2963165327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559801$FB753818-1E42-4656-8A8A-3DC339D7D640","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0440799076f8040544c383610f2eb90333f99fcd","datavalue":{"value":{"entity-type":"item","numeric-id":3008406,"id":"Q3008406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a8df52cdef91d9acfd519ee93c055c35d41e37","datavalue":{"value":{"amount":"+0.8149946928024292","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":"Q4559801$02399974-0EFB-420A-9801-EF1EDD7AEA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57bb5f7816984bd9c0eb7afa93c9e86e77fa5ee2","datavalue":{"value":{"entity-type":"item","numeric-id":5919599,"id":"Q5919599"},"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":"Q4559801$35F4FEBE-6948-47AA-B851-F8D7852929AE","rank":"normal"},{"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":"3b317993644d19a8515a13175f80872e9386d62b","datavalue":{"value":{"amount":"+0.7924506068229675","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":"Q4559801$8E373CA4-D6C2-45DD-8358-E6B7E483AE82","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":"a0287ce372076ccb2dd56d4b393f05819892e207","datavalue":{"value":{"amount":"+0.7867060899734497","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":"Q4559801$261FE57D-1EE7-42DC-AFE1-DD49F04B2078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51c3881ea39dd4ddf97af5ddf1aed10e31b3eae5","datavalue":{"value":{"entity-type":"item","numeric-id":5424890,"id":"Q5424890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25b612ee02cb152ea9e63a5838969b99cb116ea2","datavalue":{"value":{"amount":"+0.7811733484268188","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":"Q4559801$E4965113-2F7B-496F-8BD7-C827D28D2E91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functional ASP with intensional sets: application to Gelfond-Zhang aggregates","badges":[]}}}}}