{"entities":{"Q2115286":{"pageid":2126029,"ns":120,"title":"Item:Q2115286","lastrevid":71364489,"modified":"2026-04-13T21:45:49Z","type":"item","id":"Q2115286","labels":{"en":{"language":"en","value":"On inclusions between quantified provability logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7490470"}},"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":"Q2115286$69F276FB-0B87-4491-B3FD-AF194F114700","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c693b3aa075bb390625fa44361696fd4316b357","datavalue":{"value":{"text":"On inclusions between quantified provability logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2115286$C1332A31-A4E7-4D8E-9989-156EBD9309A4","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":"Q2115286$0299B251-7308-4BC2-85F9-EE8812C3707D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115286$0771A323-AF07-4C75-8980-388C9A18C4B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1470e37d0b940c5d9b54c63ce5027a99aca98db7","datavalue":{"value":{"time":"+2022-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2115286$AE7F0153-FE55-4B7A-9238-942569B70948","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3bb69d12719901ca129938d069ae7c025065b8b7","datavalue":{"value":"https://arxiv.org/abs/2101.03384","type":"string"},"datatype":"url"},"type":"statement","id":"Q2115286$7F3FEC0A-0E5F-4656-B405-F8E1522D9A7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2115286$5DB00041-4169-4115-ABB3-6DBA8AAD3240","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8317467d4767b1b636ffa80dc364f6d89e6493b4","datavalue":{"value":"7490470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2115286$81A7A861-DAD1-4F05-B0A1-4B09569309FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4567697abe74c161b4e33fbba014195e137404e","datavalue":{"value":"quantified provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2115286$3E588951-D2F4-4631-92A6-90DDBB358F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7a96cc9b63b7e1482d84f68a0d60ebea610fee","datavalue":{"value":"arithmetical interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2115286$392FA0E2-D495-4D53-80C6-EF692C96ACAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7860dc4649ece5edbaf3ab0241f5ac5af590f6b","datavalue":{"value":"formalized arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2115286$FBF6CF86-ADDC-4857-A5ED-EA2F423F4833","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":"Q2115286$53ED6943-5172-4472-B845-FE13FD48F4D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e1780cfe213e2fde717d7ac1735451715577d60","datavalue":{"value":"W3186695644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2115286$9E543261-CB08-464F-9F75-4DA281E2A842","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1dc29a616caa84b30cae63969ab9c2b9741853","datavalue":{"value":{"entity-type":"item","numeric-id":4732443,"id":"Q4732443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115286$216E244A-A584-4231-90E4-B88BC596C734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115286$879B2CC6-E8D3-462B-A736-F5B7951ED82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115286$E5940689-D0AC-42E0-B86F-498D43B1D126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115286$711FDA71-D4F4-40DA-B24F-4D3744AA5EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115286$4B8007FC-7893-4B40-A8A9-EB73B2476AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6ebf27c05ea7fb08e6180cf24f5d8e2bdf2041","datavalue":{"value":{"entity-type":"item","numeric-id":4918381,"id":"Q4918381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115286$77AF1C26-C6F5-448E-B701-F035900CE26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34dd92b6b07b794caac69eb70780423193822dd5","datavalue":{"value":{"entity-type":"item","numeric-id":377475,"id":"Q377475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115286$4765B392-FC7F-4245-8377-52AAC62A99A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51efbc255eadeebcdc6f6583f400974101736494","datavalue":{"value":{"entity-type":"item","numeric-id":3726109,"id":"Q3726109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115286$6FF94EB2-656C-44A4-81F5-542DBB9983E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba3659de23929a44a1642cbbbc4ab273698ed56","datavalue":{"value":{"entity-type":"item","numeric-id":4437331,"id":"Q4437331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115286$252E4EA5-F778-4176-AC94-4CE93A19F890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed62b11fa5ca9bc652f9dc5559868ec0fc881d75","datavalue":{"value":{"entity-type":"item","numeric-id":800346,"id":"Q800346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115286$F0387C07-B979-4EA4-BD7E-7856C3E11ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115286$583A577D-FCE5-4B05-AC4F-B0B0904BFEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7bf5fb6d0b1e7c672741e0cf2ec67ce93d26700","datavalue":{"value":{"entity-type":"item","numeric-id":798313,"id":"Q798313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115286$A179ED15-F02F-46C4-88F3-E407E5670111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0cf0f0361f6088836a7c4b387112946d3604b02","datavalue":{"value":{"entity-type":"item","numeric-id":2501168,"id":"Q2501168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115286$CB29DE73-37B7-4D46-A908-03FA03784F75","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":"Q2115286$FE125C8C-F1F4-4C56-9D5A-1258438A9A80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92bb06fe855bce19479d9b431caa37291ef90a74","datavalue":{"value":{"entity-type":"item","numeric-id":3757914,"id":"Q3757914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2573a533bfddec97f1093ec42d8cabbbdad47ec5","datavalue":{"value":{"amount":"+0.7492576241493225","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":"Q2115286$ED48407B-6E0B-4CB9-9875-BBCAA2101EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7a868cd2603b131ad761af067f61d90fa9e26a","datavalue":{"value":{"entity-type":"item","numeric-id":4681896,"id":"Q4681896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e5c1a520fd064658532a4d2cd28938e6a4f400d","datavalue":{"value":{"amount":"+0.7490457892417908","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":"Q2115286$D08518C5-BA75-439C-BFAF-E30C438935CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3fbf5982db638db95cc5b8125ccaa399da4fae","datavalue":{"value":{"entity-type":"item","numeric-id":3352997,"id":"Q3352997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f67ac0516b0190af9a2d2cb86e202b97acbd37c","datavalue":{"value":{"amount":"+0.7485947608947754","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":"Q2115286$24DDDD51-8C41-4140-AC85-C213C4BCD192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0a198dbcd0f5e762a31f07682b48e6da4c9748","datavalue":{"value":{"entity-type":"item","numeric-id":5957922,"id":"Q5957922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8699220c651832ef63dbc0bbb39d5323e6babe05","datavalue":{"value":{"amount":"+0.7442243695259094","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":"Q2115286$8C0851EE-6713-4A38-9C32-EAFB16F00DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f1fee44838c339a66f757d4f72571bc5e5da10","datavalue":{"value":{"entity-type":"item","numeric-id":3824287,"id":"Q3824287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c53a97832f2f916f4303064d5a8486cf910fb7c","datavalue":{"value":{"amount":"+0.7430719137191772","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":"Q2115286$93646126-F3E4-47CD-88AA-F51535CE8B7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On inclusions between quantified provability logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_inclusions_between_quantified_provability_logics"}}}}}