{"entities":{"Q3534985":{"pageid":5564889,"ns":120,"title":"Item:Q3534985","lastrevid":49286425,"modified":"2026-01-06T22:01:06Z","type":"item","id":"Q3534985","labels":{"en":{"language":"en","value":"Interpolation and implicit definability in extensions of the provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5363906"}},"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":"Q3534985$541C05CC-A388-48C3-816E-73DF322955AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe34fa1b26030ad30dedec1d14ba397fd2b08366","datavalue":{"value":{"text":"Interpolation and implicit definability in extensions of the provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3534985$419C0B42-1ECD-454E-B994-32F5E4B21BE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78854dd07308d30a6e1e9c12d0101faf1e06b087","datavalue":{"value":"1159.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534985$81D943FC-E098-436A-8542-A77477AFDE9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98408106581919ed89b17b8ef3ded67add82fa7d","datavalue":{"value":"10.12775/LLP.2008.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534985$8B2022E3-8565-48FA-B87D-4F5815AA31E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534985$36A9FB9A-F7BB-4636-B4D5-D8FD3D37D49F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b95bf91147476ab26723f123a6ad0d60d5ec6214","datavalue":{"value":{"time":"+2008-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3534985$832A95BA-BB6A-4281-9080-2AEF47294A6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534985$31774087-FD51-4AED-9629-A04C1B9775B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534985$581AA908-F0D3-4E70-9514-8B926C512910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534985$7430F5B8-45D7-4378-A755-5C2B5DA5799F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534985$B0AFA013-7553-413E-B123-33BAF9FF2ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534985$5AD5ABAC-5EC4-4FCF-9DA1-A7A82E1971F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b689df0ebb4a1367656f7fe87688ff70056036d5","datavalue":{"value":"5363906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534985$513C395B-888A-41F5-AAAB-4B0334770E50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3534985$59372BCE-C7D4-43A6-A5D3-D57D75D8E572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3534985$A0BFBE6D-A973-49A1-85CA-CF51CE68C284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3534985$A72AC2BD-4437-44D8-BF51-EB08410F3452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffb4b171a5610cd6d287afc3582496be31122a9","datavalue":{"value":"Beth property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3534985$B782789C-BB2A-4933-A287-DDCAB4EA3DB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534985$61FB43F3-A3D9-4B59-B7D8-411B1D518D3F","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":"Q3534985$E3B7CC36-F82F-4A42-8CBA-C54EA918E662","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28518f8d0be7ab40a1c8307b20e756f5927a7f8d","datavalue":{"value":"https://doi.org/10.12775/llp.2008.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q3534985$0674401D-5448-47B4-86F6-415125CE04EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39a914663b8e94c74f5462ed6e586a29437a66b4","datavalue":{"value":"W1977536438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534985$76FA3E3C-94C4-4583-90B8-C20C8BE40BE3","rank":"normal"}],"P1643":[{"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":"75a1c5af315858379da53bee64f9ad578f5b3e57","datavalue":{"value":{"amount":"+0.9570205","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":"Q3534985$8711BD6A-F8FA-46A6-A2A2-441E7CD29C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97122732ce00d91cd8975e958d7eba3a51dfef49","datavalue":{"value":{"entity-type":"item","numeric-id":3409460,"id":"Q3409460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15ceeb3ef57c55eddbf43b9aaef36e62383b5ce6","datavalue":{"value":{"amount":"+0.9529112","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":"Q3534985$D9A85426-D325-45E1-BF10-D00AB7AC2AFA","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":"f81d1b96f12db3725c790778e560fc06e2ddbb10","datavalue":{"value":{"amount":"+0.95179915","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":"Q3534985$8830E82B-055A-49DA-9CD1-4D06886AEC70","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":"1b1cbd18e27954b8a3142f17894a55c4711dac91","datavalue":{"value":{"amount":"+0.9503545","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":"Q3534985$F3F2E11E-B166-4AFF-8521-C238DBEE1DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb0ce4c2b7174a712313f576a395b1b15683d03","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6317da96073005993347665526b69d2bd4dc263","datavalue":{"value":{"amount":"+0.9467694","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":"Q3534985$04C40598-8E5B-471A-92EE-DD29B38981E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbe6fa15f0e37252c4e855f3879a9ee382438164","datavalue":{"value":{"entity-type":"item","numeric-id":5232911,"id":"Q5232911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db812ed99d795e3f2b063a3e14e8cc03ec2d975","datavalue":{"value":{"amount":"+0.94316494","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":"Q3534985$D0516A37-FC76-4F73-B750-F625FE75FC13","rank":"normal"},{"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":"cad8438626630a9b8db0c55ccf8da4dc55a02587","datavalue":{"value":{"amount":"+0.94146955","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":"Q3534985$87D18A57-12C0-44E3-B80F-67E3390C88AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9a95a7a312638f6083a96031fa9cf55fb684d65","datavalue":{"value":{"entity-type":"item","numeric-id":4329232,"id":"Q4329232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99afe8cadb282f00bfc480e82dcb4006e044bde2","datavalue":{"value":{"amount":"+0.93834865","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":"Q3534985$12BB87E5-B266-47DD-974A-A9CFD808CB4E","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":"f53289a20c4adbb671365ca77e88b35c088d9e5b","datavalue":{"value":{"amount":"+0.93749034","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":"Q3534985$B7ECD8A1-90A0-4DCC-B328-DE972834D050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9a21d5540745de44be7c3237a72bafb409f4bac","datavalue":{"value":{"entity-type":"item","numeric-id":2498367,"id":"Q2498367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ece61616b849c225a43d31ba14d1c322a71f67d","datavalue":{"value":{"amount":"+0.9367352","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":"Q3534985$ECFD023E-72D6-4DAA-9BFA-CA788561529A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3534985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3534985"}}}}}