{"entities":{"Q5435114":{"pageid":7464678,"ns":120,"title":"Item:Q5435114","lastrevid":50248493,"modified":"2026-01-13T15:45:17Z","type":"item","id":"Q5435114","labels":{"en":{"language":"en","value":"An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5225642"}},"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":"Q5435114$BFD6B434-674C-4D01-8E7A-ECD3DC3DD0A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b6566c5bf3800aa91a79c7fe7c9b5d3a8476904","datavalue":{"value":{"text":"An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5435114$9F79CAB4-3DB4-4B3B-BA95-38B66329E3E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e702b59f0310593f82a4b887ce9d76f5238907a8","datavalue":{"value":"1134.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435114$0879BB18-99E7-411F-AA82-644B1ED7E51A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edae0b084922fd18d507b2a59a4d799201d90bc2","datavalue":{"value":{"entity-type":"item","numeric-id":1685157,"id":"Q1685157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5435114$22E586D3-AF80-4D3D-AA41-1DD50B49FEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5435114$B82A8956-78EB-456E-8782-C87514501790","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3937c056377dc144ca887b57f8c994e8e946f87","datavalue":{"value":{"time":"+2008-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5435114$EA437631-3099-4250-9447-D8CA8539460A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435114$C45D11C9-FC48-41DA-A71C-3FC689636969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435114$50416AF1-3E2E-4BAF-AA6A-42EDB0F78C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435114$6736428B-4F27-4CD9-942A-65BB92E03DF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5df48123cf9b94d0017917495db7d8ce5d99c1c","datavalue":{"value":"5225642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435114$6E782BE5-F842-485F-BEC0-E585A6C8A440","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435114$C3F0882B-B79C-49D8-8DE5-7A67E9CD397D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867edb5f1fbdfc859e4a81b4fd3af4f5726fbfcd","datavalue":{"value":"multi-modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435114$7740A279-7ADA-4427-8778-60AB39678BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435114$AD34CA40-7780-4F5E-96BC-70140322938E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435114$CED6C9E3-AE59-4B03-B4F1-B91D91E5397D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"107d5e82ca5d1fa5d16e203c6d55c0cd1ef524df","datavalue":{"value":"combined logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435114$ECCCC663-1859-410F-A367-37E11C48ACBE","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":"Q5435114$0B3AE8E5-F047-4F18-8C3B-B084F51C0625","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c24eab9b5013285737ee003a463f412b6b07b37a","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzm010","type":"string"},"datatype":"url"},"type":"statement","id":"Q5435114$DBA58980-9347-4F6A-B97C-BD0F98646EFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f85c711b78a73d7bd3ef16f141864dba8f66d899","datavalue":{"value":"W2161650171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435114$1D58530A-50DD-4951-BF9E-A54116CFEB76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2acbc09114a91f90157eb2289fb26235670a4cfd","datavalue":{"value":"10.1093/JIGPAL/JZM010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435114$FF199E3C-155E-4524-AEA1-FA6191A38136","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5435114$86EFF158-14A5-45B5-88C0-C438DB1D6224","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75a87621fd7daeaba3ba05ec1ba4c139f4f2c19","datavalue":{"value":{"entity-type":"item","numeric-id":2436101,"id":"Q2436101"},"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":"Q5435114$CD97E819-CF74-4F2D-9D83-736D77248ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b98ba21cf33c2f3a387bc04d072055415a132d3","datavalue":{"value":{"entity-type":"item","numeric-id":4966494,"id":"Q4966494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a965dff560d52e6ec69d6350dcaea79b9152692","datavalue":{"value":{"amount":"+0.8428578972816467","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":"Q5435114$21794E1B-FB17-40CF-AE31-48D4206F9FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba5470fe92f1ade869a5eab83c290d577d1c342","datavalue":{"value":{"entity-type":"item","numeric-id":3656763,"id":"Q3656763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bcf4aafd771861ceb8edc2ba6ee678ad9589b3a","datavalue":{"value":{"amount":"+0.825469970703125","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":"Q5435114$CFF7B819-6126-4717-8C1B-CE1E5B71716C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9102a24b2b7e65e253c723dd0cc56297ec2fe069","datavalue":{"value":{"entity-type":"item","numeric-id":4514714,"id":"Q4514714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"115951e61ad9f0fb00ca66032dd07bac83d180f4","datavalue":{"value":{"amount":"+0.8197636604309082","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":"Q5435114$8E1043ED-D060-46A9-BE15-A9579C499C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d92c9a55175889d683b7251910df5fd4b78cee83","datavalue":{"value":{"entity-type":"item","numeric-id":4651488,"id":"Q4651488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d3b7ee632d037c131860dc1ab0b5d3d7056b9a","datavalue":{"value":{"amount":"+0.8160028457641602","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":"Q5435114$67C67A7D-CB80-44A2-8A50-FC9AA87159CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5435114","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5435114"}}}}}