{"entities":{"Q6357911":{"pageid":13492271,"ns":120,"title":"Item:Q6357911","lastrevid":42176215,"modified":"2025-05-27T11:12:15Z","type":"item","id":"Q6357911","labels":{"en":{"language":"en","value":"On inclusions between quantified provability logics"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6357911$75037AC7-6624-4BAC-B2E6-FDA42EBA6411","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36616a3d97da646a08d30d5b64a2fff0c082cbe9","datavalue":{"value":{"time":"+2021-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6357911$29E4658C-2387-4634-800B-C537A6012BD3","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"955b59b76182edbbf84095ca23d6f809d5051589","datavalue":{"value":"2101.03384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6357911$B103F4E4-5CB9-4FB4-8DE2-A08BE4AF9E03","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6357911$03EC3C9C-F0B0-4827-993C-ED6F7513E25A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"128c2b12d65261607bd53a5a5505e34270780d7e","datavalue":{"value":{"entity-type":"item","numeric-id":312495,"id":"Q312495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6357911$6E0B8D54-2AB8-4F12-BB4D-DE53A987C4A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6357911$AF3E0B2E-D587-4D22-B7FE-B840AB8F1AE5","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":"Q6357911$585FD06E-F0B8-4B62-A19B-476FE0B4322A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8981b97802aab35718230bfcefb064fa4a3fc6b3","datavalue":{"value":"10.1007/S11225-021-09957-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6357911$866BEBA2-5ABF-4DF0-96DB-D5C8B5D724DD","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"9878de4f42d6a7d3d0e5aa56c40e580c60da0108","datavalue":{"value":{"entity-type":"item","numeric-id":2115286,"id":"Q2115286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6357911$FE2912FA-9BF6-489B-A888-43E36E20AA1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6357911","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6357911"}}}}}