{"entities":{"Q3612602":{"pageid":5642508,"ns":120,"title":"Item:Q3612602","lastrevid":50601350,"modified":"2026-01-14T12:59:31Z","type":"item","id":"Q3612602","labels":{"en":{"language":"en","value":"Justifications for logic programs under answer set semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527350"}},"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":"Q3612602$D99A5997-BAA9-4216-A540-82F15DFF4FA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a98bd0bb4b75a47cd54612cfecb4d2268aa7733","datavalue":{"value":{"text":"Justifications for logic programs under answer set semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612602$D8023ED6-BB1C-4C24-998F-10736E1E2400","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8fb5ec2ec631cb47c4dbc407e1e7af1526d053c","datavalue":{"value":"1170.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612602$8CD91F87-7984-4320-88E2-23DF0B98EA56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff012b7fca045f95ce25e5597aaed6133ddc7fa0","datavalue":{"value":"10.1017/S1471068408003633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612602$443EB485-95F7-479F-B95F-905741A94F30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51981e552a27139a0fa909d29b61875f9cf710ae","datavalue":{"value":{"entity-type":"item","numeric-id":206865,"id":"Q206865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$7315B40F-D072-4B06-A949-0B663D056A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2e6e51b2ebd9b025de942124ad5600ac0bfdbce","datavalue":{"value":{"entity-type":"item","numeric-id":3612601,"id":"Q3612601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$0F0E9683-4A5D-47E5-9A53-6A57294077D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f19fd1ee7092bab263cc2f30700538f304f26576","datavalue":{"value":{"entity-type":"item","numeric-id":235880,"id":"Q235880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$44DCA190-F40B-4664-B1C8-3C09AFD90611","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":"Q3612602$1F6396E8-0B21-4EB0-9A8E-DAFCBCD149B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612602$837FE23F-219D-4C87-9899-039278970EED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612602$A0AF46CF-877B-41BB-9739-D23ACDB999CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6135c150e194e96bbcb06bd48ebb383e7abe369e","datavalue":{"value":"5527350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612602$3A9D3224-5E2D-4BCB-8D55-83C195A5DBF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612602$CB7E4DBA-0C1B-4C6D-B246-27B7C68BB552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81ca3cc03fc0519d14353886229bf2ce4f6444de","datavalue":{"value":"offline justification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612602$FD498120-D5DD-49B3-81B7-08A368B08588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24efa2ba1d09b37878763cb7c1e26d4d717a7d0d","datavalue":{"value":"online justification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612602$6987A052-4A57-46FF-BDC1-F204157ACAD3","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":"Q3612602$35451082-0C04-4DF8-84A2-61CC0AEE572E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c1ef313e426f71f5dcd127dfe1b9fad8b07d119","datavalue":{"value":{"entity-type":"item","numeric-id":19153,"id":"Q19153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$E9CDE6F5-84FF-4610-AAD8-7DCEE250136C","rank":"normal"},{"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":"Q3612602$0C028DB3-B57C-406F-950F-EB59D0594E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5506cef8387b4eb32188ad89c252a31aaba9a75b","datavalue":{"value":{"entity-type":"item","numeric-id":42803,"id":"Q42803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$4D4070CA-A88E-421F-8678-D9C57DC820D2","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":"Q3612602$169B5774-DE1D-4A4A-A7BB-170E28664627","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02eeb10cb50a02d090ad395a3c2c363c71340d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4305624,"id":"Q4305624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$EF101D66-3D68-4708-86D9-053624DDCE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abea80f8ea58693dca94d048022142338c933cb2","datavalue":{"value":{"entity-type":"item","numeric-id":5387832,"id":"Q5387832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$055026B9-5E6A-44E0-A34F-22BFC9C7CD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d155c7dcd0b41aa8d5369fa6a9b7a5ca42b115","datavalue":{"value":{"entity-type":"item","numeric-id":1603731,"id":"Q1603731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$E11E99EC-7AFF-4C20-916F-EAC4833ECA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$2237F018-C654-4FD7-9E2A-A6523BA4BC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a551090d0f1b8dd29fffe535d804ad9418d9e3","datavalue":{"value":{"entity-type":"item","numeric-id":5482276,"id":"Q5482276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$8AF5F5B7-CD87-4F18-A4D9-0D49036EA062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$1C65EA72-CB1F-44C1-B9FB-4BDA09B3BD80","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":"Q3612602$312F823C-E696-41A5-84FD-43B3BC8F20F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6dec537d4f19cf47ecd1934dbc360b8552ae204","datavalue":{"value":{"entity-type":"item","numeric-id":4700389,"id":"Q4700389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$F9F35E7F-43B8-48EC-84F7-94466BD7B0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e420e86880831c4e26abac5fe4ab2473856119","datavalue":{"value":{"entity-type":"item","numeric-id":4452601,"id":"Q4452601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$2CB8FB96-F4FB-4343-B832-4C00691FB6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$F26B3F51-06A8-43AD-89F2-6CC934F70339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c05f8adbd9c978223bba26cfea6835a9607c5e","datavalue":{"value":{"entity-type":"item","numeric-id":1853147,"id":"Q1853147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$154A9789-6DED-4B5D-9420-A978DAA44B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8d5410992220f4c4a34a7724b651a7c922af92b","datavalue":{"value":{"entity-type":"item","numeric-id":4452640,"id":"Q4452640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$D56A1FFA-9191-454A-9B12-35A67EE6EDE2","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":"Q3612602$0FCB3B0B-E093-4847-B442-12048A04FC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65bb3b597e8e4c71306e56ee6e7e9bcdf588abaf","datavalue":{"value":{"entity-type":"item","numeric-id":5425396,"id":"Q5425396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$BF932114-14AD-4F37-90E6-371D04227E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c800a73b0f4e3a8886fcea373aeed562c929ddd7","datavalue":{"value":{"entity-type":"item","numeric-id":5449623,"id":"Q5449623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$EE925D1E-7CE8-447B-9274-6D44EB892C81","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":"Q3612602$B9D7045D-D475-4CB6-9F9F-CA46047379CB","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":"Q3612602$6860D2DB-41F3-4DC6-8597-931D3F574F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e52c9edd164dfd70c023941e9c3045889fa60dd","datavalue":{"value":{"entity-type":"item","numeric-id":854966,"id":"Q854966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$ABE3CADB-3B99-417E-9732-7B1F2697D37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681d9538b155cd5619c14c671ea100857febd03f","datavalue":{"value":{"entity-type":"item","numeric-id":1603732,"id":"Q1603732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$7FBABFD6-09AC-4256-86B2-7D9F9B2C8365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0bec81d0111f88f3d89361b7b61b9b9ad3bf4d","datavalue":{"value":{"entity-type":"item","numeric-id":4815029,"id":"Q4815029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$AFC78552-7FEC-4D7E-A3CE-0273174AF155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9aff1fd4db4844fb58e084603b13acccb4ed9e","datavalue":{"value":{"entity-type":"item","numeric-id":5425395,"id":"Q5425395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$68C09F8E-B40F-42DE-8482-A86D3CD7B3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481c95e98fdce876e413371e5a1856690de310ef","datavalue":{"value":{"entity-type":"item","numeric-id":3426201,"id":"Q3426201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$88E20C3F-C9B0-404B-B391-BBBA696972EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6510d79e9ae71f181c050c6b8ef6152f261318fd","datavalue":{"value":{"entity-type":"item","numeric-id":4815032,"id":"Q4815032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612602$008A3E2A-A0C6-4771-A1E1-95D48F283396","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32b2a903746087c9a8b982ddab325c92b5c9506a","datavalue":{"value":"https://doi.org/10.1017/s1471068408003633","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612602$7D32F7B3-9AA8-4551-A036-D077AB2222A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"306a555ef8dfb63475902ef7c83ceb4218da59ba","datavalue":{"value":"W2138596350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612602$47E752BC-0B8B-4EEF-B4A6-4DFD52FF6483","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"291a037f5ac0f782c3e5edc915acaa84f1332ead","datavalue":{"value":{"entity-type":"item","numeric-id":5449601,"id":"Q5449601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"932bbb576ac8eb25a4aae0725648e33fcaf7e5b2","datavalue":{"value":{"amount":"+0.9809523820877076","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":"Q3612602$F8421C1C-F1D6-4584-8C94-C9E2EBD43D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0a6f03fa33fb9870877566515b25b3ef01d9aa","datavalue":{"value":{"entity-type":"item","numeric-id":5240210,"id":"Q5240210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5c8dc7d09deb9b62aaa6a681702518bdf8faf1","datavalue":{"value":{"amount":"+0.8393213748931885","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":"Q3612602$72D6B0CE-1C63-48A0-B526-8677BD917EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcbdd0fd51c65ea55436fc14867bc32b0e9449d","datavalue":{"value":{"entity-type":"item","numeric-id":4593019,"id":"Q4593019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76051879156989768fe2e95ee363dff360880bc8","datavalue":{"value":{"amount":"+0.8107845783233643","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":"Q3612602$80C17603-BFCB-4195-A6C6-F13758F88170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"853e0c257e78c384526b02413cd82032167662c0","datavalue":{"value":{"entity-type":"item","numeric-id":2326717,"id":"Q2326717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f3b4082fa556998ce7c55e3b0312f2ff6f68c3b","datavalue":{"value":{"amount":"+0.802527666091919","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":"Q3612602$ECD17FAB-E13B-4264-AEDC-7C866D9CA033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b1f2dbd7bf1b853e9cd933919cffb7cc5fee2f","datavalue":{"value":{"entity-type":"item","numeric-id":2851284,"id":"Q2851284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2090d641ed08601208627c93f515cc0e19723a4f","datavalue":{"value":{"amount":"+0.7904430627822876","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":"Q3612602$DCD76842-B249-40B0-B355-7FEFFD62805C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612602"}}}}}