{"entities":{"Q7227930":{"pageid":24469139,"ns":120,"title":"Item:Q7227930","lastrevid":84467723,"modified":"2026-05-18T13:00:03Z","type":"item","id":"Q7227930","labels":{"en":{"language":"en","value":"A hypersequent solution to the inferentialist problem of modality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8184732"}},"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":"Q7227930$56EEF578-2B45-407D-A4C4-AF286C22BA91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd7e7007db8d467c1f1ec26a53a91a70af3f0b7e","datavalue":{"value":{"text":"A hypersequent solution to the inferentialist problem of modality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7227930$23203B53-E428-4119-ABAD-A8247A65FE8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae135dd952b8fb6cffb587d5b0965d524928e467","datavalue":{"value":"10.1007/S10670-020-00264-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7227930$EEC0790D-03F4-4707-8001-A6E0EA1744B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29f1614b15d549175b7b1e6b71e535b9e950e606","datavalue":{"value":{"entity-type":"item","numeric-id":2054006,"id":"Q2054006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$6B38F4E8-13FA-4507-B4DD-5A26D36B2716","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f250921565a0fac08712ded5da7371b9cfcccefe","datavalue":{"value":{"entity-type":"item","numeric-id":175260,"id":"Q175260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$F81E46C8-74D3-4E3B-955A-6A52AECB9162","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0775b8f0ed650c41e34614c4867abc8ad18d4885","datavalue":{"value":{"time":"+2026-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7227930$BF4F2D5D-06BE-4097-8625-30C408B2FA5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7227930$522CA60E-491E-4672-AA63-1786A6CFBD23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63200dc41856babcd5e9d1af1fc63c8a12e0275b","datavalue":{"value":"8184732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7227930$FCC31750-A79C-48AC-A7ED-B60E65CC46A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7227930$997D2317-23CA-4124-8B92-0BDFFFC44B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"016192ac99d609c639c449e6374ba2f40428c9c8","datavalue":{"value":"inferentialism","type":"string"},"datatype":"string"},"type":"statement","id":"Q7227930$0672C64A-3D4C-4E42-9023-45C5BF9E86BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9429c31f4d94616162aba961d8f1bfe6fc6a7665","datavalue":{"value":"hypersequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q7227930$49B359ED-F498-4BFD-8704-79D375E949F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e2f3c83e09c9c8d1bc74f1fd5e3e404ed311b80","datavalue":{"value":"unique characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q7227930$B7084ABF-90D2-498C-B385-4DBE57291A28","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":"Q7227930$81B64D93-C950-4347-9EF4-F0F34057BE6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$96E6038F-01D2-4B1D-9B0A-D5A55932E2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$5EA93D22-D56E-4A38-A9D7-1992CD7B032A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f580077c20a971d5f9bd8188096db37f21f37730","datavalue":{"value":{"entity-type":"item","numeric-id":5187258,"id":"Q5187258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$8B7C9F2D-D89E-4A66-B330-809F7095D013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$BD18499B-B134-4DF3-9819-BB2E755DD622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"503fac1a5c522f05539c4665bfc22d344b2ac891","datavalue":{"value":{"entity-type":"item","numeric-id":3093482,"id":"Q3093482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$E5E89B2F-753C-42D4-903F-D56EE01CD1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd57c109f4d4a2d4c648d7d2848b92c10d674c71","datavalue":{"value":{"entity-type":"item","numeric-id":5823282,"id":"Q5823282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$1E3C93FA-9302-46AA-9AC4-8889C80846E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c666e3fcf0629d0f49377167cb83d1390f2a022f","datavalue":{"value":{"entity-type":"item","numeric-id":2543317,"id":"Q2543317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$0552E83E-D2E6-416B-8166-F399AB3F6A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$CDE22911-8343-4BFC-88E4-929EF37195B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b193fe960fc7f19e24d6d068b46e526b1b801aa","datavalue":{"value":{"entity-type":"item","numeric-id":3247119,"id":"Q3247119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$E984EA37-BF1E-4B7A-9661-D5193C90C59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e937235437828fd90111b19ee3ad3ae6f098959c","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$C4A4744E-4AE6-4DF4-8513-BE24AF946DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5396675c233e52b8c02a15330c24f234a93204a","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$B2D846F8-5802-48D6-9584-F99F3E774A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d33dca22b26d8ad3a16d3e39a17e8d044720515","datavalue":{"value":{"entity-type":"item","numeric-id":5457387,"id":"Q5457387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$BCA94A64-5A3A-4C1B-84C2-84604EF87EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b14f2229475ed79b2733027c94f0c357925661d","datavalue":{"value":{"entity-type":"item","numeric-id":1037601,"id":"Q1037601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$4FF9B45B-FF9A-49C2-8234-8234B914512C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee123a43031c6c65df62c46682a1f9d215679b43","datavalue":{"value":{"entity-type":"item","numeric-id":450956,"id":"Q450956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$1026D339-0DD7-45C9-B1BE-820B081DAAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$9196F0B9-82BC-46C5-878A-A8313BCBC50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842dba95cd5c60b1b39652daa3ab7e276b1afb96","datavalue":{"value":{"entity-type":"item","numeric-id":4032549,"id":"Q4032549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$E4239195-6B81-47AE-92BC-3FE50462308A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a957d5b1f6b5134a834504683b7f5429cb6cb96d","datavalue":{"value":{"entity-type":"item","numeric-id":4296507,"id":"Q4296507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$C20D8C91-C837-47D8-86E8-0D71DAF8BAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5d9f817fddb6c6e790685c8ac875537be8458e","datavalue":{"value":{"entity-type":"item","numeric-id":1817696,"id":"Q1817696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227930$C7D69776-79EC-4E86-A61D-654434D2A81E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A hypersequent solution to the inferentialist problem of modality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_hypersequent_solution_to_the_inferentialist_problem_of_modality"}}}}}