{"entities":{"Q1712936":{"pageid":1723677,"ns":120,"title":"Item:Q1712936","lastrevid":56786925,"modified":"2026-03-23T14:40:55Z","type":"item","id":"Q1712936","labels":{"en":{"language":"en","value":"Uniform interpolation and sequent calculi in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7006132"}},"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":"Q1712936$790E3911-8C0A-4C0D-BE59-A7431D4C4849","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"694fd3d380dd37c892f2e97fd7941ba2a7d80067","datavalue":{"value":{"text":"Uniform interpolation and sequent calculi in modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1712936$5F9FB05A-2B65-4900-8E97-37CC5D4E2E96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e326b781d7ea9722bb167cc0ed9408436c2cad0b","datavalue":{"value":{"entity-type":"item","numeric-id":234719,"id":"Q234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712936$D4585993-79C9-4536-AE94-15DA3973FA2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712936$9DE63F72-CB5D-4D74-9751-584A12B6B41A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd39a34925a9d3eaa0799a6ae0cd2538d190ed0d","datavalue":{"value":{"time":"+2019-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1712936$E085D213-389F-4C76-8DBB-DEDA7B80963C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712936$DDCDF048-526A-478A-BC49-4861604C5628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712936$4EF6258F-4481-421E-B4BC-52DE03866507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712936$04F5D0FE-5238-4D6E-A17F-6DB569E393B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ccd2b5de944fcc93ab452d5f3da2366e6164c23","datavalue":{"value":"7006132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712936$C2517E72-E1A3-4114-A7D7-41DF9B9CC50C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066345834ce35a3f9005e468be9585e6c3822e2c","datavalue":{"value":"uniform interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712936$41B8D09C-F9C3-4B16-ADF6-C6E3D0A8C015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712936$88891BC2-C386-4569-B1B6-0A77E351F578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712936$1D2A5011-23EC-4066-BEFB-F6DE5D6A77C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe5fd4ad4b27a13cd8f0190c4e682a5deba6409","datavalue":{"value":"propositional quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712936$90482BEF-1E52-425B-81BC-5053057C7E6F","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":"Q1712936$50F89907-EE68-4B6B-82C8-01442EA802A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d8bc7cdea11b35c324d496593ff1a6045e632fe","datavalue":{"value":"https://doi.org/10.1007/s00153-018-0629-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1712936$F7EC8621-1DA5-4B51-8CE1-354083FAC8C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f4ae63c601e34af51eab66d35468c8f8b065825","datavalue":{"value":"W3008129210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712936$68FADD92-50E5-4B8C-A011-DBE0DD7F4E5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d08e6067b59bb61a8cf9444d0c163829dae753","datavalue":{"value":{"entity-type":"item","numeric-id":878154,"id":"Q878154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712936$7228C182-B013-4C77-AD15-2A9BFD9BBEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712936$7F8EBF78-C605-40A4-856C-2F363CF5EF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee824d2e0910e556fcc580e2b02e6de025931f8","datavalue":{"value":{"entity-type":"item","numeric-id":1902553,"id":"Q1902553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712936$AC3856BE-3041-4CF4-8988-24C7A6618BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79205307b2e374114a851fdf52f3d5af953392ec","datavalue":{"value":{"entity-type":"item","numeric-id":1405891,"id":"Q1405891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712936$5872D0F9-D785-459A-9ABF-3F96271F218D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa98592016b26fa67b4b929ee89a172a4ba385cb","datavalue":{"value":{"entity-type":"item","numeric-id":4187817,"id":"Q4187817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712936$A75EF422-D094-4F59-9D36-7823F0682C53","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":"Q1712936$57070D36-E1E6-4F81-9AE0-4D0759613A35","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":"Q1712936$40AEE945-A985-4371-83E2-94777C9EEBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712936$DEE91F6D-82FF-4089-A5F6-0D57E19B69A5","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":"Q1712936$6E9363A0-ED2F-4929-A030-12DC85B69DBE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1940fa20f915ed3f88b6ef79c6f6d761fe84c805","datavalue":{"value":"Q129828555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712936$9E0B488D-4363-4A23-AB67-C4FA38A9807C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f779c014a9c6c5c4785a80670c4f8dd298307516","datavalue":{"value":"10.1007/S00153-018-0629-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712936$A4A8DA3A-7FB9-4F86-AC5C-82F84B45DA30","rank":"normal"}],"P1643":[{"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":"7c06c1aa06a7b81e8e1ce4db3fdf18f63e7b4d63","datavalue":{"value":{"amount":"+0.9669293","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":"Q1712936$DD62B39D-5F51-4B6A-9898-22A49BB4F8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5ccf9167a3b69b4b9c7bc56a8345a9d325cfad","datavalue":{"value":{"entity-type":"item","numeric-id":4580217,"id":"Q4580217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9401fd998c5736e76d925c53dfffcb53858e7f85","datavalue":{"value":{"amount":"+0.95472443","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":"Q1712936$BE992D69-23D9-48D0-8228-09613D9DBCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62288425515a0b032fffdff25637cd90310c3e2d","datavalue":{"value":{"entity-type":"item","numeric-id":3532469,"id":"Q3532469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359bf83e1bce88b02302c5a7f3857cc3f0670bed","datavalue":{"value":{"amount":"+0.95362484","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":"Q1712936$C3636CAC-77B4-40F7-8BCC-20A451630906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04225f4473bb0d2061fc7a79e5131680e65f419a","datavalue":{"value":{"entity-type":"item","numeric-id":2904063,"id":"Q2904063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d9e38cd4f9f667f0f9e65e3c57156f050f33eac","datavalue":{"value":{"amount":"+0.9478545","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":"Q1712936$68DCAB78-5324-44BD-B1D6-AE371A478152","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":"ef06dec6d8802cec736372d2c7248567795f1d5c","datavalue":{"value":{"amount":"+0.94168365","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":"Q1712936$47D6523F-9F74-4D6E-AE5F-D64078C10E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12cc7025f751df15f9ad5bdf9f063cb1a1245751","datavalue":{"value":{"entity-type":"item","numeric-id":781510,"id":"Q781510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"849101c74379eabf7e94386c756e2a9a12612c5b","datavalue":{"value":{"amount":"+0.9379883","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":"Q1712936$158142AF-C49B-478B-B6C1-1D07355DD7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b5b88263e4f4f2bd56a9fe779325a5d8fcc5d4","datavalue":{"value":{"entity-type":"item","numeric-id":2940884,"id":"Q2940884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8fe7e207095f5886a919ee05d918554cc8fb460","datavalue":{"value":{"amount":"+0.9339217","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":"Q1712936$DD511FBB-882B-4A3D-B86B-4A671761B271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617638d35f0c4079e913d6ccc943f1795d69b14b","datavalue":{"value":{"entity-type":"item","numeric-id":2142087,"id":"Q2142087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f01f78da8fd45686dd3bbe1fbb9f0efb34ef5e","datavalue":{"value":{"amount":"+0.9310774","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":"Q1712936$68E95F24-BD4E-4372-8BF2-D085276BCB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91240a69adf266f22612679fce0b8310fc5de142","datavalue":{"value":{"entity-type":"item","numeric-id":4215595,"id":"Q4215595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5738b36a05c9c0a9218072bbdb0c6190e7e06bb8","datavalue":{"value":{"amount":"+0.929591","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":"Q1712936$34BB04CF-4E42-4D8D-92B4-0AB3E94AE78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32687f724bc5415458db288bb9a3420ec88dbd7d","datavalue":{"value":{"entity-type":"item","numeric-id":2326416,"id":"Q2326416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1cfb38811a085c25b49f277d58cc8d8ad0a8a12","datavalue":{"value":{"amount":"+0.9290788","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":"Q1712936$07B163F4-72D3-40D4-8463-493888DAF34C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712936$92B8CB14-B2E4-43C2-BD6F-560D935EE732","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1712936","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1712936"}}}}}