{"entities":{"Q6895253":{"pageid":20868046,"ns":120,"title":"Item:Q6895253","lastrevid":97033535,"modified":"2026-06-05T13:05:21Z","type":"item","id":"Q6895253","labels":{"en":{"language":"en","value":"A modal axiomatization of \\(\\mathbf{BK}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8126244"}},"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":"Q6895253$7E77C95E-2690-4A80-8C00-CF6D9674458E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4801daf955b8b8b93d7499c9db63b32b1178be8f","datavalue":{"value":{"text":"A modal axiomatization of \\(\\mathbf{BK}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6895253$415E3A6E-4E2E-49C8-9DA3-177B8EC0DF24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc3209ef876337a2e0581b28fb04e645a35c1790","datavalue":{"value":"10.1093/LOGCOM/EXAF056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6895253$61B0E332-9B7E-43D6-BD4E-583B1DF21800","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb2b4f094115b692dda0aca582c01f4120e1d646","datavalue":{"value":{"entity-type":"item","numeric-id":6895252,"id":"Q6895252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$39176012-BBFD-42DD-B20C-9ABF6CD9AB4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$F33F92E8-DAD0-404B-9788-D95F9FB701EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed40ea515b48f533e3453a2e86e3ed576f48341c","datavalue":{"value":{"time":"+2025-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6895253$5921B6FE-C06E-4A7C-8F80-489501C87F20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6895253$45A48A71-26AD-486C-A7B3-5CB5D1EDEF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6895253$3B3E3ED5-9F25-4FE4-A175-CC1521CCD685","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fd09f190c72d531fa4904f8de04d617f620916c","datavalue":{"value":"8126244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6895253$B4BA8573-00C0-475E-A15D-98D18F4C3EF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e19be05a4a446c55f9189b10a2e50fee1931cd56","datavalue":{"value":"non-normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6895253$3EE9D468-C0F0-44F7-89A8-5DF14782896D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a5b36a1f0c614b7809ac890f732c806aa03f79","datavalue":{"value":"paraconsistent logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6895253$E9D1527C-9BE1-442B-95A2-2EE4F16E9CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3849e746e8ea32ac728a9b357e7543b8066381","datavalue":{"value":"Nmatrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q6895253$C2CB99E5-7BE7-483A-B884-3E611516A5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b9973e3b06473381d8df2748e6ea2128b03fb","datavalue":{"value":"non-deterministic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6895253$14CA433A-AC7E-4B1E-8891-394F3CD2CF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dc200c4c8b6dbafafdf3c921aa6efdfb21e04d9","datavalue":{"value":"LFIs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6895253$B27B7224-B219-400D-B0D4-186284A6000E","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":"Q6895253$47D186FF-CAB8-4111-A2C8-5864731B9C65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0d82ab32ab75b607b3d2eb19144a798b3dbf566","datavalue":{"value":{"entity-type":"item","numeric-id":5311061,"id":"Q5311061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$A185C695-44CE-4791-A232-74FF421EB45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c35e4959c01d9ed3f437b10ee718617afec1505","datavalue":{"value":{"entity-type":"item","numeric-id":6623946,"id":"Q6623946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$CECA3BB6-18D0-4202-86D7-A2709A7FBC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ae24754f75a802a2da40737e8cd0fedd5ca062","datavalue":{"value":{"entity-type":"item","numeric-id":3025337,"id":"Q3025337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$910A1F3D-28A0-4FED-A4E0-1859BC000CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1fb85b3df6dc09714a81c8d97e51c364edf29f","datavalue":{"value":{"entity-type":"item","numeric-id":4636024,"id":"Q4636024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$478C4B36-30D3-4B01-99AF-22C6FF5BB359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0de826abe7d712d4e61048eb7af56c58a19098","datavalue":{"value":{"entity-type":"item","numeric-id":5381035,"id":"Q5381035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$FD49599A-2BF6-4C96-9C16-696AB182EE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9d141967673e58306bbfccf97d9b1ab0aff048b","datavalue":{"value":{"entity-type":"item","numeric-id":2986784,"id":"Q2986784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$D1B443E6-740B-4F0E-9FDC-4B1F97C2E5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"220492953260b297e0ab1760a55ddd3bb21dee47","datavalue":{"value":{"entity-type":"item","numeric-id":5300580,"id":"Q5300580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$FF93AB8D-1FF1-4C35-ACC1-43E9F2DAFA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0059a364345d8252e8e43992c5c89947bc034129","datavalue":{"value":{"entity-type":"item","numeric-id":4686539,"id":"Q4686539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$5F6B9558-BC55-4382-BE77-BBD99113E107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3170cd340d94f57b9bc97380243d6bfdd3148dc","datavalue":{"value":{"entity-type":"item","numeric-id":2295602,"id":"Q2295602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$6E160AD9-5C3C-4478-856F-88A3944C0291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26d742ed801db314239490ed6fc1c547af4379ad","datavalue":{"value":{"entity-type":"item","numeric-id":2373949,"id":"Q2373949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$31C0BA60-42AC-4735-830D-B47ED12FBB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3a92781638289e36926c03c49a66a56204cf18","datavalue":{"value":{"entity-type":"item","numeric-id":4440555,"id":"Q4440555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$9C2307F4-CAE2-4892-9B06-AF9D668E4F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002c4079320707bfb7fde536df207f2ee2cab7b8","datavalue":{"value":{"entity-type":"item","numeric-id":2254571,"id":"Q2254571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$F4E4A0E3-0CD0-48FB-9196-6C8D509A53E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b328bb16502eff1f0ba9d3c2f73967745a4e979e","datavalue":{"value":{"entity-type":"item","numeric-id":4586135,"id":"Q4586135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$D8194373-BF07-4843-9FE0-D5093C0828C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7398c112b2dfbf069c5d2b38e58bd4cfac93474b","datavalue":{"value":{"entity-type":"item","numeric-id":5082324,"id":"Q5082324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$3E2D81C0-92DA-4A33-9580-50347D811E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4af67518ac676c5b2f7c87336563e9d11ff66b3","datavalue":{"value":{"entity-type":"item","numeric-id":6913438,"id":"Q6913438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$17DFE6E5-5697-4990-8E2B-F80D02239797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57195f9a6e9774629889fc71951834215775ef90","datavalue":{"value":{"entity-type":"item","numeric-id":5778202,"id":"Q5778202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$FF7AD065-0EC0-426A-B76F-E1E54EA26FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a8249c15c1c60a206dc9bef58883954bac0390","datavalue":{"value":{"entity-type":"item","numeric-id":5028306,"id":"Q5028306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$96A96EC2-442E-42D7-AC12-DDADB79F80B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2a0b2c99f38a5a503d55d455c43eac1a7dd89d","datavalue":{"value":{"entity-type":"item","numeric-id":2007478,"id":"Q2007478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$E761F29A-D99A-419D-AA00-F2E95A73083F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe733aac765e8a2d52ecf16b04b98ed7cee971fd","datavalue":{"value":{"entity-type":"item","numeric-id":5752543,"id":"Q5752543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$70A12E74-8D80-4D88-859C-2C0DD6CA3D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"133b3ebb8155a5b2fd334dd16f264dc715c913ad","datavalue":{"value":{"entity-type":"item","numeric-id":3936716,"id":"Q3936716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$20296961-6117-4F2A-8B3F-9D7C124C2981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c262652e2eb5ec93dfab6a7e8bd778e7452c47","datavalue":{"value":{"entity-type":"item","numeric-id":3367515,"id":"Q3367515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$315F84C6-80A4-4F5E-915E-1C2C1223710F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd198fa0aa37fb2392dcf32d814181a1e152092d","datavalue":{"value":{"entity-type":"item","numeric-id":4729754,"id":"Q4729754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$4584C366-4D39-41E7-9EDE-B3AA96694535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64fc92e0137340130a37f903c43946d78c1d952","datavalue":{"value":{"entity-type":"item","numeric-id":5126191,"id":"Q5126191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$57F0A031-E0EF-445E-80B8-11A33C3F44BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0399d99562e29b8ec26c3f5eba524f64b99573a8","datavalue":{"value":{"entity-type":"item","numeric-id":6623952,"id":"Q6623952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$3F12AB46-739A-4AA2-9C15-7F5D2BF54F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8391b866deaf9568a477808b252e1f99de1f3de8","datavalue":{"value":{"entity-type":"item","numeric-id":2399881,"id":"Q2399881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$3A6551B4-D7CF-4CD5-BE73-A8F8FAFDF31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e8f3e8047c78ab60b579f87e4c2379e9bef041","datavalue":{"value":{"entity-type":"item","numeric-id":5028307,"id":"Q5028307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$1878D612-0E20-4CDC-B81D-B4625DE19120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc7f0c08f922c9739ae64d621b18c2332cf289e","datavalue":{"value":{"entity-type":"item","numeric-id":6128769,"id":"Q6128769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$CD32E7C6-ADB8-4E17-8B0C-161CF12F9A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0e7c46de7727456e0cf6599395406d27d6b2ab8","datavalue":{"value":{"entity-type":"item","numeric-id":6915775,"id":"Q6915775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$F787917C-4490-4765-A1A9-79350D41D9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37f4e9d69147519bf9ee206516e3c4225992c9d","datavalue":{"value":{"entity-type":"item","numeric-id":6909874,"id":"Q6909874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6895253$B89803BF-5978-4A77-8611-76FBE3E30570","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6895253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6895253"}}}}}