{"entities":{"Q5019595":{"pageid":7049172,"ns":120,"title":"Item:Q5019595","lastrevid":54195764,"modified":"2026-01-26T10:59:03Z","type":"item","id":"Q5019595","labels":{"en":{"language":"en","value":"Modal logic S5 satisfiability in answer set programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7454767"}},"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":"Q5019595$1319D853-B449-482F-93AD-0874B4DDE633","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ffa7c3c020fe67c91f5cf8bef15856d0660cb34","datavalue":{"value":{"text":"Modal Logic S5 Satisfiability in Answer Set Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5019595$1EE8B39E-4E50-4811-A507-0A4D62BEC00D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05e680c125e17a2902e5e75d6d9347a3a8d23cbf","datavalue":{"value":"10.1017/S1471068421000247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019595$2FFA3806-2DDD-4DB1-8E0E-B3C11354B876","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5a97ca6b9aa27ff9ea5b9e923a7697bd4e8c876","datavalue":{"value":{"entity-type":"item","numeric-id":590982,"id":"Q590982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$2F09C5BF-582B-48FC-9FF9-080182ADAD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fc534a63f502528e7b6f10e7d083f729c3205d","datavalue":{"value":{"entity-type":"item","numeric-id":2694543,"id":"Q2694543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$D25D284A-E77D-40AA-9F33-28D26A9A23F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f89eb615a7a85e9d5b5ce37eac306bbbc3a3964","datavalue":{"value":{"entity-type":"item","numeric-id":2694544,"id":"Q2694544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$5101DC92-1058-4F34-920D-4E09812F3EC8","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":"Q5019595$22734A12-B430-40CD-89B2-1E5F4E92CA84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff63f60b6d44658f55871ef5632b30ddbe917cdb","datavalue":{"value":{"time":"+2022-01-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":"Q5019595$59964DD6-4B16-4731-B65D-66D41F2218E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f464f2a23413c110efff2ec806ac8552500ec635","datavalue":{"value":"https://arxiv.org/abs/2108.04194","type":"string"},"datatype":"url"},"type":"statement","id":"Q5019595$71535834-3946-4794-B30D-FE3B6E91F58C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019595$3F76278C-5942-4258-9C5B-DFFAC4DE70A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d1d77829c430050363866394edfd6fc7cce4b8f","datavalue":{"value":"7454767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019595$190F9F4A-2609-4FCD-B653-B43E920657A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019595$865B009F-8A7C-4E87-AC0E-4A824CC182AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b31587c96a5c5ccf3b12532333e2056e86a541","datavalue":{"value":"S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019595$2131B2FD-E8CD-4F2B-A216-608158F9A5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019595$507D62D8-5ADF-4CF3-8986-4B7CD283B430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019595$27065881-6378-4B01-8B6B-6DBA78E21895","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9291db8f6f24de7d39d503e17e069cd87b7516e8","datavalue":{"value":{"entity-type":"item","numeric-id":19701,"id":"Q19701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$BF54B149-5708-471E-A8DD-B75FEF42C722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bedc9e38f5a9bde827aa2981f96848a429af0b87","datavalue":{"value":{"entity-type":"item","numeric-id":24354,"id":"Q24354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$5BD437FE-C9DE-4E73-AE08-C2272A48440E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b73e63da46ad72634f3f2787f78c121045ed2916","datavalue":{"value":{"entity-type":"item","numeric-id":35221,"id":"Q35221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$0EC1C7E6-AFB0-4F58-9565-DD4D0EC0AAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fda00351a02a5ed7eb6fc4872361840bcbd6feb3","datavalue":{"value":{"entity-type":"item","numeric-id":21872,"id":"Q21872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$C51E1AC7-195E-4C3B-8091-F858934E9372","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":"Q5019595$C79DAEBF-E7DD-4D57-8F73-7C8703DAC52B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"194d0bf0a6cc5352e93ae868670d4f1ac2906a84","datavalue":{"value":{"entity-type":"item","numeric-id":3498455,"id":"Q3498455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$F9BAE409-D7E4-431D-A0C4-B0E2FFB0FC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d4bd75352dca632f26b876b87c98f2ab5b926a7","datavalue":{"value":{"entity-type":"item","numeric-id":920970,"id":"Q920970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$2936F663-F3A1-4E3C-AF87-F1C140E471A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d56b18a7ab6082e57429251f118b09846cd8f4","datavalue":{"value":{"entity-type":"item","numeric-id":5140008,"id":"Q5140008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$68DEA57A-DAF8-469E-B494-7D36C5BCDC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b227d243a12d1f2ac14d5f6704fd513f5a699b5d","datavalue":{"value":{"entity-type":"item","numeric-id":4559799,"id":"Q4559799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$7D8A80D7-9697-4F03-961A-12136F65800F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb21afd36ce282508c2606e7ec78f126cae9c7f","datavalue":{"value":{"entity-type":"item","numeric-id":1295438,"id":"Q1295438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$537B83A8-A3C8-4E6E-84CC-F2EC730DF093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28e6e9433abf7467709656a37ac7bcf8290b9ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5479288,"id":"Q5479288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$A79EA868-19D6-4330-B577-5DC18A959CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b47b4c9526fb4b5aff0e914b6727194910e061","datavalue":{"value":{"entity-type":"item","numeric-id":4443408,"id":"Q4443408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$2010BC19-AF91-4095-AD45-C41632B2F6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$0457D6E1-3596-43A0-B639-024D64C3AB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4bcf70567041c393fb5bd5e6d1ec60ceddd525","datavalue":{"value":{"entity-type":"item","numeric-id":5222518,"id":"Q5222518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$56FCE259-6E98-499E-9495-38A6874EAEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd10df8aadb4fd23e6a44589cc7b4541609eac41","datavalue":{"value":{"entity-type":"item","numeric-id":5918244,"id":"Q5918244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$F7A6B8CE-0C42-406A-89B1-8E00A88D8465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dced7fd9d1f2d0b0d6bc79efb06acf36aab2e44","datavalue":{"value":{"entity-type":"item","numeric-id":4928458,"id":"Q4928458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$671AAAF9-25EA-461E-9F46-9A222599BB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$14C29A4E-0E06-4B2C-9F5A-F519A62DAE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$4E2BE7A1-5751-43FD-BE0C-909B0D07DF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec1d0fdd3fd9fde2d7e31c1dead171c9fdc9a74","datavalue":{"value":{"entity-type":"item","numeric-id":814504,"id":"Q814504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$A183E581-1A73-4BBC-AE6D-0699B11183EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43e73eadad7694a29cdbc5326249f6adc814f12","datavalue":{"value":{"entity-type":"item","numeric-id":5230475,"id":"Q5230475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$5F9CB7E3-423B-4645-AEAE-E8639C745BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899e87059a25c13dd8994962a6e11071ed4064da","datavalue":{"value":{"entity-type":"item","numeric-id":5429559,"id":"Q5429559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$B0F8B801-6385-43DA-9D92-6379741966B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f74512d1738c9d1ad87a430c2d90edb232ca525b","datavalue":{"value":{"entity-type":"item","numeric-id":3983938,"id":"Q3983938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$6C01A4B4-0365-4071-9A32-CD687100ED1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$E0D6E1E6-287A-4813-A4CF-3A8BAEC560A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2dbb5770cf2bfa6d0c75b9c3ea412f957c13402","datavalue":{"value":{"entity-type":"item","numeric-id":3651467,"id":"Q3651467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019595$DC6ED88D-E554-4341-8B7D-59E1E65EA2FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0bde5a9caed98218a7fdf09e67f158eba329811","datavalue":{"value":"W3190660638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019595$B38FB594-A804-49E8-9A00-E3C176B6F20D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3deae73e8077b92cb70708f675d1fb410238f4a6","datavalue":{"value":{"entity-type":"item","numeric-id":5108505,"id":"Q5108505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe29f860c8cb6963baf174fa4a5d377e9d296abc","datavalue":{"value":{"amount":"+0.6693530082702637","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":"Q5019595$0C3FC2AE-E5A5-4D88-B752-6E24CDEF22CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f20cc926a98541baad14be8d1f7aad5b66404def","datavalue":{"value":{"entity-type":"item","numeric-id":1799062,"id":"Q1799062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"153ba516a5fc79d6c54f1a2cf3147d74efcc6e0b","datavalue":{"value":{"amount":"+0.6602977514266968","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":"Q5019595$2BAE1FFF-5098-44F0-A0F7-BF70C79BBDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faa8d35ea45c005ab04408fe7a1fd2a06d95a4d2","datavalue":{"value":{"entity-type":"item","numeric-id":3066780,"id":"Q3066780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e708d89e2153ef03323163556f21b00bfdf55dd8","datavalue":{"value":{"amount":"+0.6567248702049255","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":"Q5019595$FC4F5193-9430-4A30-912F-309B3EE686C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37d33f920184931a235753cd68891e74c0301489","datavalue":{"value":{"entity-type":"item","numeric-id":4593096,"id":"Q4593096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c616798e927ba4feaf3320f523f76972b137759a","datavalue":{"value":{"amount":"+0.653228223323822","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":"Q5019595$BDDCB043-DA47-4058-A157-B159EA9DA900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c4466195aeb3e5a71dfde54a3d77737c40506b","datavalue":{"value":{"entity-type":"item","numeric-id":5897228,"id":"Q5897228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"761f410a226ff3debd0cd6b4a79f4e8bd12bbcc2","datavalue":{"value":{"amount":"+0.6456736326217651","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":"Q5019595$F3BE2FAD-1239-476F-87BA-A998D521B975","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5019595","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5019595"}}}}}