{"entities":{"Q4592711":{"pageid":6622296,"ns":120,"title":"Item:Q4592711","lastrevid":58297512,"modified":"2026-04-04T15:08:38Z","type":"item","id":"Q4592711","labels":{"en":{"language":"en","value":"Program completion in the input language of GRINGO"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6803826"}},"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":"Q4592711$4BB77AA6-C44D-48CA-93C6-CF208116C7C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51cf7fb23b50d1f8182421ec6d8c01a1eb364077","datavalue":{"value":{"text":"Program completion in the input language of GRINGO","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4592711$45B7BA1E-6B66-44C7-B984-20C9E449D5CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"473d8d7482139488b46b383d91d6f04b91391b78","datavalue":{"value":"1422.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592711$8984BBB7-442A-48A6-8D54-9714D5E47656","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2841a32b58566ef07d83409109d7a3170309eb33","datavalue":{"value":"10.1017/S1471068417000394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592711$308D2F4B-71D1-4A5F-B432-C414C7B01B7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31527fd5fa2d485080ce4997c33daed29d656ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2851268,"id":"Q2851268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592711$19248867-843B-49CF-8443-6DD69A327435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"264349f01f15aafc786d236704010273459ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":234724,"id":"Q234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592711$F91B70C0-5318-4446-BEA9-1E7B894430C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"154cb5003a96d14c1e9249c82da330cad68216d6","datavalue":{"value":{"entity-type":"item","numeric-id":2692212,"id":"Q2692212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592711$FA66DC8F-0248-48BB-84CD-65E8F8ABA3D3","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":"Q4592711$DFDAE5BB-17B6-47CD-A73C-BCAEBBC4E668","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":"Q4592711$FA30AF72-5881-48E4-B9CE-C75A3116EFF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee3aeff619f618d91500b6c86671676f2129346f","datavalue":{"value":"https://arxiv.org/abs/1707.05848","type":"string"},"datatype":"url"},"type":"statement","id":"Q4592711$4B3EF7F0-2ED2-4889-A98E-D64F557C9D76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592711$8C86A263-13FF-4495-B7B3-94DF1228CF0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"295cd8468733c46a662a200534f4ea0d09782f41","datavalue":{"value":"6803826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592711$FD579919-1D1F-4433-8689-BDB4BE6DEAB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592711$EA5E6D15-04B8-4E57-ABB5-8655A0BB3DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a08e08f872840295dbf046acbd62339159b17e","datavalue":{"value":"program completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592711$65918A5C-F409-430A-AA31-299E05F80E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592711$39B3E7ED-D6A2-43AF-A4A4-B232CE8F595D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5d6e84e9c36b0c6a2477129394fe7ca01650b7f","datavalue":{"value":{"entity-type":"item","numeric-id":16800,"id":"Q16800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592711$16EC1D03-56C6-4E44-AC80-C85816058E65","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":"Q4592711$F8E6873C-F479-4CCC-ABA5-020C499ACE35","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"971827659a9b787383fcb93f2ce4a88c28fa1753","datavalue":{"value":{"entity-type":"item","numeric-id":4815031,"id":"Q4815031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592711$64EFADC9-5493-4221-A1C7-C82F7551820C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a381368a6e530fd9cfaf75684cdafb86ba06def9","datavalue":{"value":{"entity-type":"item","numeric-id":5473965,"id":"Q5473965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592711$8C473001-2DFD-436C-8B28-450A26DE221B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b75ee8f8a18238539664bf2738ea8a8583ca1625","datavalue":{"value":{"entity-type":"item","numeric-id":543596,"id":"Q543596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592711$E3FC52B4-3F01-42D7-8E90-E3B225A8E064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b273b391188706ae47701c609a62531d91c6e90b","datavalue":{"value":{"entity-type":"item","numeric-id":4592989,"id":"Q4592989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592711$91611F70-99F2-41F3-AF65-86CDF8EDE469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ed5cf1250814a5e584c109ec7d15def62f14cf","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592711$4ACC3382-4D35-4FF1-B354-F76F52D8F814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b84fb72a5e99cafece9f80990ee6fa09c9899c","datavalue":{"value":{"entity-type":"item","numeric-id":3643117,"id":"Q3643117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592711$6AEF1AEB-D091-40DE-80D8-B308399F34B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cab127ced1638ab08ee90c61f35c1117d8b73b0","datavalue":{"value":{"entity-type":"item","numeric-id":428469,"id":"Q428469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592711$57E729EA-B441-418F-A056-9FF7BA8059C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b376462c42c155af42d5c461d7e94a7d899b11c8","datavalue":{"value":"W2962967970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592711$931E67C6-B607-47F6-A3F8-837CBDD6D480","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5be94989e95a5b692ec27555420d25bc46d4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2949713,"id":"Q2949713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc873db56d3506eb586c766bcc9db232482d7cc","datavalue":{"value":{"amount":"+0.7466850876808167","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":"Q4592711$DE9F65F7-301A-4F97-AD93-E79937919089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b30f1102ef9c2217ea44aa83b31db1770bb1035","datavalue":{"value":{"entity-type":"item","numeric-id":5140011,"id":"Q5140011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f97862d92152e554b37ac9019021610ebd241f77","datavalue":{"value":{"amount":"+0.7207573056221008","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":"Q4592711$63CC8F7D-3C96-4860-BFF6-03702BBD946F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf67681e0f32eedeb6b49c09fce8612d504403c","datavalue":{"value":{"entity-type":"item","numeric-id":1208418,"id":"Q1208418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c8800a242af9f7956853deaddff538da39083cb","datavalue":{"value":{"amount":"+0.7193799614906311","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":"Q4592711$4E59B481-051D-4D99-8A3B-2E89CA78C122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fffc8edbec92cc0e7f130d62952bc27c1192aa73","datavalue":{"value":{"entity-type":"item","numeric-id":2326735,"id":"Q2326735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0790ac702b6bcb1407d9f9b7bafd29752f9e0c4d","datavalue":{"value":{"amount":"+0.7192776799201965","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":"Q4592711$DE8E2A60-7B54-4B62-9803-B4916FC6830A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8e28e78041c57fdb47dd660f84f78a36a8f808","datavalue":{"value":{"entity-type":"item","numeric-id":4036289,"id":"Q4036289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd90a1600cc2cfa06dcf02b9ce520194e128de3","datavalue":{"value":{"amount":"+0.7165580987930298","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":"Q4592711$D6F4E2FE-A954-4646-8322-3DE412DD9562","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4592711","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4592711"}}}}}