{"entities":{"Q2142094":{"pageid":2152837,"ns":120,"title":"Item:Q2142094","lastrevid":43592641,"modified":"2025-10-28T01:35:19Z","type":"item","id":"Q2142094","labels":{"en":{"language":"en","value":"Game semantics for constructive modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7532530"}},"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":"Q2142094$95553B5D-710B-4F12-A96D-B2BF4F11901D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e24204b192b396cc3ac5a30c9614ad0860d77f04","datavalue":{"value":{"text":"Game semantics for constructive modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2142094$61355C6C-1C47-4614-A499-2754D40CC83B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"917764266e2382d44ff1d63ebb57916685b9c17d","datavalue":{"value":"10.1007/978-3-030-86059-2_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142094$332C14C6-40F7-46DA-8E9A-E92412F7A363","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c9aa2ff69ec2d2223381d8fb0695d35b8713b52","datavalue":{"value":{"entity-type":"item","numeric-id":1799108,"id":"Q1799108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$5CFCE14E-CDD5-41E2-8225-4B4C027E2EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc5a589494bb179aefb15e4a71945b5b27310786","datavalue":{"value":{"entity-type":"item","numeric-id":2080587,"id":"Q2080587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$423D9E83-B7F7-40C1-A3B3-55EA40F8E4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$978C17D2-1A0D-4ECF-8E55-DEEE871D0B8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12ef1e2e38c147b52c379a6993b1283d5267f8ef","datavalue":{"value":{"time":"+2022-05-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":"Q2142094$B631B3EA-6B27-4697-BB76-0A292C1B9EEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af18816c747cc3c0426e89e6d4f19dc7b56d643e","datavalue":{"value":"https://hal.inria.fr/hal-03369819/file/Tableaux2021-Paper27.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2142094$536CC718-CAB2-45B9-AE7E-4B1BA393210A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142094$3B06EE40-85B4-47E2-BBBC-8046C1018434","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5871a8a5cd6a2fa51238927b99496977f53f3b22","datavalue":{"value":"7532530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142094$CC0F576E-8BCA-4BE4-AE63-DECD51A42724","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6111489034643139b6436054b44d6250e7c1756c","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$93305EE7-6230-4C2D-85AF-401EAA96AC95","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":"Q2142094$9CD78701-11C7-4B8D-A33D-9BCF268E8697","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84998f8e14e9e9dd3464ed84ef38708fd2db48c9","datavalue":{"value":"W3198184098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142094$960338EF-41F9-4A2D-B8E4-F1C8413964A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"402a1510f4538b361d4257c4f49fb58819ff03cf","datavalue":{"value":{"entity-type":"item","numeric-id":4490717,"id":"Q4490717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$9BC3C1D8-5B87-4A3A-9107-4EDF0A176CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f321a0fc908382b7af5ccbc5e8641c69656fbac1","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$BB222635-5166-410F-84A4-5AD21988C1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4182b5f6383fc33340dcc861083264d459bc405","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$89D33582-70AA-4A71-9DF9-0917668FFEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$55053456-7AF4-411F-9067-8E8C2C6BC77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bb526784b7bc0517d99805eff98b4a5f58f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$8F078A63-F718-4C9B-AA68-909E33F8A5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ccd04a729ca30586f885eaa3b38c5d2e609441","datavalue":{"value":{"entity-type":"item","numeric-id":5791647,"id":"Q5791647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$4A18FBD5-EDD0-4F8B-B79F-CA6408133EE2","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":"Q2142094$72E48A6B-D54E-4117-9ED2-4EE976112F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282f9cc7e49bbe23209bfdf62f3a2fd80d53357a","datavalue":{"value":{"entity-type":"item","numeric-id":5145273,"id":"Q5145273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$80B12E47-747D-4946-A19A-52EC4C798497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$398C2595-A517-466B-B613-BB50A9F5993B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f54af227afcdea8836a10655140ef9cb3fa0b80","datavalue":{"value":{"entity-type":"item","numeric-id":3498449,"id":"Q3498449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$C20EBDF7-4DB1-43F9-96B6-06623A03D747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f6bff68c8ebf66dfda0b239fbc2871c6c95c89","datavalue":{"value":{"entity-type":"item","numeric-id":4636304,"id":"Q4636304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$6C5346F2-C94F-483E-8E16-CF0991DA20BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269ff406370c325109d52f6c13685628097c8071","datavalue":{"value":{"entity-type":"item","numeric-id":1854351,"id":"Q1854351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$5E5CD431-1B14-4D4C-B43B-8F7DD04EB089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff6da9e2156b566dbe810f749f305e5238ecfa5f","datavalue":{"value":{"entity-type":"item","numeric-id":764259,"id":"Q764259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$7C6CF7E8-875B-4682-A07B-6F42EC891E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e35a3a05743b1cf395d00f1d531de0ad75c8e35","datavalue":{"value":{"entity-type":"item","numeric-id":2778832,"id":"Q2778832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$F6AD2314-1912-4CEA-A328-E11925656A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$90F9AEBF-D43A-4AB8-ADEF-3E0C80F50EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1bf82999819cf4b96ab775b70078b417517dbf","datavalue":{"value":{"entity-type":"item","numeric-id":4910421,"id":"Q4910421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$057D7B84-B2DE-4BD8-9646-56612F441EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$A1D9FFB9-0959-4D14-915C-F0F5D2207C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af91e47191d76d5f281ba7dfdfb14cf60c2e35e3","datavalue":{"value":{"entity-type":"item","numeric-id":1183584,"id":"Q1183584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142094$57D1F8A9-9FE3-44AC-8EC7-0574C3FEDAFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2142094","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2142094"}}}}}