{"entities":{"Q1183584":{"pageid":1194333,"ns":120,"title":"Item:Q1183584","lastrevid":70204914,"modified":"2026-04-13T13:09:11Z","type":"item","id":"Q1183584","labels":{"en":{"language":"en","value":"Modal logics for knowledge representation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33402"}},"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":"Q1183584$AB810957-C849-4BDF-A100-F5BBD729F970","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fadcbb6b6b99012299d4cc8442d4484c88c465d5","datavalue":{"value":{"text":"Modal logics for knowledge representation systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183584$3CF6E4A8-BED3-4DED-9241-267BB82D5219","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5e3c5e4bc60960d7557b606f6b02361c1bdfaae","datavalue":{"value":"0755.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183584$96696941-5279-4B3E-BF7D-6D28BEA9BDFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7ea5f16cc816facd5f588acca584d7c7aab2792","datavalue":{"value":{"entity-type":"item","numeric-id":454384,"id":"Q454384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183584$F37DD53F-F7A5-41BD-9227-540DE3893044","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183584$6014DAFF-B410-443B-86E4-929EBF1A5746","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1183584$B1EFE188-0FF3-410E-9D53-6611270E27F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"80692694ad5c6a43fde2e5d7bd946d3a92c32b50","datavalue":{"value":"The main aim of this paper is to construct a more complex logic of knowledge representation, denoted by IL (Information Logic), and to show how the new techniques work in this case. The author shows that IL is only a representative example of a wide variety of informtion logic, all based semantically on \\(KR\\)-system or variations of them. This paper is an extended and corrected version of the author's paper [Lect. Notes Comput. Sci. 363, 257-277 (1989; Zbl 0681.03007)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183584$0C6BA399-8CBD-4B62-AAB0-4DCD8148046B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183584$212FC0B2-C4C4-4E9A-BBD3-F7D53147161A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183584$ED18DED3-1863-465D-BA36-9A3E30108498","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50d3a60211bb6e4356f5ec2e85c8aa98a739bc51","datavalue":{"value":"33402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183584$41F330CE-11CF-49F0-913F-AE36C68AC0F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2864d1b6870ef2699e5e1958be36cb181ba7244","datavalue":{"value":"knowledge representation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183584$6DEF6987-CF6F-4129-AE86-C5AA15A479ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e32599264f5935acb6f515918c404ef78f17ffe5","datavalue":{"value":"information logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183584$1E22D16D-7563-4143-ADAE-A8ECDD9ACE3A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a99cc43754442bd871d0e4e19845916a0a9ba924","datavalue":{"value":{"entity-type":"item","numeric-id":1230772,"id":"Q1230772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183584$01A9AC82-883B-4282-B485-4DDF7BBADF68","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":"Q1183584$4F067F32-1C5D-4ECD-9B60-B7E6FBB2ADD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16e09e790a4f9a1be97b51a544c68ba62a35db8d","datavalue":{"value":{"entity-type":"item","numeric-id":4729757,"id":"Q4729757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183584$97E931AD-D3C3-4191-96CE-71A2BF0B00A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b1f67eee6e1925d5f66188dac6e29cec8615459","datavalue":{"value":{"entity-type":"item","numeric-id":4027733,"id":"Q4027733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d02cbf9991255239fd29f996468f694f93206e5","datavalue":{"value":{"amount":"+0.9937317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183584$FF3AFDA0-CCA2-4445-AA29-A97BF0DABD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0521006ad8ed1704812f5c6b4a4d5b574357e28b","datavalue":{"value":{"entity-type":"item","numeric-id":3793771,"id":"Q3793771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9230de5276245b55f458e05a4c6b1799a799c5","datavalue":{"value":{"amount":"+0.94163847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183584$516E1022-96B1-4A3F-A380-C5DCEECEB1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73516c77bde78dc4c77471b3a2dfa756d335e4ee","datavalue":{"value":{"entity-type":"item","numeric-id":4236374,"id":"Q4236374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ef2edbb834b860ebcf970e513a8e53aa2023f4","datavalue":{"value":{"amount":"+0.9374442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183584$F630A874-888A-4D86-AEC2-5C696F62E362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d99017a58a8925ebb4b19e7e918dde2d4ff75c9","datavalue":{"value":{"entity-type":"item","numeric-id":4225124,"id":"Q4225124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a9a4485aedd9203171b9408a5861aafc7bbcb7","datavalue":{"value":{"amount":"+0.9239676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183584$323205F1-BAA1-415E-AED0-5B6B5D69FC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b93dacd72aee1b378532d1ac263c2d1b43b3a6a","datavalue":{"value":{"entity-type":"item","numeric-id":2277439,"id":"Q2277439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f73ad228cbd6e543e4bb4056b0624fcf31a3dc9","datavalue":{"value":{"amount":"+0.92136633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183584$240F954A-C0D2-4E74-ACDF-8C06EF06A163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e2215e23d5af41d17356d12e7854e82ca460bcc","datavalue":{"value":{"entity-type":"item","numeric-id":1318249,"id":"Q1318249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6590049e644c2279f011aa9019dac3b75199e19d","datavalue":{"value":{"amount":"+0.91706383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183584$FECC1435-5BEC-481B-95BE-3EB46B0A9621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5fd5ffb9e5f97d2cd81d5d87702abe66c67309d","datavalue":{"value":{"entity-type":"item","numeric-id":3219804,"id":"Q3219804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"206b5091f01f021a15f0a84d07e3f27c1dfeff4c","datavalue":{"value":{"amount":"+0.91608655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183584$39E78247-8361-49FC-AB54-DD6430A0E7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f527936138feffa0110cd6b964515a6ed1542f","datavalue":{"value":{"entity-type":"item","numeric-id":2938532,"id":"Q2938532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f803457267ec6b9f1b42c608dabb70aa34d52f3c","datavalue":{"value":{"amount":"+0.9154613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183584$1D25B3B6-6E20-455E-BBF5-29730FA2986A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c421a2359138db329bc23a42319badc4acc5687","datavalue":{"value":{"entity-type":"item","numeric-id":4555447,"id":"Q4555447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"425e571ec6a48286ec9011e6413a443c03c79b01","datavalue":{"value":{"amount":"+0.91465616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183584$C5B4DD27-4E63-4074-893D-C3B9E91453A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal logics for knowledge representation systems","badges":[]}}}}}