{"entities":{"Q7034649":{"pageid":21710778,"ns":120,"title":"Item:Q7034649","lastrevid":77522918,"modified":"2026-05-04T15:43:36Z","type":"item","id":"Q7034649","labels":{"en":{"language":"en","value":"Labelled sequent calculi for inquisitive modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977464"}},"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":"Q7034649$2C837845-CEFB-4299-A735-AE7F5FFE7C53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43e85d7cfebf8d9e4307c70994389e4591324f07","datavalue":{"value":{"text":"Labelled sequent calculi for inquisitive modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034649$9BA4819A-CCAA-4698-8F1D-0CD889BB5D9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66c5dcdea4eca0c3406395caef91cb1f94e8391b","datavalue":{"value":"10.1007/978-3-031-62687-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034649$5F988142-DEE3-4CD9-BEFE-EC95D608E6E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3a0a58ca50f17f8ca367b24c39aa12dbffeeeef","datavalue":{"value":{"entity-type":"item","numeric-id":6967386,"id":"Q6967386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034649$C2B2ED30-ADA1-42A9-A101-DAAA3C1D363E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034649$8C51BF46-25B0-420D-A149-B6134ABF5694","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034649$65F9C4FB-3268-40B1-B622-5F71F0CED4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034649$E6D19890-0617-45CD-97E1-55DB6A1A3D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034649$249FC8F9-D4A0-48B4-9482-B137B2A1E660","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a94b7ce19c69d8755a0d56ecb086c98ee892cb4","datavalue":{"value":"7977464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034649$388423D0-C7E3-4B13-B744-D9FF65E46ECD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"849ed7d685aa3658c414f200e4b0625e2a7aabe3","datavalue":{"value":"inquisitive semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034649$55DB2BCA-58B6-444E-814F-385839E3758F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034649$715AA589-19EF-4C1F-8B23-BFCC461F0F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034649$C5176182-BA32-4C84-BA3A-29D19556AC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034649$8FBD076A-4A57-49BC-9970-504B186ED8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"418aa9467dade11737f711c082b5156d9159554b","datavalue":{"value":"doxastic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034649$BE798473-D652-49A9-AB8F-DFD48E60FB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034649$26AFA108-C853-4693-B0CD-8DE421A1F6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bd9c82e2289413df0455a94c9abb74bf80d116b","datavalue":{"value":"labelled sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034649$7508D66F-1225-45FE-9439-0709168B15B0","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":"Q7034649$6DE49EAF-C35A-442D-B4DA-61D5BFB2DC5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"156602cffa10f7d74798b6e0088885f6764630b0","datavalue":{"value":{"entity-type":"item","numeric-id":1679793,"id":"Q1679793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034649$D11A5994-F9FE-4DA8-A294-24BA51597CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa1ffec5ed32670057d12d6223519a61d2e8793","datavalue":{"value":{"entity-type":"item","numeric-id":4636287,"id":"Q4636287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034649$9CFCC68E-081F-4E3C-9853-D85E39AEA82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d610a175e1d5ec7434da154b57f1401dd6850e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4684343,"id":"Q4684343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034649$46006474-0769-4080-8E68-F2869E1B960F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d076a00e7e05acf060e26cec45043d829c9042","datavalue":{"value":{"entity-type":"item","numeric-id":514589,"id":"Q514589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034649$F3C4089A-7164-450D-821B-EE6F40016809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfb4c4094c0faea570d2638a776fc5bbcfdf698","datavalue":{"value":{"entity-type":"item","numeric-id":661286,"id":"Q661286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034649$1835CAB8-C330-4346-B341-109F99499959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b44dc579c51b3f7b4cdb86b7e3cffb721c41a5c","datavalue":{"value":{"entity-type":"item","numeric-id":2616497,"id":"Q2616497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034649$EAF4D8F8-32AC-4796-BDC1-B0EAFFFDD5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aec46b22e53f4331f3013bea7cba2db4c72385b0","datavalue":{"value":{"entity-type":"item","numeric-id":2619865,"id":"Q2619865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034649$238EC1C7-2D5B-4EC4-97B0-D27F9EC057FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268c2b1fc9f77cf31c475bf579a0df36bc5cf587","datavalue":{"value":{"entity-type":"item","numeric-id":1407600,"id":"Q1407600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034649$E7EA3E64-5634-45DC-89A6-0B94805F0B55","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":"Q7034649$5DCEB5CD-626E-4AB4-A101-EAE3E95100C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748541fc241d4158ed3d6e70e259512d4e8bf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034649$391FE60F-9200-4888-AB2A-F756BBBBA1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034649$15B3DB3A-D4FD-41EA-9658-BA95FF99F27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034649$E0E02BA2-D7F3-4B51-8ED9-760BD8F9B57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01b37f355bea1c73d76a56c76544f97c8cc9b3d","datavalue":{"value":{"entity-type":"item","numeric-id":278765,"id":"Q278765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034649$F728AB61-9299-4BAC-AA65-EAAC1E3D1361","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Labelled sequent calculi for inquisitive modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Labelled_sequent_calculi_for_inquisitive_modal_logics"}}}}}