{"entities":{"Q3638249":{"pageid":5668155,"ns":120,"title":"Item:Q3638249","lastrevid":50699882,"modified":"2026-01-14T20:43:15Z","type":"item","id":"Q3638249","labels":{"en":{"language":"en","value":"Towards a Type Discipline for Answer Set Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5574313"}},"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":"Q3638249$1FCE88EE-7F32-4E1C-9614-8D540EADC21F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0a6bec3217a657a04cd6fdcb4226e9c0ecf8e26","datavalue":{"value":{"text":"Towards a Type Discipline for Answer Set Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638249$01F4936A-1184-4B27-87ED-04CE74A9C4C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fccd26cd59cd35fbaccfa58f4b339fe097e587df","datavalue":{"value":"1246.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638249$010339CC-0DDD-4F4E-965B-CAAA65A543A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7d6ecc92c1ca5e0f0f4104320143acd2678cda0","datavalue":{"value":"10.1007/978-3-642-02444-3_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638249$A65258D7-91A8-463F-A998-107270BE1C1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cc74fbcaec9acb65dd75f4cd3554e43a9608963","datavalue":{"value":{"entity-type":"item","numeric-id":972430,"id":"Q972430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$401F05CB-E0B1-4C97-AE18-CDA1FEA155B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8135914452c3b1bd839ce74f3161ea4765c65f58","datavalue":{"value":{"entity-type":"item","numeric-id":287276,"id":"Q287276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$8C303B4C-3523-464D-9B4F-C65EE3EAD39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87d8083e5daeb2aefc31d533bbd212fa0607d03b","datavalue":{"value":{"entity-type":"item","numeric-id":583194,"id":"Q583194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$22559460-9D5A-49F7-9E5D-6EA89FDB9944","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$4F1B45D7-434D-4D46-A0A3-A7E5C808FD7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f2e3fc7575081ebb3b175707a32845a6955dc2","datavalue":{"value":{"time":"+2009-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3638249$9EA90CE7-532D-4C9B-BC40-14701C7E61A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638249$DCEAE1F3-B00F-4BB6-84C4-795797D3AA0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d3e4c4b3e63d33146cbe199bcf856f68be0737a","datavalue":{"value":"5574313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638249$8018D9B8-AEA1-469B-A85F-896CC1EE8AC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638249$B7753DBF-3F77-40D2-B44E-162356AFC0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638249$85A56C6F-4C87-4A42-9CD7-803646E792A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91b9a58dab445e0fa7d466f628a1781a92cdcbbd","datavalue":{"value":"grounding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638249$56BB64EF-0091-455A-8519-85B7E077432E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"616d65ad42f147babf32c59f202720d742cba394","datavalue":{"value":"many sorted interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638249$6D273FE7-E2D9-452A-A5A7-0670DD2F2753","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7302555737c5aa591c3c69976226057b7b174614","datavalue":{"value":{"entity-type":"item","numeric-id":16812,"id":"Q16812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$39D3D00D-212E-4265-8CB5-21D3877D2522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76aaf8c1483f7fdd910fd010ffb9206b48e0283d","datavalue":{"value":{"entity-type":"item","numeric-id":16610,"id":"Q16610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$E6ECE894-2ABF-41D7-9138-75882F173C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cff6794623cf5d8528667b5f3c64c252856fc71","datavalue":{"value":{"entity-type":"item","numeric-id":24022,"id":"Q24022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$A0C9E06B-87C9-4BF9-9947-B216448E2A5E","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":"Q3638249$ADB1F6F7-D13F-4F25-8FC0-4DC257C41E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf05a0fe8c67d4d8f396d444a59573c809b42e38","datavalue":{"value":{"entity-type":"item","numeric-id":24023,"id":"Q24023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$E2332B91-F125-4340-B785-8922C61B981D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d1ab6d223cd7778657dfce2a3b4f1d4f7d650ce2","datavalue":{"value":{"entity-type":"item","numeric-id":42129,"id":"Q42129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$F916F8D4-9A97-4547-894E-2907486EBA20","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":"Q3638249$317FEA39-AA13-440F-907B-9267B9351077","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d64ec62d9cdfb34d62dfc6f4fea6603013c5b65f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02444-3_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638249$BEFFB13A-3614-486E-BF2A-81D5A5A53578","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6992ea197d125b2e02e9e9e9fd412fc14c7218b1","datavalue":{"value":"W1866350436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638249$C574249D-D266-4645-A0C3-6732FA823AC7","rank":"normal"}],"P223":[{"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":"Q3638249$E0FC97B7-DB31-4092-9FAE-2FCAB5F55718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48339e8e1acf4c076e8367e351fc24f244c30377","datavalue":{"value":{"entity-type":"item","numeric-id":5475769,"id":"Q5475769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$AA8C44B9-E1E3-4849-9197-0391620FA1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0b4cdc5995817d8a21881faf985410d5709801","datavalue":{"value":{"entity-type":"item","numeric-id":4198051,"id":"Q4198051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$28B24F33-3DFC-4962-9998-0AA0431091EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e2238c6c5f992d95aa32964632a96730d02973","datavalue":{"value":{"entity-type":"item","numeric-id":2457798,"id":"Q2457798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$D2C234A3-F954-4A6A-8114-19BF2F92304A","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":"Q3638249$9A939C89-A149-461C-9064-B772E7716900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928cf1057beff23f11c38a51ee029ab28f151715","datavalue":{"value":{"entity-type":"item","numeric-id":696968,"id":"Q696968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$B2AC92EC-E0F2-45F2-BCB1-ED1E8B76BA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96799fe5e6e1fbafd4852d89c06b9ab99265c6ab","datavalue":{"value":{"entity-type":"item","numeric-id":3395265,"id":"Q3395265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$518AAF86-859B-4FC5-A133-62585EAFA9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bcb10b2d0dc49c441c3a076bc96fb28fb02c90c","datavalue":{"value":{"entity-type":"item","numeric-id":1177936,"id":"Q1177936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$E0F71ED8-ED12-4903-85FE-4754A52C32BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa0f50f9e079e80672ae8d0c1e92d01238bcc7e","datavalue":{"value":{"entity-type":"item","numeric-id":2568449,"id":"Q2568449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$A594F669-A298-40C1-9997-2D6A28AC5EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2befd5bf037312a5f81f972d48216396733a6971","datavalue":{"value":{"entity-type":"item","numeric-id":5277755,"id":"Q5277755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$DBB358CD-8376-4F1C-A309-CCA4267B90EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$D582DCFB-2245-4B69-8EE3-EAE7E26E26F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15073390dd1260ee5e167563f0e9c459c4436960","datavalue":{"value":{"entity-type":"item","numeric-id":796313,"id":"Q796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$03B7A1E7-A43E-45E5-895B-E6826C1D8C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c39d2866d4cbe1207c90d89d8e1fb07618a7c8","datavalue":{"value":{"entity-type":"item","numeric-id":5387833,"id":"Q5387833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638249$DDE4EC96-3E0D-4259-A911-D544FA9DFB2B","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":"Q3638249$A81294C5-AA3A-442F-8638-843FC409D0BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9399df57aec5a2770b9eba81fb40d0d7983d5ce9","datavalue":{"value":{"entity-type":"item","numeric-id":2401936,"id":"Q2401936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f074299a6ca471f379e44433d31b5172c2227f","datavalue":{"value":{"amount":"+0.7465587258338928","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":"Q3638249$84E4ADD4-8E6A-4721-8E94-F561B2853FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4dead432fdf3fb5dee724731c7e37646e9fbcbe","datavalue":{"value":{"entity-type":"item","numeric-id":4800169,"id":"Q4800169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3eb32d9563ee580c2616daf57b2c0ec1062c16f","datavalue":{"value":{"amount":"+0.7402389049530029","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":"Q3638249$CD54BEC5-883E-4232-BB5C-A06189130D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e78376902b3e7b02d2c80b765b954fcb85c79b7","datavalue":{"value":{"entity-type":"item","numeric-id":5748874,"id":"Q5748874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a90733edc407bef89581be42e793eab6972f82","datavalue":{"value":{"amount":"+0.7332969307899475","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":"Q3638249$76E5F9E9-986D-4CF4-A87B-93D80423EFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00499b6368f2852cd009d0ac5a4960f7fb921ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2790e5818a8eab4c7b31b77d409b6c97695a97af","datavalue":{"value":{"amount":"+0.7240983843803406","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":"Q3638249$CD030F33-F809-4180-B361-4D27CEF36922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46db543420f11676f0d39ffebe50c3e77eade4d","datavalue":{"value":{"entity-type":"item","numeric-id":1028643,"id":"Q1028643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b78cfdb9661142ff5d129cd7965d2e0dc77f39bb","datavalue":{"value":{"amount":"+0.7235589027404785","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":"Q3638249$11C042AD-57EA-416F-ADA4-0961F3F781F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3638249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3638249"}}}}}