{"entities":{"Q1412840":{"pageid":1423580,"ns":120,"title":"Item:Q1412840","lastrevid":48201703,"modified":"2026-01-03T22:58:47Z","type":"item","id":"Q1412840","labels":{"en":{"language":"en","value":"Repairing the interpolation theorem in quantified modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2009290"}},"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":"Q1412840$3BD2F994-E584-448B-B659-FA5F3AF9B323","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"220ceceb3e4816eb6e8fca4a2f049a1af9f1b086","datavalue":{"value":{"text":"Repairing the interpolation theorem in quantified modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1412840$BB1A8097-0AE7-4C8F-9304-89311449A420","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c005518ff27b796cdbd215c415ef8356a89dbd4","datavalue":{"value":"1031.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412840$A9B876CC-2F94-4EF5-924A-0C70A330F70F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d0ebdc545e4cba6d53ca30ab09a0ebf2a8b9885","datavalue":{"value":"10.1016/S0168-0072(03)00059-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412840$D753C146-6561-43EA-B8B0-246F315D8EBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef4e411daa48c61f34c5e5041ae1e9c70ed42c","datavalue":{"value":{"entity-type":"item","numeric-id":190282,"id":"Q190282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412840$86E8F628-87CD-446F-BF42-33718EFC117C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c046feff833ce0e6e8bb6d52d7ce260056affd","datavalue":{"value":{"entity-type":"item","numeric-id":209482,"id":"Q209482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412840$AFCCE0A9-25CE-485E-9227-A3F7F3F1FAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda46022a2dfa23ca54f42f27aec1d9c70ca91fd","datavalue":{"value":{"entity-type":"item","numeric-id":190281,"id":"Q190281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412840$832246C7-4434-4C41-850E-284C4CF5ACF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412840$0042C66F-D5E4-4678-B6D3-E16E73E88E63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2027a5844a08629c82b420a166b4f5c31271f073","datavalue":{"value":{"time":"+2003-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1412840$A4EEB6D6-81BB-4489-96DC-8E1D76805601","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412840$FC6C3B07-E9F4-45AE-A78A-2A63DABC9EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412840$DF9CB899-3429-4F90-BC28-A7B59DA1F15D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c2a5bc28fa5f7483cfa41853c00817eea12eafb","datavalue":{"value":"2009290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412840$CA641641-A03D-4741-B3AC-DDB67520408D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f3792c0c158e83f9ff1dcf85b246c4cabfa8d4e","datavalue":{"value":"Quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1412840$DF0CCC98-32FB-4038-B8F5-0F75B4B81002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baf7dc711744565c9ff215793edcdc970418a162","datavalue":{"value":"Quantified hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1412840$F333FDCF-8A0D-47BE-94C1-8CB4D75FAC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bbbe7bc66237cacb333ede2aa11e8e9f294b0fa","datavalue":{"value":"Interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1412840$E17754F1-A490-4923-BD90-F35FEE30B8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1590e38ae8c30686985dea5df5468304347d1ba","datavalue":{"value":"Beth definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1412840$2744F4D0-D78B-46E0-A0E4-89AEA7648F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9709b276436f4067518aae04c936f0f5a429052e","datavalue":{"value":"Bounded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1412840$10815D4B-825C-40E6-B1B3-C613A09CF332","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":"Q1412840$00AAF497-C31A-4F16-B431-7C78B585F78B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d66d404e5da3fde5e9ac42bd95e64df866e0f54","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412840$03C8F191-770E-4381-9A91-A6226A2EA9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412840$6D48E9E8-66DC-40A5-BB09-2E5A4A660C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30da8c2de419db8eadc2bb3e1de8c4f80cf93487","datavalue":{"value":{"entity-type":"item","numeric-id":1909610,"id":"Q1909610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412840$9BF06169-EDFA-4381-B48A-04999B5E1BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412840$EF860ED9-5832-45DE-8D94-47414842B110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b15e27b7e5af70550b443271dfae1b5faaf5c02","datavalue":{"value":{"entity-type":"item","numeric-id":3050398,"id":"Q3050398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412840$F8790F3D-B916-4F58-A9B0-EB9211CDBE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4498e5430e9795cf211a60907b39ad3b167259de","datavalue":{"value":{"entity-type":"item","numeric-id":3149986,"id":"Q3149986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412840$691FF960-5BB4-4EBA-A171-2D1DBB310C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412840$BC13D2B4-6E3D-46BA-AAA8-F2A98346FC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5fe7a89f7f67f2bcf836fe38b4eb4e332645b1","datavalue":{"value":{"entity-type":"item","numeric-id":1919987,"id":"Q1919987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412840$471399D7-04E3-43FF-8C8E-C6AA001CA09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e14cfc361f0a1b92d8539c762fe0b3ad4c1609","datavalue":{"value":{"entity-type":"item","numeric-id":809068,"id":"Q809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412840$6E04D0CE-E67A-47D0-B0CE-A1DC8F925F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412840$BAE3780C-709F-4C32-B85C-8628BE98D7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412840$81CD5F64-4B47-4DCF-B83D-82F6B0E231D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ea62e7fef12999c3d1e9fad7d5473df9067dea2","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(03)00059-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1412840$2311C94C-76A9-4C9C-8E9F-3C4358EA9B4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f49d3fd7613a4200f344f0abcb58ccd68fc7031","datavalue":{"value":"W2088302563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412840$85C0E1F4-A369-4C5B-99B3-A1A86D3B4868","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128e9b1f7c13d34d8ee20637af16cccb2306ed42","datavalue":{"value":{"entity-type":"item","numeric-id":3160549,"id":"Q3160549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a54e7febe4771b90744fd07b71d8421e64cb3bc","datavalue":{"value":{"amount":"+0.8193152546882629","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":"Q1412840$778EB042-3096-4DFA-B2E2-61FBBB0ED562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01cbb8867661bd9b972deef99da8a79a25f2d06f","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3edec56c49f56d69fd94e7402ae6d305982d2ab3","datavalue":{"value":{"amount":"+0.7932223677635193","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":"Q1412840$33691453-3C1B-409B-8248-85BE6FA6D534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe333a25dd49cf0ce35c8fde9b5b3b9da044cac","datavalue":{"value":{"entity-type":"item","numeric-id":4354884,"id":"Q4354884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8648b46f5367ee24250a9c4f5bb3cee14706077","datavalue":{"value":{"amount":"+0.7612118124961853","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":"Q1412840$054A2A58-DC20-4A3E-A333-F2904DCB9E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a66723d39af21b716aa0696f74d721ec8b3a83","datavalue":{"value":{"entity-type":"item","numeric-id":878154,"id":"Q878154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8648b46f5367ee24250a9c4f5bb3cee14706077","datavalue":{"value":{"amount":"+0.7612118124961853","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":"Q1412840$FFFB518C-C8A4-49A2-B52F-3BB61E8EA336","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":"572992950717564f82bffa11221c204c67fa37a0","datavalue":{"value":{"amount":"+0.7516645193099976","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":"Q1412840$16E1AD27-9651-45DB-A1AB-32782942342F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1412840","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1412840"}}}}}