{"entities":{"Q5477452":{"pageid":7507011,"ns":120,"title":"Item:Q5477452","lastrevid":101181836,"modified":"2026-06-06T00:06:12Z","type":"item","id":"Q5477452","labels":{"en":{"language":"en","value":"Hybrid Logics with Infinitary Proof Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038539"}},"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":"Q5477452$866D590B-1F7C-430D-824A-0BFFF6432209","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3388cacbc815cbc23774e8fcc4dfa3e7b34ea082","datavalue":{"value":{"text":"Hybrid Logics with Infinitary Proof Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5477452$C2C650E2-3392-4E86-892F-3AC7FEEDD2E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aac722ed02a1a0de5343910f106f6f912f53d281","datavalue":{"value":"1102.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477452$24D1B162-7400-4505-A59E-2F00EE14A6EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27a40f3e393f328cd4730fcb61457b79095ca391","datavalue":{"value":{"entity-type":"item","numeric-id":753808,"id":"Q753808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477452$F46B406E-A5DA-45B5-A64D-B68AC2C70775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb2d4d62e8cf49a7a165bda55c63cf137d414b8e","datavalue":{"value":{"entity-type":"item","numeric-id":490512,"id":"Q490512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477452$4595D3F9-BF18-4DF4-B9C2-5F87A6F08282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad8a4a4842ce7e9395fec03d07820d80de9ff9fc","datavalue":{"value":{"entity-type":"item","numeric-id":1403402,"id":"Q1403402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477452$75D99DFF-836E-46BC-A176-065DB3B0EE6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac17ed5a40bf8aad6f70ec47d507eca00a25f0bb","datavalue":{"value":{"time":"+2006-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5477452$C8CFB833-5EA9-4E56-B5C1-C24462167E1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5530ca1da05ba32555a03dc6d79d3d58d0b94ff9","datavalue":{"value":"https://semanticscholar.org/paper/ce42f902724518bc2673a0d9bc03681098547490","type":"string"},"datatype":"url"},"type":"statement","id":"Q5477452$A435506C-0E34-4B63-BD48-E7E310512667","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477452$25D4BA7E-F334-457D-AAF1-2BCC022EB198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477452$3DC6D673-5273-4686-BC45-1799F9F0BC38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87052272b7105af9acbecad2bb15b36e1254dbb1","datavalue":{"value":"5038539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477452$2CBF66B3-081C-45F8-BAE9-3A9E393AC53A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477452$4E3395BF-8010-4FD3-BD84-16BC7932ACAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477452$603AF7E8-7B73-4E2F-8CDB-28873A6585B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d394c86b7d8ef8332daea6d7ddd37b143574182b","datavalue":{"value":"non-compact logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477452$C1D09C27-3C1C-4C35-8263-5AD79E359F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51dc15bfe3b9ef9eb3448ef8885126f944a1a461","datavalue":{"value":"infinitary proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477452$0B61A2E8-AD33-405E-A8F8-0FF3B30881BA","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":"Q5477452$785EE2D1-706E-46B0-9C07-647116CA7637","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3e554ab72738bc852298977962b934f33f47cb4","datavalue":{"value":"W2099783626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477452$706F5D77-4ABB-46C0-9305-759B7C18C868","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f40f321e6036cc9bad810af7ca74ddd76890d62","datavalue":{"value":"10.1093/LOGCOM/EXI086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477452$7BB1046F-2BE1-4D71-AE92-1F37642E9B1A","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":"Q5477452$0D8EA658-7DA6-4C3C-984B-BF877C69971B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e18215e6aaab067da7d24ea47c533fd8badc44","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1ac522990e7c3806c0cb817eb10a9cff085871b","datavalue":{"value":{"amount":"+0.94325614","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":"Q5477452$2061498F-B0D8-45EC-8526-4DEF7C138056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f2165ce857bc5b65fad7b4d24e48df2aadbf0c9","datavalue":{"value":{"entity-type":"item","numeric-id":4619876,"id":"Q4619876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"497096e98ce37c33d396737d2a94060ef7af3a53","datavalue":{"value":{"amount":"+0.9312821","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":"Q5477452$8BD52EE9-C4E2-4CDD-A42D-790EF69C166E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a7170831365a126dbdc69154a6e602f08c6e436","datavalue":{"value":{"entity-type":"item","numeric-id":4554399,"id":"Q4554399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d6374a5bbbb48ae0f575803ceb509696c4a84d","datavalue":{"value":{"amount":"+0.93040395","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":"Q5477452$D8A7A4FC-7162-4432-8462-76E5D3AB022A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45359ae6083f3706fd89c44f27c724ff75f0f39a","datavalue":{"value":{"entity-type":"item","numeric-id":5488610,"id":"Q5488610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58f548cf9c9164c34194e11198cde570a56b20ed","datavalue":{"value":{"amount":"+0.90684325","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":"Q5477452$8A773CCC-5536-4EC3-A6F7-90F79E25CE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b3891b9c7c32221e211cea885ee21076efc3bf","datavalue":{"value":{"entity-type":"item","numeric-id":2506826,"id":"Q2506826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c7cc454abe85ed6ab6b052295a7cf2bbed1f23","datavalue":{"value":{"amount":"+0.90467983","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":"Q5477452$A04A59ED-01C2-42CA-9423-992DAF2EBCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c0143e76e5ce42fd14529ad18ba017483153dc","datavalue":{"value":{"entity-type":"item","numeric-id":2811588,"id":"Q2811588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0019848764affe67768e569b1ee14db44470b379","datavalue":{"value":{"amount":"+0.90464437","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":"Q5477452$49AE58E3-4558-4C7F-9521-8E4A37B3FEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55cbf21ca5940dcd4e12af4280665dab6786d71f","datavalue":{"value":{"entity-type":"item","numeric-id":3452675,"id":"Q3452675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a279c3e4ad173c0d78e86f6a6cdd4c335cb69c8","datavalue":{"value":{"amount":"+0.90462923","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":"Q5477452$B607879A-9DB1-4C1C-B6BB-43947453E258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9189da144acaeda7dee843f03de24bc3a4a9fab4","datavalue":{"value":{"entity-type":"item","numeric-id":4639914,"id":"Q4639914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cefb22c6f42ce09ee42c186dfe09e58148f76553","datavalue":{"value":{"amount":"+0.90184677","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":"Q5477452$3B4BFAA2-C10B-446C-A847-97D3192E1862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae0ce4fe78c09913d431bbf88e272565f3b5e11","datavalue":{"value":{"entity-type":"item","numeric-id":5697717,"id":"Q5697717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96784b496d8fe403c5fe8c296b511a2fda58487b","datavalue":{"value":{"amount":"+0.8967296","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":"Q5477452$48738D23-7866-41A2-B543-B539827F4DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcb3e52d9eba4ead76fc3d38f26751372998aa37","datavalue":{"value":{"entity-type":"item","numeric-id":1653651,"id":"Q1653651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c67e7f0412c9259cb89a8e67252ee46dbce3c9b6","datavalue":{"value":{"amount":"+0.8963702","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":"Q5477452$896D2C03-BD46-483E-A967-DD02A4D4E12E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hybrid Logics with Infinitary Proof Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hybrid_Logics_with_Infinitary_Proof_Systems"}}}}}