{"entities":{"Q4592712":{"pageid":6622297,"ns":120,"title":"Item:Q4592712","lastrevid":58297263,"modified":"2026-04-04T15:07:12Z","type":"item","id":"Q4592712","labels":{"en":{"language":"en","value":"Clingo goes linear constraints over reals and integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6803827"}},"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":"Q4592712$0D48C53C-57E8-4590-BA15-6D397AA1872C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37ec4a610bd3cfc5492f8916156cae5c2784bb6b","datavalue":{"value":{"text":"Clingo goes linear constraints over reals and integers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4592712$43C4C09C-7236-475E-98DB-68FDC7A24E1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d65ea7e16bcbc4b52229eb14714629de596c9f0e","datavalue":{"value":"1422.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592712$8FCE8563-751E-4C46-B5EC-3F131DE4560D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a603609385bf44f6e08276f391f980128ccd4363","datavalue":{"value":"10.1017/S1471068417000242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592712$81018DD4-1BDC-4EEA-83AE-10E3E1954658","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b796059b3d44a405a8af15eeb705b77a871ac3","datavalue":{"value":{"entity-type":"item","numeric-id":517385,"id":"Q517385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592712$EE2C05A0-F8B8-4535-94D6-B62666B1C679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95c1a751e9459a140c8a6debf3d1adb676a06c88","datavalue":{"value":{"entity-type":"item","numeric-id":1796483,"id":"Q1796483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592712$9B25FB3C-1A3D-4A6C-BD62-0AC2B02E68F4","rank":"normal"},{"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":"Q4592712$AF50B5AC-3E3F-48D4-86F3-5FA487C04716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aceb6d0289d56c21bb0d3870960f191b95e53a4b","datavalue":{"value":{"entity-type":"item","numeric-id":2296739,"id":"Q2296739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592712$F1150CD4-5B64-4EA5-A70E-EE60EF86F092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44e7ce867130b7b69b341f39e8ec89440d4614ee","datavalue":{"value":{"entity-type":"item","numeric-id":1730739,"id":"Q1730739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592712$E4D08020-69B6-4EFE-8A3C-F9630D2B8C99","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":"Q4592712$448F446E-426E-42E0-AA55-20E87FE380B4","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":"Q4592712$E5F895F6-A92A-46B6-B29E-06327A74D521","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2391d5f6fddbacd8a68a2758b6c133ddb0a14538","datavalue":{"value":{"time":"+2017-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4592712$DCBFB625-E26D-4620-97C7-8BC1DC251AB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3be7b7cffe3580918a71b24548b6347ef800249","datavalue":{"value":"https://arxiv.org/abs/1707.04053","type":"string"},"datatype":"url"},"type":"statement","id":"Q4592712$C20A8826-DB1D-45BC-82D5-7BA07A888D1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592712$E3B4E956-DE5C-4DA4-AB8D-1FB93F8A9FB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a84817e12e9ffaaeb5e9180c19f35fd6060e2273","datavalue":{"value":"6803827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592712$43A9066F-2AAE-40AB-9F54-7EF1162E04A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe586e30888a8bf0175ea05bc0e18bbe19343d2","datavalue":{"value":"constraint answer set programming (CASP)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592712$78E74D9E-67B1-47D6-AD06-A94EA7B873F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6914d259f2ac6a6c219b4f33c69d60efa9f284f","datavalue":{"value":"answer set programming (ASP)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592712$A3971CB4-176E-4A70-9062-7120B9F8A6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"022f13e8be8dfdd3268b3cd9d461c12995cecba8","datavalue":{"value":"constraint processing (CP)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592712$CD57176F-69C1-4EC6-9A68-2BAD324162F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56aa05fb19244856590a947a206b6f4efb2d6912","datavalue":{"value":"theory solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592712$95AAB30E-9D7F-482D-AFE5-5543E6A9D0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da2efa65f4495d825075a4c1e811f3bd112e75ea","datavalue":{"value":"clingo","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592712$0754351A-6E2B-42FD-A4DC-7698709E39D9","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":"Q4592712$DBE72612-24B7-4548-B465-47D64D18533D","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":"Q4592712$9ED79999-E385-4A63-BC1B-B96DCA624918","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32014f67437b68a4eb6207f4c4efd531618e367b","datavalue":{"value":{"entity-type":"item","numeric-id":3449196,"id":"Q3449196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592712$53A14494-CAEB-4714-BAFF-6E9B1BE31935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a42ec89dd06dfadc6a99032bbd339972a6c8c93","datavalue":{"value":{"entity-type":"item","numeric-id":4593092,"id":"Q4593092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592712$4422DC94-EB41-4761-82BB-703EBAF27DB4","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":"Q4592712$DD677264-6517-4E5E-88FA-67F423E5DA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592712$3D71FDA9-1D51-4D97-8910-80257F49AB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ee40358cafd1a533d59e313d22cd69fea6be5a","datavalue":{"value":{"entity-type":"item","numeric-id":2938519,"id":"Q2938519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592712$8B565F4E-1EA7-412C-970B-529E6AFA33F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc64317416bdbd1048366ed2f3e7dd80a961f7b2","datavalue":{"value":{"entity-type":"item","numeric-id":2955039,"id":"Q2955039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592712$909BCC82-BD7B-4F74-BA3C-ADC56A47E909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1c9b30d63dba402510d5838237495966fbe464","datavalue":{"value":{"entity-type":"item","numeric-id":5756581,"id":"Q5756581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592712$2E6133C9-1B44-443C-887D-30E853AB0B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43ca27cba6b8cbde68d00987a946f9cde333444","datavalue":{"value":{"entity-type":"item","numeric-id":3844775,"id":"Q3844775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592712$8387E3A6-A317-486D-8A6D-EFA59BA919E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f55204aea1a572594a56aa02a14b19abe5db14","datavalue":{"value":{"entity-type":"item","numeric-id":3585161,"id":"Q3585161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592712$C362AC59-B0A6-4156-A989-6F774132D188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d65be6b84798d28cf87a0d7ae277068dab641b7","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592712$74EA47A6-AE47-49CD-971F-3A9F071D352F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592712$C7FA7E82-C6E7-4AB0-83D0-DC157286FCC8","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":"Q4592712$21F5E846-3CEB-402D-9920-A309A0C9238D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9334e59cabe8a6d34637a2e7255c527de11c1ebb","datavalue":{"value":{"entity-type":"item","numeric-id":3005898,"id":"Q3005898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592712$365E66B6-5D18-475D-ADBC-6BA3E1E739E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f38345f41d2fdd04972015c7c63bb38dd89a2db","datavalue":{"value":{"entity-type":"item","numeric-id":2366085,"id":"Q2366085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592712$A929B7B8-A587-4A12-815A-38EAEB89D1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ded3bd396fb9c2016a6d7748514f61cdbe901d4","datavalue":{"value":{"entity-type":"item","numeric-id":1156692,"id":"Q1156692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592712$4CFE1841-5E87-4C95-82CC-D2E273BB355E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d99c09b7161d6061b927bad25ad979873c1dced","datavalue":{"value":"W2963268497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592712$337EB018-E8E1-4E19-BE12-0BD8E0628272","rank":"normal"}],"P1643":[{"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":"2059cc74536a5fd178bf82f80a77dd9d2b858224","datavalue":{"value":{"amount":"+0.8485574722290039","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":"Q4592712$DD808EC3-E129-48B1-9A17-FE068353397F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e21d0100727b9ed6cf54cce89960bcb6e4539d9","datavalue":{"value":{"entity-type":"item","numeric-id":4911129,"id":"Q4911129"},"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":"Q4592712$92C3F015-5192-4314-BC06-4CB0C433A5EE","rank":"normal"},{"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":"96fee47c2eceb5eaeb736154a58b5a42e378ba50","datavalue":{"value":{"amount":"+0.8083655834197998","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":"Q4592712$55415017-2BE2-4906-B9B8-67ADDEAED9B0","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":"deebcacfcbd3a26630f461d99fab3bea8edfaf2f","datavalue":{"value":{"amount":"+0.7939313054084778","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":"Q4592712$D8D5CEA9-90FA-4379-9FBF-804175B288E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6579df4f50c668164437b34f41b40508cd88e37d","datavalue":{"value":{"entity-type":"item","numeric-id":5197744,"id":"Q5197744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24eb53787f84b7c7a6708e600a8fb7d34f90779","datavalue":{"value":{"amount":"+0.7933485507965088","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":"Q4592712$114D818A-7426-4E67-865B-9BB9636BE5F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4592712","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4592712"}}}}}