{"entities":{"Q4209289":{"pageid":6238890,"ns":120,"title":"Item:Q4209289","lastrevid":41786858,"modified":"2025-05-08T08:06:53Z","type":"item","id":"Q4209289","labels":{"en":{"language":"en","value":"Resolution for temporal logics of knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1202871"}},"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":"Q4209289$6342F775-0763-402B-85A2-94AE98DBCA54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac65cc51993122eec2750cb81cb8b8cf9d11d8ed","datavalue":{"value":{"text":"Resolution for temporal logics of knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4209289$EB1C6780-3A53-4107-BC1D-BA9E1073BD78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23c4bdf07dbcb16643c53ae7af5164610fe87ed4","datavalue":{"value":"0951.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209289$F5256F31-390C-4D59-82F2-A59B73037AF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d449bd4d25c3d0098b5c9ccbe523577c99777de9","datavalue":{"value":{"time":"+1998-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4209289$D9F65438-3C96-4A53-8470-5D8387CF863B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd72aa3191988f4b2975004c2bf776ef3dbf5bd3","datavalue":{"value":"https://semanticscholar.org/paper/0221e681488129ccebb3e641a8acb44264c2e52d","type":"string"},"datatype":"url"},"type":"statement","id":"Q4209289$76B3B557-A0C3-4A46-ACA5-84140D376B7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209289$5AD54C3A-E092-4510-AC17-9EFA88D59DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209289$8B2B83A8-0D85-46D3-AC32-73A005B99406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209289$6B4262BD-8EC0-4BA6-BBD3-D15BE18B2F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209289$C311353C-7EDC-4235-8FCD-F6B495D0E417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209289$631AF3AD-1C26-4293-8EDA-7B7464EDE01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209289$C3DC9BA3-AE16-4B45-9B39-79385EE58A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209289$981F7675-65B4-482C-9119-4F9B1560DFD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c845b3c6fd0d7bbbfeb6408f12bdae6d68f25f46","datavalue":{"value":"1202871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209289$874E3311-D747-4CD9-A20E-ADBE78D108C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ae911768f60b2f596f6663bb0a8b03846a3028a","datavalue":{"value":"resolution-based proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4209289$81711743-D3A4-4DD1-973F-93BD1F548067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cf6b5bdd4a98254740fb27382ae454962de378c","datavalue":{"value":"temporal logic of knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4209289$C2518128-1731-402B-8D61-0AE08B0AFD51","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":"Q4209289$49B522EB-4149-421D-9AE8-E25A171A9AEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"694c164023a71099105dce8faad2413740399788","datavalue":{"value":"W2059647742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209289$8B75A669-C9E7-4877-ADC9-51BFA965A671","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c17861dbaca0885fb4f3a471a0542a72544a52d7","datavalue":{"value":"10.1093/LOGCOM/8.3.345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209289$9E4154CA-2CD9-4441-BFBB-56907E79B519","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4209289$C3A26121-8918-477B-9FFF-082A06612D4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35c83f26b31df3ffae642a2f1a31d26b1db3268","datavalue":{"value":{"entity-type":"item","numeric-id":4632296,"id":"Q4632296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7b83c282d95cb3854461a2fc6ecffda02d0088","datavalue":{"value":{"amount":"+0.9446966","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":"Q4209289$4CA9E22D-B5BF-4B81-89DC-FA38FEC93DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5225452bae2904b4a8fe5f33e86f9216d0ae06a2","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c258797224b91a6e86eb6e02610f0f463aa0c3d","datavalue":{"value":{"amount":"+0.94373494","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":"Q4209289$AA498DAD-27C5-4CE7-8EE5-682F7E506E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c378675ffe377bc56267cf1f2a84bd5babfc8658","datavalue":{"value":{"entity-type":"item","numeric-id":4647550,"id":"Q4647550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38886d3f8c2d1d162e5363315dfb0930cb53672","datavalue":{"value":{"amount":"+0.9245908","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":"Q4209289$25365986-5292-4AA0-A02A-15686D52E964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674a4fc00a703afc442c8e1c15c8b2d1c36549e","datavalue":{"value":{"entity-type":"item","numeric-id":3741614,"id":"Q3741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50422ae17c8c7467d706a87dc65fd85555e44743","datavalue":{"value":{"amount":"+0.9228592","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":"Q4209289$24E02744-5D03-445E-86B8-51B5F3AEDCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22da62a3026a146782fd05ca459379ca6fd994c3","datavalue":{"value":{"entity-type":"item","numeric-id":4647556,"id":"Q4647556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21792d732f07c320a5bb86defdd88d33c30f65f","datavalue":{"value":{"amount":"+0.9122093","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":"Q4209289$F90CC95A-C509-47AD-9AE0-41FADBD8AD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2edb5d69dc7c762e1ee012bb4d7478bb7f55e0d","datavalue":{"value":{"entity-type":"item","numeric-id":1001355,"id":"Q1001355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ac3134861b7a9f8e84aebbf613d477e2979f51","datavalue":{"value":{"amount":"+0.8956741","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":"Q4209289$FAD120B6-8C3E-4752-8D26-4D0B11BEAF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea108dc4d3486b75416193e20af0acb78b75a2d","datavalue":{"value":{"entity-type":"item","numeric-id":6165037,"id":"Q6165037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a98741beda16777d6b5858b436eeff42e89e8c","datavalue":{"value":{"amount":"+0.8899149","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":"Q4209289$E8E8CE23-47EA-4E4A-8D14-0641FCAB86B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d0cf38f61eb60759b609513e30a084d9ead266","datavalue":{"value":{"entity-type":"item","numeric-id":4535117,"id":"Q4535117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038377147f4e93060dae69dd6234592e378c13e5","datavalue":{"value":{"amount":"+0.8875309","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":"Q4209289$59BDA2C5-7D76-44F2-BD70-D001E39A9E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9be7a5a260e06b34eb52fd284a356a8d258c880","datavalue":{"value":{"entity-type":"item","numeric-id":516250,"id":"Q516250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a2ba278353fa97a332b6063aa28da5538c1df2","datavalue":{"value":{"amount":"+0.8867241","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":"Q4209289$5FBA8FA1-C16A-4EE7-8671-5C79DCD78FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"125f922c77a32d98ed54d933e1dd21756467fd14","datavalue":{"value":{"entity-type":"item","numeric-id":2389682,"id":"Q2389682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e88ef211595895ae7104f5c3405893a612c567","datavalue":{"value":{"amount":"+0.8865331","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":"Q4209289$090A691E-29B2-49FB-A1A1-A795F0D4C79C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4209289","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4209289"}}}}}