{"entities":{"Q5140023":{"pageid":7169594,"ns":120,"title":"Item:Q5140023","lastrevid":58450638,"modified":"2026-04-05T06:52:15Z","type":"item","id":"Q5140023","labels":{"en":{"language":"en","value":"\\(\\mathrm{ASP}(\\mathcal{AC})\\): answer set programming with algebraic constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7284978"}},"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":"Q5140023$5D33F72C-59E1-45B7-A67B-6907F9DC6079","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4e48093e4a5569e144a7930515ff77c0292a771","datavalue":{"value":{"text":"ASP (): Answer Set Programming with Algebraic Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5140023$14C05E91-EE5E-4433-82D2-3F55AB7A595C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef4bea2631fb4d86538301168591c3311a7ef998","datavalue":{"value":"1471.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140023$98CBD1FB-1ECA-4539-AB78-7A2382121CCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00fdba7e62abe4f1cef55a4efa3b751a20ad8c23","datavalue":{"value":"10.1017/S1471068420000393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140023$E6DBC570-89C4-46F6-ABE2-2F478F897E39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e2771a73d1b8d307276d7afc6997154a7082ea","datavalue":{"value":{"entity-type":"item","numeric-id":171927,"id":"Q171927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140023$A6F3BBFC-B3C5-4E8B-90B5-2C79D8526A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d9207d0abc5e7cc8913ad8203e0d00f10cd4cb0","datavalue":{"value":{"entity-type":"item","numeric-id":4999273,"id":"Q4999273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140023$C83C9E4F-A3A3-41DA-AD14-A1823C6D58A1","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":"Q5140023$32A4F223-071D-4222-B0C3-76E1FF540141","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c22e955df7a052abb3ce5a1a5d7a826979ac81b","datavalue":{"value":{"time":"+2020-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5140023$B5564899-0574-4A24-B232-D71ED334A537","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a523de9c5e24745a926e79bf99f48761dc75f43b","datavalue":{"value":"https://arxiv.org/abs/2008.04008","type":"string"},"datatype":"url"},"type":"statement","id":"Q5140023$2918A19A-F197-495B-81C2-43DE7D9DE938","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140023$63AC7B75-88CC-4DD0-B318-755687DCAA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140023$EFBC485E-E00C-44D9-860F-365E7D268622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140023$A4C912D0-DA55-413A-B822-A17E7F6DBC49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa79f88b555dd528ef5a803646a244308166687c","datavalue":{"value":"7284978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140023$15C16859-2627-446A-95E0-2074A12D5D41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2f7e82dfdaf52bee790340d238d1f3751f0a03f","datavalue":{"value":"weighted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140023$C009ACDD-8E73-49B3-A5D4-5ECA774E4C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1e06cda10124e251dd03269953d7c6fd3862104","datavalue":{"value":"here-and-there logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140023$8597A80A-6D27-4439-88AB-48CCD68DA320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140023$738B25C4-CDB1-4C84-A76D-BEA4222753DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140023$4320CC1A-E031-4B72-9E88-C12563A6C85C","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":"Q5140023$F6B5F447-14ED-4597-96B9-B8BFDFB1F492","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca2856691e6c29f8e4aa80de7a199c32d522847","datavalue":{"value":{"entity-type":"item","numeric-id":5398292,"id":"Q5398292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140023$54115143-84ED-49F9-9452-83475A1961C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f920bd2aa5ab4e31de9e88b0fcec8476a70cb817","datavalue":{"value":{"entity-type":"item","numeric-id":2321299,"id":"Q2321299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140023$2F4EBC2B-208F-4C8F-98D6-632B676430A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8a11e59982d4661b56434a85f083056778ce45","datavalue":{"value":{"entity-type":"item","numeric-id":4377273,"id":"Q4377273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140023$33EF99BC-3F0F-451D-9E18-2F0D67DE436D","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":"Q5140023$35480E50-659E-4FBA-B78A-A516ABE59D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fe74d71647df58cbeb87817c49bc896fc5aa69","datavalue":{"value":{"entity-type":"item","numeric-id":2373736,"id":"Q2373736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140023$E6F505A8-C734-4576-A0C0-4749F5411CF9","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":"Q5140023$4BD8A89E-A66A-4F34-BB76-F07B6DB3F487","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":"Q5140023$42BF1E63-556B-4503-AF53-50AF57F8D09A","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":"Q5140023$39F0A43E-57F5-4D93-B50C-D8696C8B50F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b906034c2ec53edda2ffc93c4b30cd388d51f1c","datavalue":{"value":{"entity-type":"item","numeric-id":490456,"id":"Q490456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140023$3443383D-41DF-4B97-A8E8-376581AAEBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6bfb4a7928e8cea6fcf996a7b30dec4aa62d356","datavalue":{"value":{"entity-type":"item","numeric-id":5325773,"id":"Q5325773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140023$2568F235-5435-4AA1-A8CE-312A07ABE4BA","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":"Q5140023$1A82D1EA-91C5-41FC-9C22-0FF67E2E2CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f7f1f9bc3f9619e9e2976cf697a1c85f775e0d","datavalue":{"value":{"entity-type":"item","numeric-id":1978013,"id":"Q1978013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140023$200E3688-75C8-4FA9-B45B-B6FA333E1CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16b33c3da3eb624223f69f0a943fc41c96153f8f","datavalue":{"value":{"entity-type":"item","numeric-id":4215779,"id":"Q4215779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140023$900BFBAF-D119-4494-A1FD-635F772E8E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e889ad5fe23c2a7aa626ba80a540af1fa73e831d","datavalue":{"value":{"entity-type":"item","numeric-id":5451971,"id":"Q5451971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140023$5D206A43-89EE-4C32-9213-391F7B6ACB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f501bbfbb1e6e7308e5e8e7a6673bfa85791390","datavalue":{"value":{"entity-type":"item","numeric-id":4955344,"id":"Q4955344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140023$3D3F42D7-5018-4D47-815C-67FF80971073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43151032accf7b6ce02db5b446eeeab043169fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5504679,"id":"Q5504679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140023$29D30974-B6BD-4D41-A626-F5742D08B968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"584ca4bc58217503d27dfc6ffe2e6493bc037d86","datavalue":{"value":{"entity-type":"item","numeric-id":3624081,"id":"Q3624081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140023$C2C774D6-6FCC-4774-9D3C-6AA0C502F8F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5dec255de40fb9d60beba2bc46419680161fdf","datavalue":{"value":{"entity-type":"item","numeric-id":2841957,"id":"Q2841957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"088b2a25aeec47696e3f5187e803002bf1511d2b","datavalue":{"value":{"amount":"+0.779949426651001","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":"Q5140023$2B33CC5F-119D-4829-9241-8A25A3E62695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f09c6773cc82ef96642c8537e05d5e7214d40ca8","datavalue":{"value":{"entity-type":"item","numeric-id":645084,"id":"Q645084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c998ce70a489472b66505836828690666c7920","datavalue":{"value":{"amount":"+0.770993709564209","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":"Q5140023$71882362-94B0-42E8-A1EB-9DBE81D5B713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f71e41fb7a6461bf65b46313a2f73f3d337ac0","datavalue":{"value":{"entity-type":"item","numeric-id":4906891,"id":"Q4906891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c6a23f2c19cbc146accf8679b071e0fceb5149","datavalue":{"value":{"amount":"+0.7602737545967102","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":"Q5140023$9C526ED2-6EB0-4EB2-B2EB-36F5BE1C6341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25fae62acda66fe831c38e1cd550dd3564be0be7","datavalue":{"value":{"entity-type":"item","numeric-id":5424872,"id":"Q5424872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf74cc335c8e474feea1e7c8f7fee591daa6088d","datavalue":{"value":{"amount":"+0.7596508264541626","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":"Q5140023$4CA3AB66-EF01-4418-93AD-ECD59F0ACF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d70a708d963930a1f210abc1beb6630d342d82","datavalue":{"value":{"entity-type":"item","numeric-id":1603743,"id":"Q1603743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"692b955b3f72313bfd33f7e59f1240e0421d0271","datavalue":{"value":{"amount":"+0.7576903104782104","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":"Q5140023$F3C24908-2354-4D28-AC98-6158697DD648","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5140023","badges":[]}}}}}