{"entities":{"Q4911129":{"pageid":6940708,"ns":120,"title":"Item:Q4911129","lastrevid":58359423,"modified":"2026-04-04T21:18:39Z","type":"item","id":"Q4911129","labels":{"en":{"language":"en","value":"ASP modulo CSP: the clingcon system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6144683"}},"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":"Q4911129$32C2B367-DE2C-441C-82B2-1A377F54CA09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47cccb60ad639159e3fa6fd397b562215bfc6bcd","datavalue":{"value":{"text":"ASP modulo CSP: The clingcon system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4911129$D25D977C-E111-43BD-9D95-0132F1312E66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46708b7d4cf6bd5d5e7b903ca5eb8a264915dce3","datavalue":{"value":"1260.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911129$2DC98AC5-EE37-4A30-9C11-C2B7B9907515","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e55dd5b68f9afd9f06736ef82395c9024ba83e8","datavalue":{"value":"10.1017/S1471068412000142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911129$B67B4637-1AF2-49ED-AC1C-52F5F96BDF9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"096b630221bc5828b4142913fe62149a02f53732","datavalue":{"value":{"entity-type":"item","numeric-id":2326702,"id":"Q2326702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911129$A6D8E2D8-A64B-41A9-B8B7-385677C750BC","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":"Q4911129$0D59FF8D-9766-455E-8630-2B67C2A1D3DB","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":"Q4911129$07F07640-DA36-49A2-B0C9-222C1200042F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1483deb76331c5364b733486f7a01dd6a7f43ab5","datavalue":{"value":{"time":"+2013-03-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":"Q4911129$5400CCC3-2505-4FDF-B4CC-856E13E9BAAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89e1e5bb4e643413e35d13825c8acb1a1aef06ab","datavalue":{"value":"https://arxiv.org/abs/1210.2287","type":"string"},"datatype":"url"},"type":"statement","id":"Q4911129$FA584742-EB13-4E3E-A2A8-414934CCB87A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911129$4651D617-5E91-4D17-835E-A4496087AB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911129$FE34017A-CC14-4421-B489-B59B9CF22727","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d524c2cc21e9b3974c812abacef6e52664ffb1b3","datavalue":{"value":"6144683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911129$E0C6F81B-5D1D-4ECB-B1C0-61E08171A013","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6238560890456a88d0f9e7cfec425b27bde97495","datavalue":{"value":"non-Boolean constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911129$AF72A551-A485-439A-ADF2-B301BFBB6F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ee3f039ec71f3b734a7f7074feb37d207e9b1ef","datavalue":{"value":"irreducible inconsistent sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911129$ABB8F26B-FBF3-4F12-8FD1-EEE07C0C42EB","rank":"normal"}],"P1463":[{"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":"Q4911129$711A8379-6E36-4DB2-B16D-713BDA25ED13","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":"Q4911129$913F019E-13BC-488F-9EB7-138C253E5212","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e94bb5d89526c31d68885972d76ea34ab85334","datavalue":{"value":{"entity-type":"item","numeric-id":5756582,"id":"Q5756582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911129$67C2553B-1A1B-4DD7-8B9C-7633AA2266A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351e6790b87d174878f83df2eb0842ae7e7104f3","datavalue":{"value":{"entity-type":"item","numeric-id":4025905,"id":"Q4025905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911129$55BD3CD9-6FF0-45D3-81E1-B528C13C30EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911129$251B9637-182D-461E-95F0-A4A020F08ECA","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":"Q4911129$5ACDC8AC-C383-4175-A179-104EEB285C4E","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":"Q4911129$E794DE75-F3F9-44FD-818B-CEF109482116","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f750c0f922d14e8db2779ef8ca9f81c7d58cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4593092,"id":"Q4593092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b5761a7e3557782c81c1192efeca7992abb7958","datavalue":{"value":{"amount":"+0.9265084266662598","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":"Q4911129$709D0F21-F401-488F-AA25-7B3D6C5A1746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec36654f62dcb3fd37f9e2f268e16bfbf35b256d","datavalue":{"value":{"entity-type":"item","numeric-id":5398088,"id":"Q5398088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47596aef1185bfec1116ac37ae6006496f834c49","datavalue":{"value":{"amount":"+0.9177908897399902","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":"Q4911129$6D7CEDE3-7480-49AD-A242-CC12D1C49918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4a56cd5389279c0976d8156679ebbe8f2dcd14","datavalue":{"value":{"entity-type":"item","numeric-id":5086219,"id":"Q5086219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c33f21876e4ae8b0516fe67e98a952adb2ed7d3","datavalue":{"value":{"amount":"+0.8498566746711731","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":"Q4911129$2A007080-B4C8-4A63-9F58-4E30128DEBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961f4b251780823add91b2e93b8f2534bab96f40","datavalue":{"value":{"entity-type":"item","numeric-id":4592712,"id":"Q4592712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"018ae510caa4995d891654b46d56a4cc331604e7","datavalue":{"value":{"amount":"+0.8390154242515564","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":"Q4911129$8B13617A-BBA0-4C1E-8B59-EF2361F6567A","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":"d9fa07628680851830d84f12943000926b71bcaf","datavalue":{"value":{"amount":"+0.8381962776184082","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":"Q4911129$24F06C5A-FD92-40BE-BCED-6A934EFA85F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4911129","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4911129"}}}}}