{"entities":{"Q543597":{"pageid":545364,"ns":120,"title":"Item:Q543597","lastrevid":62630127,"modified":"2026-04-11T07:23:06Z","type":"item","id":"Q543597","labels":{"en":{"language":"en","value":"From answer set logic programming to circumscription via logic of GK"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5909443"}},"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":"Q543597$020B9273-4343-401E-BC0B-6DB60060E694","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adff55d30023805820c0ee8a67384ce857c71f0c","datavalue":{"value":{"text":"From answer set logic programming to circumscription via logic of GK","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q543597$E368AF41-AC0C-45C5-AB0B-8476C25D580F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da0722148d1004331ebb5b8c30815370a38e794e","datavalue":{"value":"1216.68270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543597$DFAB3D77-1394-4BE9-A933-2D6DBF4786BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d75d28b470ea2cbede3b521f9e73fd45aef50ac","datavalue":{"value":{"entity-type":"item","numeric-id":477554,"id":"Q477554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543597$E6D73BD4-6941-4D5E-A0D5-95A49EA0BDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3994b3ea7b242f980d845d7f38f3a45e589bc28","datavalue":{"value":{"entity-type":"item","numeric-id":592710,"id":"Q592710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543597$E4CE855B-27D1-46D8-959C-10EFECB1DE1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543597$E131CB7A-4B39-4E6F-AE49-E3CDA62A01DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q543597$E48CEBF0-2D33-4AC0-9C59-9C68E9730C78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543597$301F890E-AD9E-4346-A05E-3989F1C42298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543597$58738F6B-5425-4B36-84D6-2DD713A03D7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1789d057b74681cd4339a328b41c503a93800363","datavalue":{"value":"5909443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543597$5A7E8FEC-AF11-4BE2-A301-DBB784C29A01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q543597$FEBEDA1C-64A6-4371-A1AC-69D2C9DAFF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q543597$879A7559-011A-4392-870B-ABA0BEDDE365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f86b70d66cb4c827784765d0167522005de1b30","datavalue":{"value":"logic of GK","type":"string"},"datatype":"string"},"type":"statement","id":"Q543597$26DC82ED-1E21-4FF7-A42F-C28CA43FDF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q543597$263D3A34-D7A5-4DBF-B1FB-36D4BCE8DD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q543597$74630DC3-D79A-48E0-900A-6EB6E82C6482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99e463b9da3c84cac663d2284dafb56253b13d1e","datavalue":{"value":"knowledge representation and reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q543597$8BF5E5E9-4AB0-45C3-B1C2-3A8EA6F491C8","rank":"normal"}],"P1463":[{"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":"Q543597$E6D45685-26FA-4A9B-9E23-99D8A793B8E4","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":"Q543597$B658160E-FD7D-459D-92DE-3E8D171212A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0af284854b611a092ef38b0d53b3ece362b23d1d","datavalue":{"value":"https://doi.org/10.1016/j.artint.2010.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q543597$26105A6B-05CD-4B79-AA34-D4B74DDC4884","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2effa17574ad7cfaae895228bc1f7354328376f9","datavalue":{"value":"W2005957522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543597$8C7B47EC-E0DF-41CB-8597-4DA7DB5E7F93","rank":"normal"}],"P223":[{"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":"Q543597$7F2B63ED-322F-4E1C-B5CE-0151921A5DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bc4e81b20f8546036523a450cceb6c505dbe33f","datavalue":{"value":{"entity-type":"item","numeric-id":3007261,"id":"Q3007261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543597$DEF461FE-503B-4D92-A23A-4E427807319B","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":"Q543597$EFF2C79D-947F-4032-9556-62B6AC6A2B09","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":"Q543597$72CFB651-4267-40C8-AC84-BEF938CE32B5","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":"Q543597$53893ADD-CCEE-4A72-AA6F-B0D21A14C0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543597$48D5A627-A7B4-495F-9F50-DE851D63C8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78d9d3c8959961badfc69e08dbf8af92c65ad16","datavalue":{"value":{"entity-type":"item","numeric-id":4702576,"id":"Q4702576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543597$4E15296B-3D7F-451A-8E60-714C75A8C726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2f5bc92e9392637b6279fc20e9ab64715fa973","datavalue":{"value":{"entity-type":"item","numeric-id":1199920,"id":"Q1199920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543597$8253FE57-DC9B-4075-B508-CEA44F550DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d171160bdfbdcde1cad944aa0210e21c0aef9ac","datavalue":{"value":{"entity-type":"item","numeric-id":4202924,"id":"Q4202924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543597$93D9382F-447D-4967-8782-BD741D61A283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543597$9C45C6BF-045C-4A6C-B183-CB05E18C754D","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":"Q543597$3A8E479E-9DDD-4604-8D3A-142C593C42FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543597$36545533-CD41-4921-A6CF-FD2E9956ACB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1e3b8457bdbc5cddcf19c9c044bcacd79aa4e5a","datavalue":{"value":{"entity-type":"item","numeric-id":4736482,"id":"Q4736482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543597$620D266D-2E73-4D35-B8C5-B01D444F2301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543597$4AD3ABA0-12AC-4806-A926-083632FCB6B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bde70cb45411d74d88ba344b4adea31f1d36158","datavalue":{"value":"10.1016/J.ARTINT.2010.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543597$2F2AA717-49FC-4F37-BC25-4B34D71B8CB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"644dc4bb44ade45a183b894e36e9cd729d2fa506","datavalue":{"value":{"entity-type":"item","numeric-id":1199920,"id":"Q1199920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec07ade42a0b34921242e17283bea64fbd6ce62","datavalue":{"value":{"amount":"+0.7816622853279114","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":"Q543597$CD999558-B3E9-42A8-9027-ACD0E2B584E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7a1332a3a9d89cd46422288969da894c18f075d","datavalue":{"value":{"entity-type":"item","numeric-id":4452594,"id":"Q4452594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"199f9743cda2d6da4ffbd2903590a8547ac141d0","datavalue":{"value":{"amount":"+0.7790277600288391","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":"Q543597$2787C2CB-C26F-4F19-B43B-4CED625278D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5aaa8be1e108eed6e2d8b2352df3c5b337bc9c5","datavalue":{"value":{"entity-type":"item","numeric-id":4366600,"id":"Q4366600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e2e9ac4d0522ba02310573c399a55387f77472","datavalue":{"value":{"amount":"+0.7761102318763733","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":"Q543597$ED407282-924B-4CCE-AE7D-E5920438CC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f6b9dd9780ca8ce6dd69c09db06aed1bdc778c5","datavalue":{"value":{"entity-type":"item","numeric-id":854969,"id":"Q854969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d1e9ac4b2f5d38355a87860762c26f2b742879","datavalue":{"value":{"amount":"+0.7706179618835449","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":"Q543597$B7C75023-6BB2-43E8-AA5C-02F100EC687E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918dfd19617acc00f63573c989d20375fa390e4f","datavalue":{"value":{"entity-type":"item","numeric-id":2883093,"id":"Q2883093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489848f94f5481afd1a493ed27615c765f16e4af","datavalue":{"value":{"amount":"+0.7630566358566284","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":"Q543597$D726A779-EE83-4282-8603-75B9C6B81517","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From answer set logic programming to circumscription via logic of GK","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_answer_set_logic_programming_to_circumscription_via_logic_of_GK"}}}}}