{"entities":{"Q3089162":{"pageid":3099877,"ns":120,"title":"Item:Q3089162","lastrevid":51320540,"modified":"2026-01-17T18:16:36Z","type":"item","id":"Q3089162","labels":{"en":{"language":"en","value":"Representing constraint satisfaction problems in answer set programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5942145"}},"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":"Q3089162$7A211BC3-AB79-44C1-A30B-0C2D17E27479","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"466a54a322cd9f84503a5c2239c8da688b9c2ebf","datavalue":{"value":"1219.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3089162$5FDF5065-BB51-4DE8-B23D-139B9449F12C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69526166383717e8688616c5003d66266b5b83ad","datavalue":{"value":{"entity-type":"item","numeric-id":854964,"id":"Q854964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3089162$F5C91FB9-9912-4455-BEE0-78FE205EDFC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b583fe8af21fcb70fe55f9de31b79b22d333e7e","datavalue":{"value":{"time":"+2011-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3089162$7B87D69F-2AEF-4496-B042-F6213E501118","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10e3df77fffad369300fb58547a56a485909699e","datavalue":{"value":"https://www.mat.unical.it/ASPOCP09/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3089162$6B61CC6C-3640-45BF-9AA3-E26D00DF1391","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3089162$5BDEF180-D220-4316-B684-35D5A5661B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3089162$9DD9FE32-C430-4F1C-A445-666D1D2B91E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3089162$2D146112-D470-4DCC-BBB5-FB83373EB890","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cac14de80464f13abd44b798ada8e26c3308cc2","datavalue":{"value":"5942145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3089162$684004A4-68B9-4BA6-A1FC-3C5637BACCF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6914d259f2ac6a6c219b4f33c69d60efa9f284f","datavalue":{"value":"answer set programming (ASP)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3089162$6C9FBF0A-956C-49F2-A37E-C6E5AAAC24C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3089162$B4300A20-0359-4652-BB45-6B5EB27B0EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df25359605a7bacf8d12705a29fce2b79e2bb8b0","datavalue":{"value":"constraint satisfaction problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3089162$5B3D9A0D-3131-4595-B4AC-A58773BC71E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df5d018199b86dd89c173e57d29ee192d32b1f04","datavalue":{"value":"unified approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q3089162$4D808A0C-08E9-4D90-95F5-031ACF2C29BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"852d12b06ac4e2bd9e3103e73599e514c343d3af","datavalue":{"value":"global constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3089162$FC231CD9-81BA-431C-B644-5F80C7D6EE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b9f59268f9ed4059aa192bbf41758bf5d899e6","datavalue":{"value":"industrial-size applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3089162$78E6F451-7A09-4D35-B6A4-DF8CDD0C0C5F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d36e94124670e343ce0a941fd9d5d398e768df6","datavalue":{"value":{"entity-type":"item","numeric-id":24368,"id":"Q24368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3089162$D6D11387-8FAA-4860-8FFC-549E2D8966F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c16f39dd5c983f6a5be50b208c27e78c3430c236","datavalue":{"value":{"entity-type":"item","numeric-id":39195,"id":"Q39195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3089162$FBC9C82D-B675-4A89-8F7E-9312886F2ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02493497fd98f03aeb4592bfc77b1177e6dd49a9","datavalue":{"value":{"entity-type":"item","numeric-id":21871,"id":"Q21871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3089162$C7F61B9E-573C-4EF9-B5DF-1EFDC5661423","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":"Q3089162$3B93BCEF-7056-4FC8-B047-4E7876F9EFD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7a39e116c8d9ccb22035a09778310ebc3b0082","datavalue":{"value":{"entity-type":"item","numeric-id":2883103,"id":"Q2883103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a0ea5c6beaaeed058f62d35c30b4d1ecf50146","datavalue":{"value":{"amount":"+0.870816171169281","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":"Q3089162$8E272E52-2FE1-4683-A99B-808DFCD724D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0502741c60530a7e63cc5a3ef140848f1b4fb8c3","datavalue":{"value":{"entity-type":"item","numeric-id":4649733,"id":"Q4649733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a31bf4bcdff15218ff6deac35189aaa3ad3babd","datavalue":{"value":{"amount":"+0.8656919598579407","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":"Q3089162$B5B101CF-1B9A-40FF-A9D3-799AB6491E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fd06a4ab5fa9ec5dbaac5b5b8f4cd8d38bc8017","datavalue":{"value":{"entity-type":"item","numeric-id":3585161,"id":"Q3585161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70640b7e8bb6ae4e32c3455d33ff9cfdaeb9af9","datavalue":{"value":{"amount":"+0.8578717112541199","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":"Q3089162$F29FE503-C233-44C3-8571-D896D9A4018B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6f2f9a83e256ac032cc9ff0e58f027a18dbae1","datavalue":{"value":{"entity-type":"item","numeric-id":3643133,"id":"Q3643133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97223fce9da768709295004f596afef7edbb52b1","datavalue":{"value":{"amount":"+0.8494248390197754","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":"Q3089162$F903A754-0984-4319-8678-8AC7509590F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1138bb31f6c9257809a7176f80bed4f35ddaf42","datavalue":{"value":{"entity-type":"item","numeric-id":5475769,"id":"Q5475769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6194bba92debd50d57e6cf7950bb750fa7c52826","datavalue":{"value":{"amount":"+0.8480461835861206","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":"Q3089162$A0D8A322-C250-4935-B62A-FC1D361FCE3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3089162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3089162"}}}}}