{"entities":{"Q5351963":{"pageid":7381537,"ns":120,"title":"Item:Q5351963","lastrevid":58538436,"modified":"2026-04-05T16:03:13Z","type":"item","id":"Q5351963","labels":{"en":{"language":"en","value":"A Van Benthem Theorem for Modal Team Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767601"}},"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":"Q5351963$E6534AF5-EAF5-42AE-9234-AF33F298829D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee32f1cf30ba5c4035d1596207fbce1197a1ae28","datavalue":{"value":"1373.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351963$6B016C29-3FFF-49A7-99E9-DFF51874D9FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6c92a6d1e244ef6727f00b02d0236f9547dd35","datavalue":{"value":{"entity-type":"item","numeric-id":269505,"id":"Q269505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351963$9ECA0EA0-E55A-498A-AEEA-182D8F7D3643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4daf7c6efe756fb1ea9a850655089317a8cb7985","datavalue":{"value":{"entity-type":"item","numeric-id":2203579,"id":"Q2203579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351963$426E8970-CD03-40B3-9AF1-C6CC4955767B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbb5495cc401b544959cef7c53d33603f5c56b01","datavalue":{"value":{"entity-type":"item","numeric-id":319802,"id":"Q319802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351963$20452178-08AD-4CB2-90F7-653D69352538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ca8a4811cca52a248ccfd30baaf04c265f9ef0a","datavalue":{"value":{"entity-type":"item","numeric-id":208765,"id":"Q208765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351963$0CB6FDDD-B376-42D9-9165-EFFFCC00A26A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-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":"Q5351963$E9B11971-97FE-46FE-9A68-FC8ED07C37A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75b242ef9c5df3d9fa73052a7b0d7c982d7c2a6b","datavalue":{"value":"https://arxiv.org/abs/1410.6648","type":"string"},"datatype":"url"},"type":"statement","id":"Q5351963$39B18C9D-AA03-4944-A388-B23C9105A988","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351963$76C6DC4D-0B6E-44A7-80DC-A5C2DA21B4A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c431f5fcc1fb027b08afb268af549df57e27bb31","datavalue":{"value":"6767601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351963$C51667C1-BAA6-4BF7-AD95-A2DE831B549E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351963$B5D64154-87DD-4644-A95F-26045E482254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351963$59219382-5B73-4F96-B97D-E456B2472C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351963$DEC8B7AF-A219-4243-8135-90A41A560785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351963$DCF211C2-8400-4467-86CD-D8CF4A477963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351963$B00AB182-40C1-45A9-B5A1-6BD3A3021F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1a96ed6ffe2ea3d9e59077ea94ebf582551c14","datavalue":{"value":"independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351963$84634917-ACDA-4164-9B2F-1F910F36B7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6afbee5ed4d335f4b5bf59e0403717f9ce724883","datavalue":{"value":"inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351963$0C788794-101C-4E5E-BEC8-525CD2049924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdda1b8bc23ce085b2595d3b8b68a99baea356f0","datavalue":{"value":"generalized dependence atom","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351963$942B41C5-E9E6-40D4-9B06-D0AD96B64E04","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":"Q5351963$DED4AF54-300C-4D3D-B582-EBBC91E83B84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cced4d64b8175413d0a9fb0362001622d7d0bc82","datavalue":{"value":"W1765233549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351963$EA4A749B-BF8C-437E-92A2-3C53E72A15C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6295f10124c14050ef68e2b8261d8b99a4a29cc","datavalue":{"value":{"text":"A Van Benthem Theorem for Modal Team Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5351963$E5F71CDB-9D4D-4C7B-BAE2-5B29563223D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2158071f0a7df0a7a0094d877596ce1df22bc7e9","datavalue":{"value":"10.4230/LIPICS.CSL.2015.277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351963$6184CBD1-14B6-4011-8390-F26DDBE954A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a0de32daac918331710c80545bc7e43fc0a9be2","datavalue":{"value":{"entity-type":"item","numeric-id":5278421,"id":"Q5278421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0505ac29947ed89bdc54edbac6329da961fa61bd","datavalue":{"value":{"amount":"+0.89424783","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":"Q5351963$F495D962-6BDA-439D-A92D-AD59E83C68A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08686dc22c0ca0bcc245193d18562533086c4e48","datavalue":{"value":{"entity-type":"item","numeric-id":5111199,"id":"Q5111199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c27660fa7cc06626f3b49e3a1917fcfce9de262","datavalue":{"value":{"amount":"+0.8757488","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":"Q5351963$A2A8C02A-7E3D-4292-B60A-AF9AD716CCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"086544cc3f55bc9f6835e7c5805752233d71e48f","datavalue":{"value":{"entity-type":"item","numeric-id":5079755,"id":"Q5079755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d806b7904cb7bbdfa02e3f2bc700fd9502d7f4f","datavalue":{"value":{"amount":"+0.8688952","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":"Q5351963$123E74D0-5FC4-4937-B65B-49D488F6A6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2907741a37e2b4bb728a1356a895284fa62e4d81","datavalue":{"value":{"entity-type":"item","numeric-id":5376653,"id":"Q5376653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d806b7904cb7bbdfa02e3f2bc700fd9502d7f4f","datavalue":{"value":{"amount":"+0.8688952","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":"Q5351963$C7A1E46B-98C9-4D6B-8E0E-C20F7EBEE377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4018b9e3f3bc2b0f6e1f8ed18d962f939f7f3cec","datavalue":{"value":{"entity-type":"item","numeric-id":5145370,"id":"Q5145370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caba7c7b1e4a454600bb1a1fe51dd298b95b2001","datavalue":{"value":{"amount":"+0.8617585","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":"Q5351963$50FA9C0B-A471-440C-8E5F-A025151108E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e70a6f00fc92e27da11dc32ea158c57d3fcfe0","datavalue":{"value":{"entity-type":"item","numeric-id":5034235,"id":"Q5034235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c99a49e347d99b9a14a10208b92279dbebe2b8","datavalue":{"value":{"amount":"+0.86026776","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":"Q5351963$D7A2CC08-04B8-48B6-841B-675D0BE571B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe2342cd70d22839a2bc0f48b5e7b288be6128b","datavalue":{"value":{"entity-type":"item","numeric-id":2636536,"id":"Q2636536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fdf7646d7f9783238c4ead447e513e6320291a0","datavalue":{"value":{"amount":"+0.8561244","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":"Q5351963$44E2E009-434E-4365-B3BC-DFE372237F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db55cb1149bc4cd18b74412ce1b1587b3ba36a47","datavalue":{"value":{"entity-type":"item","numeric-id":4608623,"id":"Q4608623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4532eeb029891df5a2592b45ddf51767fc0c761d","datavalue":{"value":{"amount":"+0.85136056","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":"Q5351963$5C3E9433-A110-47D2-8544-72ABAB1DFFD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5351963","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5351963"}}}}}