{"entities":{"Q5111199":{"pageid":7140773,"ns":120,"title":"Item:Q5111199","lastrevid":94289792,"modified":"2026-06-05T06:26:10Z","type":"item","id":"Q5111199","labels":{"en":{"language":"en","value":"The power of the filtration technique for modal logics with team semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204323"}},"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":"Q5111199$F6E60BEB-6C5B-4599-902E-95C8D8C8BAE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8dae32934a1fedf55c26fee30d4dc9bcea3539b","datavalue":{"value":"1434.03075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111199$C8904E3A-FB06-4CFE-BCE4-BFB99460B3F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ab8b6eab35985e7b4ee49a042e43493ea64c2d5","datavalue":{"value":{"entity-type":"item","numeric-id":2193279,"id":"Q2193279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111199$A7DE9FD3-EE09-4E3D-8492-0D68010F0232","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111199$7858D462-C7A4-4065-A952-4C8F794637EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111199$3FDACD31-3A08-4F49-A0B7-8A95420EE639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111199$90AB9BEF-A115-48A1-9DD5-C4F5DC9F0C3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"788cca26a220b61c90a3bacdfb3aeac3a16f76ca","datavalue":{"value":"7204323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111199$6BC84280-9AB7-4B28-8503-D0A17EC8A9EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111199$D0AD3FEF-E535-41C1-AA33-FAFBE21704BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce773bc9ef477b0136da990c3be54abc9eeb6614","datavalue":{"value":"team logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111199$26E5FC72-E1DA-4EA3-B6E6-CAEF30EAF7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111199$276AC547-BC2D-4DCB-A577-AC6AB9FAF4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111199$76886B14-89D9-431E-9B9A-93B6EDAFFEF7","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":"Q5111199$F2CAF14B-FE4E-4CEE-A42B-91FFF0088245","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e18fefe4ffd4d7bea13c527d74e42a60f10775f","datavalue":{"value":"10.4230/LIPICS.CSL.2017.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111199$07A40837-FF87-44F2-A47A-5E61C4F8B0D4","rank":"normal"}],"P1643":[{"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":"993c5125bc7d52d23800bb8c784fedf7435e5972","datavalue":{"value":{"amount":"+0.7975619435310364","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":"Q5111199$8B5ED54E-7163-4460-AD03-D28749A4A7BB","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":"bdb9fc9304e2d414bb3f425f69a99d77a258254a","datavalue":{"value":{"amount":"+0.7929969429969788","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":"Q5111199$4151EE49-4FA9-4DED-864D-5BD4A79D2C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e04aea86061b2416ddcbe8c6d349697864040d8","datavalue":{"value":{"entity-type":"item","numeric-id":4636299,"id":"Q4636299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db6a12aef1f3fa07242ce9eb359c22e5ffa8c85","datavalue":{"value":{"amount":"+0.7422605752944946","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":"Q5111199$57A17630-3DBA-48E6-A2D0-AFF9F9BA5714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dccc9f89cc1c0388ec252c1099066ad638eb9d56","datavalue":{"value":{"entity-type":"item","numeric-id":3642988,"id":"Q3642988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c4e3e5f5a78146c43c87dd0bb78a871728791b8","datavalue":{"value":{"amount":"+0.7312007546424866","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":"Q5111199$63D15B72-0ADD-4BD3-9869-1792AA9BEE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96d5236a3f84460d945f13679068aaa13f04063","datavalue":{"value":{"entity-type":"item","numeric-id":5005127,"id":"Q5005127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c8c78482c30a8f9130854aea0ad00c6452f810d","datavalue":{"value":{"amount":"+0.7298601865768433","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":"Q5111199$1D889D61-917B-4443-9750-8D6768955B62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The power of the filtration technique for modal logics with team semantics","badges":[]}}}}}