{"entities":{"Q6145035":{"pageid":13279342,"ns":120,"title":"Item:Q6145035","lastrevid":57098718,"modified":"2026-03-26T15:18:38Z","type":"item","id":"Q6145035","labels":{"en":{"language":"en","value":"Modal information logics: axiomatizations and decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7785162"}},"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":"Q6145035$DD2076EB-730F-40D2-8751-C66FB5C38CF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdf5b50dd68a205c7f5fed000aca9cc4f6155e2e","datavalue":{"value":{"text":"Modal information logics: axiomatizations and decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6145035$23032A39-BEF8-4EEE-8A8C-80241405B929","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06f010f602233f4bc23ff245aea0a9ba7cb30c89","datavalue":{"value":{"entity-type":"item","numeric-id":6145034,"id":"Q6145034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145035$D713B166-54F1-4653-B61D-FF1E5F730774","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145035$6F0C9A8E-7867-43E0-BEFA-17683530C1DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e50f80f2416051e0e7d7d1cfabce1de8c3ea5bd","datavalue":{"value":{"time":"+2024-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6145035$2340BAE1-F973-44DE-8855-5F7BA970D341","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145035$594B54B9-781E-4F2F-B9E8-9C1C666FADC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9052077b32d55f008348951bb067f6acaee9cb87","datavalue":{"value":"7785162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145035$18C594A3-5279-4197-A2EE-12D6AEB2C9FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f247d5f77d4a46a24ebf3c63bdfef3a222b3232","datavalue":{"value":"modal information logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145035$3720D5DE-DFB8-4F6E-B4EC-F780892A8AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145035$A5C41FC7-0AC5-47E1-900A-E9D10342A2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145035$5E5501C8-3B77-43C7-B562-13F483947B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145035$4053AE45-4411-4FF2-9F1F-120548D893CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145035$BCE438D1-389B-44D0-B199-2F822C3A6921","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":"Q6145035$76DFBC9C-C33E-496D-BBB2-F7E03DB5DA0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec2d3d44193e2f3adfd0c401d2e44a36f68b69b0","datavalue":{"value":"https://doi.org/10.1007/s10992-023-09724-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q6145035$21BA513B-8584-48B1-A5C6-A23D830CC17C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df19dc0f3b13d51f9b003ca289a3d77ab8e8cd8e","datavalue":{"value":"W4388294667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145035$CE34B960-BFC3-4321-82E6-59A55D49F392","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac53d974838c06d2057e65b40b18a22f58347c4d","datavalue":{"value":{"entity-type":"item","numeric-id":733743,"id":"Q733743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145035$DAA320E6-058E-4C88-96AD-40FA0A80B590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145035$9D457FD8-610B-4EF8-BF12-10B34F7F3DB1","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":"Q6145035$E9CE326B-E6BF-4C37-92E5-9E79446FC811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dea1d8a229c54b15541be0fbaacfaaec5d75bf76","datavalue":{"value":{"entity-type":"item","numeric-id":1148308,"id":"Q1148308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145035$DD304E61-058E-409B-A2A8-418704C21C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de59f2cab5144b1a48f2af6eca8fa0fcb14e9452","datavalue":{"value":{"entity-type":"item","numeric-id":3630172,"id":"Q3630172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145035$48EE264A-E905-4B92-8479-F7D82745809A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed27d0f6cb877ddca3d1133891fdc234a9330a11","datavalue":{"value":{"entity-type":"item","numeric-id":4694209,"id":"Q4694209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145035$CDC7F453-5CFE-4D4F-9414-B5AF4F6CDA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1c04fe7e9f43754f5ad4c6f8f037f5bd01eb73","datavalue":{"value":{"entity-type":"item","numeric-id":456962,"id":"Q456962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145035$9807BCC0-7B78-4FEB-831A-B67A0E432482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145035$4AA9A271-1561-4FE3-AF34-6A05B151AEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e19b9ac11c70c2ebcf90a02f1f65e02b87b9904","datavalue":{"value":{"entity-type":"item","numeric-id":5656747,"id":"Q5656747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145035$C07B2EE2-5B7B-4657-8FC7-6D71775DC2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fbe2e8e249ea0aa36e1258e8c68f7fb45bd8560","datavalue":{"value":{"entity-type":"item","numeric-id":4218019,"id":"Q4218019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145035$8F44FE7B-F7E3-418C-821B-E33180735F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e252f658991775a6762454aa27512e38cb7c3c5","datavalue":{"value":{"entity-type":"item","numeric-id":1688949,"id":"Q1688949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145035$8964C865-3E7E-4BB8-843C-52A7A88E09D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0227eb23cb2d42d290c0e76e400f49633818c2db","datavalue":{"value":{"entity-type":"item","numeric-id":2000675,"id":"Q2000675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145035$D7F701B4-1513-4DB0-A6DA-670D9D48CB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822b2ffdd3a2ee412892f30b76de8377056f726d","datavalue":{"value":{"entity-type":"item","numeric-id":6102994,"id":"Q6102994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145035$FBD4971E-6D6A-4AFA-8F95-D293CF769F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01b37f355bea1c73d76a56c76544f97c8cc9b3d","datavalue":{"value":{"entity-type":"item","numeric-id":278765,"id":"Q278765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145035$B9B7FBFD-0BF3-4173-9C85-59B52DEF9A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b54b4ab609fd68f52286e6e5100afe49f740c76","datavalue":{"value":{"entity-type":"item","numeric-id":526967,"id":"Q526967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145035$EC1C5047-E170-4227-A284-041E7F241F86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e622423bd6de32573d77458e7a948200608f89d6","datavalue":{"value":"10.1007/S10992-023-09724-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145035$CBF952CE-E7AA-4A9B-8001-AC52B261AF3C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145035$890F5FF8-CBD7-4C16-8974-C0A79BB22200","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6145035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6145035"}}}}}