{"entities":{"Q4593096":{"pageid":6622681,"ns":120,"title":"Item:Q4593096","lastrevid":58289694,"modified":"2026-04-04T14:19:54Z","type":"item","id":"Q4593096","labels":{"en":{"language":"en","value":"On relation between constraint answer set programming and satisfiability modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804640"}},"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":"Q4593096$06BD858C-C42C-472E-A607-2CA634608B9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e51e6e9e7132a78a4d6d54990333567857ac8b42","datavalue":{"value":{"text":"On relation between constraint answer set programming and satisfiability modulo theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593096$46BBA131-9490-4420-B375-D90F07FACED3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0711e17fa45b748261e4c2fc6420f8eed7179828","datavalue":{"value":"1379.68285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593096$48311913-7F35-4716-BAEC-B61741D650E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05864b1714323c7475212ff95a7d09570d4b23e3","datavalue":{"value":"10.1017/S1471068417000114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593096$5DF3DB80-1D25-4BFD-8A3C-7FE8CDE0622F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65af7e7acc5ad39c96829b9c7659ef5fc5c99d1d","datavalue":{"value":{"entity-type":"item","numeric-id":286081,"id":"Q286081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$892E454B-8F43-4042-983A-07844891A3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"667c5319880cba599cca3b91595fb84e4ac6ee24","datavalue":{"value":{"entity-type":"item","numeric-id":4593095,"id":"Q4593095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$A67F69BC-6DE9-4D40-B63E-666CCA862835","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":"Q4593096$0CC26A7C-F5CF-4AC3-B2D3-C2C80699DB04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-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":"Q4593096$E45CB65E-22D5-412E-98E9-90695D4E6D5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ae484a735c80b301c8d66655555b79f5fd288cf","datavalue":{"value":"https://arxiv.org/abs/1702.07461","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593096$9E33D145-5BAC-434B-A359-5883BEB6271E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593096$92024112-C30C-45B0-BCE8-CC6103E8C73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593096$4B15C572-D3BC-4A8D-9C35-FD32B61AB988","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92374df3bcf8017d5ff0d723c4324b385662e952","datavalue":{"value":"6804640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593096$187B2244-E216-4005-AE56-936CBA618728","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c19178fc8a50d59d4b4032f2b68e4ad6620ef41","datavalue":{"value":"constraint answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593096$8A272124-5D62-44F8-8551-B7A3BAA19BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d12d1b99e1472b14c00ae7a966c966c205f4ed45","datavalue":{"value":"constraint satisfaction processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593096$89540FB7-81C6-460F-A481-CEEE1AB801DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593096$7488D68F-87C2-4BCF-AED6-FDE450E4C124","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0cef52017e4e3abb65b54005e36080c4a777722e","datavalue":{"value":{"entity-type":"item","numeric-id":32763,"id":"Q32763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$A6825644-D307-49F1-B3CF-AEDF8ED813CB","rank":"normal"},{"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":"Q4593096$A8607BA7-1C61-43BA-A79D-E3696FE41F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$B85552EA-0474-443D-8728-FC924ECD605E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6822c0fadd26857cbbb97c326b16e308cab2b87d","datavalue":{"value":{"entity-type":"item","numeric-id":19013,"id":"Q19013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$CE0CB6BC-F59C-409C-80E5-F409FB68AB71","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":"Q4593096$C1025FBC-47CC-491A-907E-29AAD7A3E042","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c5f4456a0a24d5a2c4bdfe955393403c4755e3b","datavalue":{"value":{"entity-type":"item","numeric-id":3089162,"id":"Q3089162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$728DCD93-85F5-484B-8BCD-D40D14BF4593","rank":"normal"},{"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":"Q4593096$2DEADB0D-02F6-468B-B6E8-F69422C6F636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f22ccd98445c7492e5ed42449fe1dbedc391f2a8","datavalue":{"value":{"entity-type":"item","numeric-id":3449199,"id":"Q3449199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$C79DBAA6-FFB0-43BA-937F-FC47CF4E704D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"801b64937ca0872a0c84f78e0bf7d93b290a854b","datavalue":{"value":{"entity-type":"item","numeric-id":5504670,"id":"Q5504670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$E28B7E2B-35E9-4699-82EB-BFC1FE414589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6e152c75c0e6839edb883579f776c9507933635","datavalue":{"value":{"entity-type":"item","numeric-id":5425400,"id":"Q5425400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$3D6BC4A8-AA40-4FC7-9DA3-E8551D7AD1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01a5cf1e452dacfc996694fdfb174a84b3a72828","datavalue":{"value":{"entity-type":"item","numeric-id":4911141,"id":"Q4911141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$553E1C74-F194-472C-BC34-B5B0F7C72BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee885a4f566ae94a13894ff2290a446c45a89d9b","datavalue":{"value":{"entity-type":"item","numeric-id":5313212,"id":"Q5313212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$91044A12-7A15-4AC1-A376-F49019C662F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1e52c9d649b6b3f2b9ee45f1a0bf215226ff57","datavalue":{"value":{"entity-type":"item","numeric-id":4736516,"id":"Q4736516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$48972EBE-9571-4763-AA5B-765248F6611D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"506caca47d1f2a2389e155eec13a640dbadba1de","datavalue":{"value":{"entity-type":"item","numeric-id":4673539,"id":"Q4673539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$E5A89EE2-C8CC-4495-B9AD-CE0E8301DAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95128ddf49a4bb5e5e07dad11c9a363647975f5a","datavalue":{"value":{"entity-type":"item","numeric-id":2938490,"id":"Q2938490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$68B3DBB1-A99E-46CA-BF55-F7268819E0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645ac413b9bc545bfc6cbf455b701db9e6bfb8cd","datavalue":{"value":{"entity-type":"item","numeric-id":4649733,"id":"Q4649733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$86486C9B-F23A-4872-86FD-B32D87EAB90B","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":"Q4593096$1CAF4E97-D1E8-4FC6-9270-1743E2C48328","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":"Q4593096$978DC5FB-8C9C-43DE-9A42-3869AA8FCBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a247c2e21384c40a87e299da2af8bd19f535c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4254883,"id":"Q4254883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$9F52D2DD-9924-4ADD-BC60-B400B79E659A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f8417db223c51208a4d1f2448684521fec2717","datavalue":{"value":{"entity-type":"item","numeric-id":1028649,"id":"Q1028649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$ADF659B5-AE88-4BEA-8AFE-9C3E3008AD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa056a4bae13deab186fe40f422b76ff6cd27667","datavalue":{"value":{"entity-type":"item","numeric-id":1028651,"id":"Q1028651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$2D1942E3-CA6A-4D17-8974-BF1731D69B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48453128754bce5b8adae4af5564eb4c85cd90e2","datavalue":{"value":{"entity-type":"item","numeric-id":2734950,"id":"Q2734950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$3F65D8AB-0708-44C1-9C0D-8513BD835270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6730ba05bbf0433a1a497a7552c55d2bc239d0bd","datavalue":{"value":{"entity-type":"item","numeric-id":5716574,"id":"Q5716574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$64617112-B5D5-4255-B6F9-A3430EE0B1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68fff7cd23dc9fed5e2bdbe657efa6e902461ce6","datavalue":{"value":{"entity-type":"item","numeric-id":2893092,"id":"Q2893092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$F1EDAAEC-C316-40AE-A0DB-51AC630F8997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bb14a9edb4fc68e8c3cd820aa00d139e978dbfe","datavalue":{"value":{"entity-type":"item","numeric-id":2893099,"id":"Q2893099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593096$36B647A3-5A89-4551-B774-F5F7A61456B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f97e4d7f953cbc8ff4444d113a590a73332751ae","datavalue":{"value":"W2593721831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593096$9BB3CB94-B286-4CF0-AD69-6ABE3C88BCA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45957c5626845ad6a1b1e3fa9d14e8cf9c0bf9b","datavalue":{"value":{"entity-type":"item","numeric-id":2634500,"id":"Q2634500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774d2f1bef133cdd3eb0bc4ac9238fe9f51b0886","datavalue":{"value":{"amount":"+0.6836473941802979","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":"Q4593096$293E5713-CF91-4808-A881-315F40BA743A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92fcd8d6b42d791420afc156ae1c131d05564833","datavalue":{"value":{"entity-type":"item","numeric-id":4536728,"id":"Q4536728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45e6edfd9a122b0986a9334b2c2fc437a6c6d34a","datavalue":{"value":{"amount":"+0.672007143497467","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":"Q4593096$7490BEC2-2D85-4F4A-8AE9-807A7BBD002E","rank":"normal"},{"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":"7b5d7a3d3dc48940ff5ccb864eb4c9875dea1264","datavalue":{"value":{"amount":"+0.6709523797035217","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":"Q4593096$B079124B-B7BB-4356-9175-E88D00072F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68570a7f5721e87f70a7b5a478678de6989ba366","datavalue":{"value":{"entity-type":"item","numeric-id":3001931,"id":"Q3001931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f739e13b0471a999e01adf91f3983e41fe9ad357","datavalue":{"value":{"amount":"+0.6661990880966187","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":"Q4593096$6EF7C6FF-C403-4C5F-9E9F-0BCE12D8CCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93bacf938eddca7eca1a759a6d05fde3db8a0807","datavalue":{"value":{"entity-type":"item","numeric-id":5458426,"id":"Q5458426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc172b09752ebb2af4cfe48d540107ac72c396d","datavalue":{"value":{"amount":"+0.6623165607452393","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":"Q4593096$AEC9DE7D-CE9B-4EC2-B52B-F8822E0412CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4593096","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4593096"}}}}}