{"entities":{"Q2323640":{"pageid":2334383,"ns":120,"title":"Item:Q2323640","lastrevid":55371844,"modified":"2026-02-17T14:43:11Z","type":"item","id":"Q2323640","labels":{"en":{"language":"en","value":"Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7100701"}},"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":"Q2323640$BDDDBA64-FBA0-4477-B653-0330BF7280EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a340764248a776707b39147cba0faa90b8fdbe11","datavalue":{"value":{"text":"Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2323640$A09EED88-9CF8-4A47-BBAE-A07A736B7559","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e00f1e121e689781c413b7010cf12f986534d9dd","datavalue":{"value":{"entity-type":"item","numeric-id":1743998,"id":"Q1743998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$9611D918-3B83-4060-BA2C-B066C08CF02A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$8026841E-0850-4DC1-86F0-C9B3E9607881","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa4ee36009a742ce6b868039c855591a846096a1","datavalue":{"value":{"time":"+2019-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2323640$67E21635-EF62-4A47-BF98-C8C28C18A4F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323640$209D1955-7756-4520-BE27-3D25021FC99B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13233080354e6c893f85edadf081a6613ea8dd1d","datavalue":{"value":"7100701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323640$82B8901F-DC3A-4D9A-BC3D-0468D00850A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22b4b6244558c2171e32888602cc83e09d920313","datavalue":{"value":"propositional epistemic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323640$491F3E3F-2068-4BC3-B418-F3334A881A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9dc47799541248b651c518523c96e4ef0661fdc","datavalue":{"value":"quantification over modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323640$25F632A0-6361-4357-B0A4-4F41F7218F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c60a4d6715cefcb8d55cc900a16305de6603d0c","datavalue":{"value":"two variable fragment of first-order logic with equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323640$9185B1BE-BAF5-4A3A-B781-262B46720800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323640$B83ECC34-2335-4D1C-86CB-3624AEF22119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f8097a5acaf4f5da882f7fd8626319748924c0b","datavalue":{"value":"outer and inner scopes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323640$56CB120A-B696-4EF4-B934-66A8387423E0","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":"Q2323640$8769CCAA-55EA-469D-B3F3-1D6B7F7012C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6be9c1ddfc74e75ff951249688b3f04ea130292c","datavalue":{"value":"https://doi.org/10.1007/s11225-018-9824-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2323640$E2411E00-8492-4D1B-95B1-AF9C4AE44A4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e264478940482f655c5c1529ce83d7d76b67b956","datavalue":{"value":"W2888212920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323640$6578A2F6-7680-4DA7-B18D-BF22F0ABA007","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdaae28851795a558e4c2a6375c70d9103384c68","datavalue":{"value":{"entity-type":"item","numeric-id":5890544,"id":"Q5890544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$F84E01C4-18E5-430F-8576-84CDDC2F75A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$0EAE5D24-A310-4FC7-AC1D-0CFBD4D9A378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cea6210234011431cccc309e04a7e9ba221e19","datavalue":{"value":{"entity-type":"item","numeric-id":2016054,"id":"Q2016054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$8B5E3BC3-BA70-486F-893D-321D90B455F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43eb6481fa8bc1eb73942bd1576ba7a50bf74614","datavalue":{"value":{"entity-type":"item","numeric-id":3295784,"id":"Q3295784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$9AFCB40B-5DF6-431F-B2ED-A1F00C04237A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce752a92c24bd5c7c26cc689ea3849978025253","datavalue":{"value":{"entity-type":"item","numeric-id":5145301,"id":"Q5145301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$9180E669-C525-45F7-A5D1-82E54876970A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$4C5BB64E-9ED3-4AE3-B073-5145AD525DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9aa909a5f3ff0abcbc69852eb1a775aad8fbb1f","datavalue":{"value":{"entity-type":"item","numeric-id":5955624,"id":"Q5955624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$E4C89A2F-5D31-4F96-A183-C9589A424407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$EC297B26-3298-4E65-9C1B-461CFBEB4AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$EF741EA2-866B-4918-AB82-DF35B7E58236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807f40b98e6f9faa4b0ff6bf6fa2f8d012e065c3","datavalue":{"value":{"entity-type":"item","numeric-id":4276167,"id":"Q4276167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$A41AFB21-CB04-4083-8C71-C2002A25376D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a845c86f385c251e0f81bb55bb436c7353ece0","datavalue":{"value":{"entity-type":"item","numeric-id":1855214,"id":"Q1855214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$60F20A74-A54B-4391-905B-DD84CEE73FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25c01e8d4be176dddf944065ec7d363ffdadbd","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$6110589D-8165-4FDE-8A2E-B2691B74E2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77e227e598b4f65a927b7393a05720ddf79e3793","datavalue":{"value":{"entity-type":"item","numeric-id":2996150,"id":"Q2996150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$1F107F98-98FA-4F32-9FC6-C395524A13CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb39a3356b04054be7de64624339a320ae934335","datavalue":{"value":{"entity-type":"item","numeric-id":1604793,"id":"Q1604793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$481A3211-2A19-494B-9718-9FC1DAE2542B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def66741257d563bc142c4ecec014e9928994fde","datavalue":{"value":{"entity-type":"item","numeric-id":5895185,"id":"Q5895185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$99584C5F-FB5C-4846-812F-53451494003C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30fc8a40eb42fdedd457402fd39fbf66c1808e11","datavalue":{"value":{"entity-type":"item","numeric-id":2915891,"id":"Q2915891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$0C5632B7-E855-4302-8F37-FC24E07DB1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95bc594f634ab4151e2524e2b2a6762a62b5a924","datavalue":{"value":{"entity-type":"item","numeric-id":2675278,"id":"Q2675278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$32FB6982-CBC5-4CBD-8168-7CFEB6200B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb7e706f8e9249519066e3c269d42d0dd78173d","datavalue":{"value":{"entity-type":"item","numeric-id":2001365,"id":"Q2001365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$4ACE9755-325B-4CBD-99DB-992BF6167FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08bb6c327040afb79dee442760c3ada02b41787c","datavalue":{"value":{"entity-type":"item","numeric-id":3534988,"id":"Q3534988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$B8E45E3E-BE65-4849-8716-8A5E0F95776F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3a0e531947b0e3d3d1ed144f230bccfc539774","datavalue":{"value":{"entity-type":"item","numeric-id":539158,"id":"Q539158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$5A4EE893-B7AA-4B16-8D48-E614DE3C0FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68ae1748b8bfe9ae3e2d98918536504049351d1","datavalue":{"value":{"entity-type":"item","numeric-id":1743999,"id":"Q1743999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$CA8A2DEB-5B76-4F44-AA8C-8F8C5D73277C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6be2bed4a9592ec6a2729b97e265dcf368f6612","datavalue":{"value":{"entity-type":"item","numeric-id":2848370,"id":"Q2848370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323640$DC035566-2C2E-4249-A9DF-31BAC2980855","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ab1818dde2ccc0dba5fc55c8179714324f236c5a","datavalue":{"value":"Q129347419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323640$1CA966E3-73CB-48CF-AAD8-563729740AA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e066ee5087ff7a8f198ac81ee3c666b3590d4c95","datavalue":{"value":"10.1007/S11225-018-9824-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323640$E86E5317-DA7F-400C-A513-1B6E11BCD358","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ae1362353214a71afb538282845e949f8109a7","datavalue":{"value":{"entity-type":"item","numeric-id":1743999,"id":"Q1743999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb4397efec1eaac486aea68ee459c17094206d2","datavalue":{"value":{"amount":"+0.9269522428512572","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":"Q2323640$E43563FC-1D8D-496F-BA6A-F8A6B60A179B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e2d942a3487ddd8c77abc011545652c3c29069","datavalue":{"value":{"entity-type":"item","numeric-id":2016054,"id":"Q2016054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e3c37c1bae6e2e6be6ccef90b450943a6688352","datavalue":{"value":{"amount":"+0.7913906574249268","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":"Q2323640$9DD05AEC-305A-492F-8446-3F9378D473C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aff3b806a69967d48c189adee8d8e6c1c457cc6","datavalue":{"value":{"entity-type":"item","numeric-id":5191595,"id":"Q5191595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d161995a2f23e1d92131aa2ce7ad1f210173148","datavalue":{"value":{"amount":"+0.7595357894897461","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":"Q2323640$9F6BFF9F-084D-4601-A6BB-75EA804045DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"270ab7c0a05bd42e2ea587256a7437ac2d4f9662","datavalue":{"value":{"entity-type":"item","numeric-id":3295784,"id":"Q3295784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9108824e335aeb2902c5170978636527d2190da6","datavalue":{"value":{"amount":"+0.759236216545105","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":"Q2323640$0C3BB2B9-BDEC-44BC-BCE0-28F2146BBC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d88b2012102cdb5004ebe87de048b7f8051b15c","datavalue":{"value":{"entity-type":"item","numeric-id":5465433,"id":"Q5465433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd8c38b6a1c6d53b7aa8047fc344400f430b7ca","datavalue":{"value":{"amount":"+0.7349898219108582","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":"Q2323640$7102D670-6B8C-4423-9919-758B62FDBF1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2323640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2323640"}}}}}