{"entities":{"Q2510774":{"pageid":2521517,"ns":120,"title":"Item:Q2510774","lastrevid":73511796,"modified":"2026-04-14T16:16:54Z","type":"item","id":"Q2510774","labels":{"en":{"language":"en","value":"Interpolation properties for provability logics GL and GLP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6324486"}},"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":"Q2510774$3B8077A8-0F4B-4EDB-BF59-16DCF546155E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1a9b55c4b05a7e1c3e6d665c40222415e216967","datavalue":{"value":{"text":"Interpolation properties for provability logics GL and GLP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2510774$37FADA57-9204-479E-B15E-5A52B6E9C3BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02f7d6d61e01acf9834b638c2c60c6926069c308","datavalue":{"value":"1294.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510774$E67805A1-B7A2-49B4-AE86-130E11B04AC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6057bcfaebd5d61d22118cbdc06327e30572fb4f","datavalue":{"value":"10.1134/S0081543811060198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510774$85EE9FB3-5F9D-4EA3-87DE-7C08991F1DD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2545c44efdf44b760ece3b3a59fac112c3266fc","datavalue":{"value":{"entity-type":"item","numeric-id":1685936,"id":"Q1685936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510774$C4AA70C4-D89C-44B0-9A84-560158CF2F0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52ab463cca8ead400441fcc2b4fac1f6fbb55915","datavalue":{"value":{"entity-type":"item","numeric-id":251486,"id":"Q251486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510774$BB97D4BC-F251-4B49-84A9-2A2EA11F1697","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"686f5ff8c01ac348f9dff34f0e2ff55a4d09a386","datavalue":{"value":{"time":"+2014-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2510774$1D63FFA5-8A72-4A98-973A-40DFE1452DAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27b3ef19c81a014cdadb9917d343aad976e22271","datavalue":{"value":"https://arxiv.org/abs/1410.6652","type":"string"},"datatype":"url"},"type":"statement","id":"Q2510774$DDD395C3-C21F-4D64-BF97-F2BCB827FEF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510774$286B702D-5A00-4D77-AFDD-04636D7FDB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510774$D4010AA4-3DF5-40FD-96AC-5AD6C8F9886C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1778880c346d14776632683e2b0d9e338c79c58","datavalue":{"value":"6324486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510774$BCADBAFE-788B-4500-847A-505D7655D826","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":"Q2510774$51C477CF-5866-4BFD-8B68-F16B00C0A72F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa2a4e644bff5b8b5231520e7ca8c97f8fb8f19b","datavalue":{"value":{"entity-type":"item","numeric-id":636316,"id":"Q636316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510774$78CB0F9C-6454-4AAF-950F-72D3FB3CB5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b296164d3c0f8a07121a259f764f7ceb4a2e74","datavalue":{"value":{"entity-type":"item","numeric-id":2510758,"id":"Q2510758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510774$B0381330-C177-41B1-A12A-A32539CA8463","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":"Q2510774$23027AF8-7DCF-4C67-A9F2-8900C6F1BC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711e282bbd2865ebea7c8b287f5496055a3f9a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4953222,"id":"Q4953222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510774$D45F8731-87D1-4BC5-91F8-1DED3472CB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"336b3ce90c4deb9f6127a52a430d218ebd8c1f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4858826,"id":"Q4858826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510774$C0763E5B-254E-46C3-AA73-E3C2AEC03D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1eafc0ead9e3cdb6744350a20df7cc24c881f0","datavalue":{"value":{"entity-type":"item","numeric-id":5287692,"id":"Q5287692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510774$B2FF0FCA-B248-4F28-BF56-A752FC699115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510774$8F8C0088-C526-4C6A-8CB1-37F9B8F40E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b2fb5e74b72a9a204e563622b55fb87a335a4b","datavalue":{"value":{"entity-type":"item","numeric-id":4694581,"id":"Q4694581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510774$D9CAF3DC-0978-4A88-B502-58A2FC1EAD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec39c4ba48368fe55c340c99f72435d76d7465e0","datavalue":{"value":{"entity-type":"item","numeric-id":2433098,"id":"Q2433098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510774$5725D46D-DA03-4973-973B-FB5C82EAC92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08130677d950f0e9764f0a4bfbc64de21effa2bc","datavalue":{"value":{"entity-type":"item","numeric-id":4893140,"id":"Q4893140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510774$D5614905-A400-4066-B642-A9B407384C53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1a18e903041deaa1ec6c771a4f15e465a3d6a0e","datavalue":{"value":"W2008637522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510774$265A6FEA-612D-4C8E-AA6D-1F3EEEA31647","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f1fe78c2c6baba12108cf18fa92cfbf9929cfba","datavalue":{"value":{"entity-type":"item","numeric-id":647415,"id":"Q647415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e724d2aec0ddc81ed854c48621a17d04dc673db","datavalue":{"value":{"amount":"+0.948965","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":"Q2510774$AD9849BD-32C9-45CE-AECF-DFB08B08C549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d7e98ea691cd731ff332024b59eb4c51286d82","datavalue":{"value":{"entity-type":"item","numeric-id":922543,"id":"Q922543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e00f50a7546438d9700680b2fbf28c21253ec8","datavalue":{"value":{"amount":"+0.9480789","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":"Q2510774$4D6C4F0E-8DAD-4D88-B13A-06DA07E6FC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fda515df108299e64087c7d65192e21c2c5c8f2","datavalue":{"value":{"entity-type":"item","numeric-id":3534985,"id":"Q3534985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29d98df7a46949d7e5c33eb6c776f85aedd0cfe1","datavalue":{"value":{"amount":"+0.928138","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":"Q2510774$D1BB6B51-D7EF-4C60-B8C0-976E58AD0C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d36b5404b898fe62c53febb4672b0854595158c","datavalue":{"value":{"entity-type":"item","numeric-id":4729756,"id":"Q4729756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e803fc6c31d9b3c1a77cb440f0f4b2f49c2c4f","datavalue":{"value":{"amount":"+0.927347","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":"Q2510774$7CE30E57-5DD7-4486-AF1E-5702F41F806C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f89b535f861ae50dd992023025b885cfdcca1d","datavalue":{"value":{"entity-type":"item","numeric-id":584241,"id":"Q584241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08c32ea9e056b15e771c059744f6261e112c52f6","datavalue":{"value":{"amount":"+0.92391735","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":"Q2510774$82AE4C4F-E1CB-4F38-9872-B4CE636AEDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf44d1f82c6ce4667c0ac890c08bb4d0eec7d71","datavalue":{"value":{"entity-type":"item","numeric-id":5957915,"id":"Q5957915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37466ff47c4f132109fc413814243bb125d46f03","datavalue":{"value":{"amount":"+0.9228874","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":"Q2510774$8E522668-7B84-4D94-A2FA-08C999533A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a05e7bb6002d24a22c213565b2e37266e1ca258","datavalue":{"value":{"entity-type":"item","numeric-id":2097057,"id":"Q2097057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cc4cdae16e9c95ab123aa7e316fa2c0df1d76aa","datavalue":{"value":{"amount":"+0.91942644","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":"Q2510774$E8D059F2-F84E-4A60-8BA1-10FD3CDCDE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"252959f31a499c4b81f486e58c8ee7566ffe143f","datavalue":{"value":{"entity-type":"item","numeric-id":5224686,"id":"Q5224686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77cdd7b5940a709bf082e28e82723a64dac14ec9","datavalue":{"value":{"amount":"+0.9167891","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":"Q2510774$D936504D-5259-4A50-B14E-06F624FFA936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d63586cbec6a2dc4a917b3c0ae0b568d724bc7a","datavalue":{"value":{"entity-type":"item","numeric-id":3486539,"id":"Q3486539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6028d6c51318bad40847a09bc74810821304b2e1","datavalue":{"value":{"amount":"+0.9135963","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":"Q2510774$E1D9AE5C-9AFA-4B78-A211-A986816BC7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"441c58a0b5a77d5d2a5f3d6a67c35070c9065651","datavalue":{"value":{"entity-type":"item","numeric-id":688429,"id":"Q688429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c92afec4dc13abbf89ff63516136cf1c8150fca","datavalue":{"value":{"amount":"+0.91216236","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":"Q2510774$5ADBEB5C-85BF-4808-94CC-096249648430","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpolation properties for provability logics GL and GLP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpolation_properties_for_provability_logics_GL_and_GLP"}}}}}