{"entities":{"Q5874212":{"pageid":7903763,"ns":120,"title":"Item:Q5874212","lastrevid":55434628,"modified":"2026-02-17T16:19:07Z","type":"item","id":"Q5874212","labels":{"en":{"language":"en","value":"On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650838"}},"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":"Q5874212$B74A3D1A-1644-486F-9B43-FE8A0C99F35C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7180e8000726f0c0873dc0439c83c00ff09ab0ab","datavalue":{"value":{"entity-type":"item","numeric-id":5049044,"id":"Q5049044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874212$9BFA5D7D-8C91-4FFE-90A7-3322F5AB353D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11a23cf28e74ff89c316845582a7b9b26a52e81d","datavalue":{"value":{"entity-type":"item","numeric-id":2172819,"id":"Q2172819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874212$09EEE5DB-CB27-4FE6-BBB0-E85AAA394A3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1cf2c00ad9755e29029658ecb4f6eb01aba3c5f5","datavalue":{"value":{"time":"+2023-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5874212$8F4A938C-0536-4C29-96B4-D52DE7E01E61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874212$63358E59-F034-4450-8C2B-019BBA582392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874212$6F886C48-9F5D-4D3F-B0E8-1F8F91D810C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9e7313582ceda1637298a0502f39707ce1da950","datavalue":{"value":"7650838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874212$03D68278-FF57-4031-8581-BDF61C040BA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01873808ed420453ae082d7e18447e172733687b","datavalue":{"value":"higher order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874212$7697CACC-C923-4C4B-8CCA-55D27115587E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fc29fb6866ff15dbc5079f8d12fecff6f66005b","datavalue":{"value":"existential second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874212$88B4DB18-687E-4D18-8795-FE5D07220012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874212$A5C054F7-9788-4ADE-A95D-3FF2F9DFB52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a7b03c1290f4420f511d8fcb71a4d38b5c445b","datavalue":{"value":"closure properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874212$1F65FF98-13F4-43A2-A7F0-CB0E7D16A0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"934f6cae9a172190a2f9a427c4ea224e4e182424","datavalue":{"value":"union closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874212$C5DF98D4-2EB0-434D-962B-9A1C40DFA1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d873906c6b05644f4875e18068ef8ccf5f70580c","datavalue":{"value":"model-checking games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874212$042B5AC1-34CC-4984-B722-F15434D595CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16d595b1bdbf6c61366d06f2c20e4f0c3aad89bf","datavalue":{"value":"syntactic charactisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874212$E463CAC2-4802-4A46-B02C-AA1C168EBA41","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":"Q5874212$170D4010-0A3C-4FAD-A203-7EA711C86E74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99ba4da9b89540df09c85066a5a1f8a4260eb955","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2020/11668/pdf/LIPIcs-CSL-2020-25.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5874212$6ACB632E-386F-495C-B687-88B8175B6C62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f19cf4f299b1564ec7dddf0565765aa75e7a62a","datavalue":{"value":"W3003255890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874212$73933D5D-5F56-4F38-8B23-25F737AFB1A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"763cd0ca4b17bba7c245a1f22d30a66e88f43be8","datavalue":{"value":{"text":"On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5874212$CE17761B-E51E-4692-82BE-A12257C9E9AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00eaf19de6d232d6996a1a54093f8422ef0496a0","datavalue":{"value":"10.4230/LIPICS.CSL.2020.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874212$8E238C44-1D8D-4AC1-ADF0-5FD1DCDB3A76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06373eccd79e634618dd508941c68e421155a69","datavalue":{"value":{"entity-type":"item","numeric-id":5155675,"id":"Q5155675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec92c2ff25c626daa6979eda751e290f3c4ccdb","datavalue":{"value":{"amount":"+1.0000005960464478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5874212$F3D93682-579F-42A9-90E5-8EB83DB11D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d51a135e4573ccfe369e41309ecf215a653d5c0","datavalue":{"value":{"entity-type":"item","numeric-id":2131275,"id":"Q2131275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57bd589a5fb93df80114284bbd9e2b89e1d6e136","datavalue":{"value":{"amount":"+0.7842867374420166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5874212$ED04117C-5AAC-4C2B-84E9-3ADFFC793917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1100745c33ca9bd4d58b0eb59d9b5b1586e648a","datavalue":{"value":{"entity-type":"item","numeric-id":2958528,"id":"Q2958528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9acdf8099c7342f6267ca74f01c7436712d0419d","datavalue":{"value":{"amount":"+0.7411704063415527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5874212$88BE98EE-238A-49E0-B789-E89A3C0C47BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bcbc5d0a1027182235590a7b74c1bb1e8785a3c","datavalue":{"value":{"entity-type":"item","numeric-id":1693039,"id":"Q1693039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107460baadf817eda3e66d5572ba7c77b6b320e0","datavalue":{"value":{"amount":"+0.7369938492774963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5874212$7A74D00A-9348-4072-B18C-CFB006B8DCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b18c673735ac2ce0fd455a53dc21af4373936d","datavalue":{"value":{"entity-type":"item","numeric-id":5919492,"id":"Q5919492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8500f1ee66421d9a089de5dd34a1bb56ef5d0ec5","datavalue":{"value":{"amount":"+0.7273595929145813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5874212$4D2ED08B-6D64-468E-B623-42DFE897A8BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5874212","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5874212"}}}}}