{"entities":{"Q2436101":{"pageid":2446844,"ns":120,"title":"Item:Q2436101","lastrevid":51931886,"modified":"2026-01-20T13:55:29Z","type":"item","id":"Q2436101","labels":{"en":{"language":"en","value":"An axiomatization for the linear logic of knowledge and time \\(\\mathrm{LTK}_r\\) with intransitive time relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6260666"}},"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":"Q2436101$34E5CE21-8333-4FBF-A0CA-04977947C5C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91b27a2167b39374a264f34f1921ee0ceb3522a2","datavalue":{"value":{"text":"An axiomatization for the linear logic of knowledge and time \\(\\mathrm{LTK}_r\\) with intransitive time relation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2436101$F68D3268-1E00-48FA-B7D2-5191C62DC1E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50b6733b34574be476c5c5b79cc99d855dcdf9aa","datavalue":{"value":"1348.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436101$26671BEF-E172-475F-A722-3CFAF87B5CB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f93d733ceb8889550d5cbacfa6eb88d056b1204","datavalue":{"value":"10.1134/S0037446613060104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436101$F2918A0C-90F2-48ED-A2A5-04D5E75C65EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436101$B678F55B-EA1F-498F-9F02-F379C97A08E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436101$A8120F83-EF31-4BE1-B54F-FE04A106F575","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae4ba8a782472381a782c06e87bf427bf702d445","datavalue":{"value":{"time":"+2014-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2436101$D113A10B-34E6-4430-9DBA-2D0F5429D855","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436101$35A0FBC7-E5A3-4C6A-8B8D-F5C5169EE4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436101$71F3690D-5710-40B1-8B49-048826BE8658","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13526d1356f14be2ab502ea6993d1e48c6766676","datavalue":{"value":"6260666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436101$068D248C-592F-43F2-BD49-F11FA13D325A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7369b00dcc2de789af51f57c7628c1a00a554901","datavalue":{"value":"multimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2436101$38566D3A-4657-4B77-AEC8-786B03B8992C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2436101$C45D5118-7C09-4132-9753-0426685CDAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2436101$C5B05D2F-0BA3-4BA8-B74D-3AFC7FF54F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2436101$DBB896C1-7C4C-496D-BE8D-7B90474EBEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e11d934c106fced9647971b184a2aa48dcf640d","datavalue":{"value":"\\(n\\)-canonical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2436101$886BCB1D-3960-446D-9B9E-DBEE0245822E","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":"Q2436101$E8661FE7-1B96-44EC-84C4-9BA855B344E1","rank":"normal"}],"P223":[{"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":"Q2436101$FAC07638-9641-484C-A38C-2F76C66B6465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb352cf3a8aa1bcadf6623070f33c0f521239455","datavalue":{"value":{"entity-type":"item","numeric-id":4342093,"id":"Q4342093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436101$597E3EB5-5560-4821-B542-AF876CE26B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daab4582302a3aa21137ab948e63f2ee9395096d","datavalue":{"value":{"entity-type":"item","numeric-id":4651488,"id":"Q4651488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436101$C452B6FB-4B8E-459A-B304-BCFF242F3A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7149b5c6ff43b6cd0d6c5f6709ff45f6ee1452ed","datavalue":{"value":{"entity-type":"item","numeric-id":4342095,"id":"Q4342095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436101$1C07876B-BB16-438F-ADE8-6BE709EAE39C","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":"Q2436101$274AD360-FD24-424B-AB9A-4161D95A14CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9121274d16a246802842995eea606939a8ddd7c8","datavalue":{"value":{"entity-type":"item","numeric-id":3435231,"id":"Q3435231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436101$97DCFA68-D033-42F8-9EC3-BDC9448D0737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007f9bbb23e92138191a80f4f8a7d1f13bce2e50","datavalue":{"value":{"entity-type":"item","numeric-id":5479022,"id":"Q5479022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436101$245C17DB-4587-44F3-B10B-9F0A00E86100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9922cb209da3c2c8c234ab8cdd0a8060a60d60b0","datavalue":{"value":{"entity-type":"item","numeric-id":5435114,"id":"Q5435114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436101$77D47ADD-60E8-4CB0-BFD9-02F695DA327D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436101$E726FF29-75BD-45DA-98A2-9009D66EA6D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9db2437a4829d71fedd4e7b26fee2af5ed5d596","datavalue":{"value":{"entity-type":"item","numeric-id":498248,"id":"Q498248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a67d641c52de1df001cb830159aad83dd481c31","datavalue":{"value":{"amount":"+0.9021512269973756","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":"Q2436101$A6AE7403-9EB8-4818-A89B-1AC718ADA1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"880ee291b4630b1dd7c2c733f665453b4b541b7d","datavalue":{"value":{"entity-type":"item","numeric-id":498234,"id":"Q498234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d283918fe7b4b89f292826e3ef299312d4c4346a","datavalue":{"value":{"amount":"+0.8682183623313904","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":"Q2436101$18F248EE-391B-42D4-81DB-E0D1B998D8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a99edb7d3f6951d82e6f8ee3c37a2c7aeb9e045f","datavalue":{"value":{"entity-type":"item","numeric-id":2402133,"id":"Q2402133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6cc2d1a2c6e15da5959ad35c585eaea32a1b73b","datavalue":{"value":{"amount":"+0.8634812831878662","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":"Q2436101$EBA1C4BF-F3C9-4DAC-BAE9-9192B72822A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a80a09c56fa8314dfe0b3f475727c15010739c3","datavalue":{"value":{"entity-type":"item","numeric-id":5435114,"id":"Q5435114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c61b1e2d392b5bbf8665c9506c262a27a7ffe97","datavalue":{"value":{"amount":"+0.8502246737480164","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":"Q2436101$9E773CB0-2C3A-4386-8EC8-347A24967B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e615e9aa7ef35f6221793e8fec769fcdef60835f","datavalue":{"value":{"entity-type":"item","numeric-id":5479022,"id":"Q5479022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd64aa95dc373bb1960e5a31830e2300b110e77e","datavalue":{"value":{"amount":"+0.8207148313522339","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":"Q2436101$D09EA97E-55F2-4CCE-9868-6BA2C468967A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2436101","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2436101"}}}}}