{"entities":{"Q2133450":{"pageid":2144193,"ns":120,"title":"Item:Q2133450","lastrevid":57345912,"modified":"2026-03-30T14:18:20Z","type":"item","id":"Q2133450","labels":{"en":{"language":"en","value":"On interactive proof-search for constructive modal necessity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7516363"}},"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":"Q2133450$CCBB69D6-788E-4B22-9577-E8A408381BD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7898726a535c886fdfc13cd321113835c01ffcdc","datavalue":{"value":{"text":"On interactive proof-search for constructive modal necessity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2133450$C54764E6-1A77-450A-A11C-A8A88295827B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"617513ed20293f92b2f67987461eb17d18d83c6e","datavalue":{"value":{"entity-type":"item","numeric-id":2133447,"id":"Q2133447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133450$A6351B7A-ABC3-48D8-8E94-F8D4674928C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77349d7f7398c47e6d2065cd0d80588fae809ad3","datavalue":{"value":{"entity-type":"item","numeric-id":2133448,"id":"Q2133448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133450$5232620A-4D21-472B-A3F0-58548CFDD14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"803bea2a250aa044a568a4d507a15b39a3e843a0","datavalue":{"value":{"entity-type":"item","numeric-id":2133449,"id":"Q2133449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133450$FDCD227A-739C-48A9-9D51-AA198262E04B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c80bdea672e4cd14dd9cbe0c46e1f9abbfc09a66","datavalue":{"value":{"time":"+2022-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2133450$98FB51FA-2CB3-4AF4-A037-A0B56129271F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133450$BC103FC3-6558-4B03-834B-AC244FF581F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6436aa1a4c0d75fb7f768e5decab7b415225a7d3","datavalue":{"value":"7516363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133450$068B2496-B753-4D85-8E83-29F5A2603B71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46c32598835807cd6e68be410be57ffe1ac468b7","datavalue":{"value":"constructive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133450$ADB24B5E-4B4B-4BDB-955B-762A53F386E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8a9646b82dbeb50d8df2be83409261d3b2042d","datavalue":{"value":"proof-search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133450$10535127-C7B9-4EF1-A968-7B1612506F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b67bd83b9f347f8a9452e213742c50e4b1efec3","datavalue":{"value":"necessity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133450$DE3AFABC-D7CD-428D-8337-1C05026B931D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133450$8ED19965-489D-4D99-B5A9-C006BECD46BF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9f186ee06a1c6662c0e29f246cb39fd2300d9d39","datavalue":{"value":"Q113317260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133450$52D17F2E-4289-443B-928E-1669D18B978D","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":"Q2133450$87DEBB6A-D2DF-4F1D-AAF2-610E23F45711","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86ae4a3549128dabe202ae8dd739e7c0046da26c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2020.10.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2133450$E5D947C3-2BFF-46FD-B9B5-D02498044DCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fada172937964fa1e0e7a506d9117d0747c11dd5","datavalue":{"value":"W3082747210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133450$9034DB71-992E-432C-8749-4B0C9C732DB2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb0361cbbb1efef9e353a97f34ce0dd1e0e6ed6","datavalue":{"value":{"entity-type":"item","numeric-id":392988,"id":"Q392988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133450$F04B786F-F8AA-4DC9-A645-8BC977DC2EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8448c0105e91748355fbfe83c6a8ebfb33e3531","datavalue":{"value":{"entity-type":"item","numeric-id":1577344,"id":"Q1577344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133450$3280C91B-ACB5-48CD-AF9E-48BA60B63F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21b5fc9768857e194d5dbade52fddef9a2f39f33","datavalue":{"value":{"entity-type":"item","numeric-id":3623901,"id":"Q3623901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133450$53C82BDC-40C8-4BBD-9F5D-E6B2143EBC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e91f5b51b7f25d18220469de81a31167afba300f","datavalue":{"value":{"entity-type":"item","numeric-id":4525951,"id":"Q4525951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133450$27A9AB7D-08C2-41E1-91D7-06B3E750F8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8facf0d51be0f110356c413bcb4d3b0db305a8","datavalue":{"value":{"entity-type":"item","numeric-id":5231279,"id":"Q5231279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133450$9D7B7FDF-C7A7-42C7-A4AD-A16F197F592A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133450$8949888A-1DDA-4EF9-973B-8059EF6DB197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf8ba65b22cb108cd3fff432281939108477768","datavalue":{"value":{"entity-type":"item","numeric-id":383061,"id":"Q383061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133450$B16C6186-1D22-4D70-BF85-0C6F98FB56C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28cc7d677c1836b2fdeb46b0d31806635665be23","datavalue":{"value":{"entity-type":"item","numeric-id":3608769,"id":"Q3608769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133450$1528DCAD-81FA-4A5B-813D-18911A2A1538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d1c043035191d540c37555c23f0303b7675915","datavalue":{"value":{"entity-type":"item","numeric-id":3241192,"id":"Q3241192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133450$D9DA9279-1D0C-4D57-8C14-2DCF21827B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5769eff0a2ede6650e8ecb17abc74e30a6cc9dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4360856,"id":"Q4360856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133450$29337445-E329-4CC7-80AE-461A9A52343B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133450$961FDE58-A3E2-4F91-9CCA-B35426764F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989e30629b0a606961308315e1c7243e974dcc8d","datavalue":{"value":{"entity-type":"item","numeric-id":3406694,"id":"Q3406694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133450$7AA32658-A811-46A5-8583-5D4AD6220FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133450$B57FBA1A-8EE7-4A1C-B25F-645060DCAEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd91764eff76cc10b57d0382d5477793a8cf7f61","datavalue":{"value":{"entity-type":"item","numeric-id":4686519,"id":"Q4686519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133450$214D4C6E-CDDB-4918-BE1C-08BB8512EC81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2eaa9fade310b387e170a3085820488bd18392b","datavalue":{"value":"10.1016/J.ENTCS.2020.10.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133450$E1467E63-6262-4E28-B101-7C541A886350","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de095c6563f92afaf21fc9d690f9f222aa95733","datavalue":{"value":{"entity-type":"item","numeric-id":2938134,"id":"Q2938134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b35580a11d55a324f56555ac3f3a0a7fb7340cf","datavalue":{"value":{"amount":"+0.8708819","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":"Q2133450$9B64BD51-31FE-4661-B0B8-FD82F8420067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705f09eacb69a7f821a55d3261d13f15e59dd26d","datavalue":{"value":{"entity-type":"item","numeric-id":5688812,"id":"Q5688812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a40501021aea955ea057f535f7747188bbfa25","datavalue":{"value":{"amount":"+0.8705489","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":"Q2133450$B409E9CB-4470-4F5B-9A6F-031F925E1BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"971086f18ce8ecf62f3bf42e55d3a0f77adca487","datavalue":{"value":{"entity-type":"item","numeric-id":5203005,"id":"Q5203005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a769717c7a08ae5197384f17db88e65cca16f81d","datavalue":{"value":{"amount":"+0.8691236","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":"Q2133450$6D035873-A5F9-4F63-9117-4766F26F3690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e62a5ff29244dea5a3375bdd4f76c5f78c9395","datavalue":{"value":{"entity-type":"item","numeric-id":3749039,"id":"Q3749039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56623cbeb8c6d5928d27ef68961c3631ee17bde","datavalue":{"value":{"amount":"+0.86706614","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":"Q2133450$39E09FEB-362E-4136-A1A8-AAEFB2B6443F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0b4fb6948c8f54dc67ea16bd08a699892a658a","datavalue":{"value":{"entity-type":"item","numeric-id":3731573,"id":"Q3731573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56623cbeb8c6d5928d27ef68961c3631ee17bde","datavalue":{"value":{"amount":"+0.86706614","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":"Q2133450$0E03ADE1-49C2-4E61-9FB7-9509165C201A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee394c17548545b541404bacdb7612b41dcbd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":2349104,"id":"Q2349104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c2c54257fb9e1202e86a6773815fcc4e8e703a","datavalue":{"value":{"amount":"+0.8668108","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":"Q2133450$9ADAFDA4-00D7-478A-9955-F98A52F5A96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa2eca1729bedce32f244a4ef8fcd55294f7b64","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ad03dc4b0f0508fb7442743b15e8e1454bfcc0","datavalue":{"value":{"amount":"+0.86317426","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":"Q2133450$144C1F2C-05ED-443E-8FE4-D174B06FF893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947cf2b3827c32a9e7914d08a3cc48346aea130d","datavalue":{"value":{"entity-type":"item","numeric-id":2528923,"id":"Q2528923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e080050b6da86c1711a288186ef7c030ea47447e","datavalue":{"value":{"amount":"+0.8623252","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":"Q2133450$FD3058EC-AEF6-4609-98B2-BFFE2E861BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c920ed85419125dfdb595a601c3e525a0405742d","datavalue":{"value":{"entity-type":"item","numeric-id":4924965,"id":"Q4924965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"614ef4206bd8a5e92e6fe910fd9bd4415f9ed2d5","datavalue":{"value":{"amount":"+0.8621002","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":"Q2133450$6D932210-1A9D-484F-A6F5-19DE315760F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d1e708b2e469be7ec03df78ad98200a7c69af2","datavalue":{"value":{"entity-type":"item","numeric-id":636278,"id":"Q636278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab3ccedbbb584349142532784d37a651c065695","datavalue":{"value":{"amount":"+0.8608907","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":"Q2133450$19B3D7EA-FA08-472F-8372-62AEBAE60864","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":"Q2133450$B9119866-CF21-4FCF-9BEB-463B3641C689","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2133450","badges":[]}}}}}