{"entities":{"Q5213395":{"pageid":7242965,"ns":120,"title":"Item:Q5213395","lastrevid":94555895,"modified":"2026-06-05T07:07:09Z","type":"item","id":"Q5213395","labels":{"en":{"language":"en","value":"Uniform interpolation for propositional and modal team logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7161969"}},"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":"Q5213395$8FD231E9-5F67-4DED-8265-860ADBA5A9B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46fffb513a5811d451a90fd905152093ce4ea1d0","datavalue":{"value":{"text":"Uniform interpolation for propositional and modal team logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213395$2A71C57B-3777-4E6B-BF47-8F62164BAA4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be468b8696d959df46ffe649731ed61a34fa7d98","datavalue":{"value":"1444.03104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213395$AAB37E68-B088-402A-B9A1-2C784B71FABA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bc4d377d3637058f1e83788786b9a25ae94a603","datavalue":{"value":{"entity-type":"item","numeric-id":481099,"id":"Q481099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213395$5571DC2C-A3AE-4B50-8A00-0E563243832E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75a771ae7772d5e2895e882aec1633da543f974b","datavalue":{"value":{"time":"+2020-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5213395$DF71CC15-216D-452F-AC70-C5474E14A7DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b45f06cb3f83f2ed552a34c10d93f59b833b3a8a","datavalue":{"value":"https://arxiv.org/abs/1810.05395","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213395$90F2A749-BF9C-4131-8398-3D1F21B56C56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213395$47077D2C-943F-4048-8019-E6E7C6A2FF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213395$9899C1D2-F14D-42F1-9A51-889D61AAE9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213395$F07701AC-4A08-451C-86D5-8E0A0817235C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213395$022316BB-E6FE-483A-9DC1-435AA7769726","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ded4978d79df669dd6369f5f03f2a4805cff724f","datavalue":{"value":"7161969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213395$CD726A2F-5751-461A-94B6-3482F83C6409","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213395$80D08674-3715-4318-A060-397A2ADB7DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40f7ca4924dc5acc2a60c09dfc1d83dd1a27a04b","datavalue":{"value":"dependence logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213395$EDE429D0-34FB-4E50-B69C-87D99BA8E45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066345834ce35a3f9005e468be9585e6c3822e2c","datavalue":{"value":"uniform interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213395$F77E52D0-0A6E-402A-8581-87EAE376705F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d13fe3141ed30017042d09d7bb940bc6ac1211a","datavalue":{"value":"bisimulation quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213395$689723F2-C871-4C4E-999C-89B28216A25A","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":"Q5213395$A9A8EF2B-4B97-413D-B3C7-11FD096A686F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2b2ed6c4d8629e5d892b362e1db284368969d25","datavalue":{"value":"W2895833025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213395$1D020852-321E-41CC-B122-A896489BC157","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52febce55740d62c71c09b0d969cac7ffc71998e","datavalue":{"value":"10.1093/LOGCOM/EXZ006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213395$DDD2615A-D986-40DF-A93E-8E7D8C4945BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213395$D82D246D-51E9-4AAC-BE63-C60F27C2881D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a66723d39af21b716aa0696f74d721ec8b3a83","datavalue":{"value":{"entity-type":"item","numeric-id":878154,"id":"Q878154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eebbcd1ddcc144a33b53096c5fbb8990dcfea65","datavalue":{"value":{"amount":"+0.817077100276947","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":"Q5213395$249F23DC-4B13-436E-A22F-112525ABCD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fedf073a5c734d8bf55a1ac6fc1c007b7a2fc787","datavalue":{"value":{"entity-type":"item","numeric-id":3647242,"id":"Q3647242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"141c36dd9841543471bcaa6f3b609527b6f1a002","datavalue":{"value":{"amount":"+0.7894624471664429","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":"Q5213395$E5D98C6B-7E59-47EC-AF74-0F2AEF713802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80b454cf3bbbc7e0419d7cafb0e6fcd4d2c0e0f","datavalue":{"value":{"entity-type":"item","numeric-id":4893140,"id":"Q4893140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e73008148b6105f180f2d0eff7c28b78f2ffa99b","datavalue":{"value":{"amount":"+0.789070188999176","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":"Q5213395$757BB65B-D5FD-4015-9630-6476EFB5E90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5ccf9167a3b69b4b9c7bc56a8345a9d325cfad","datavalue":{"value":{"entity-type":"item","numeric-id":4580217,"id":"Q4580217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44d9df9bc4bdbf74cc0adf9820c1c71c82579766","datavalue":{"value":{"amount":"+0.7878154516220093","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":"Q5213395$83803EE1-518E-4560-A38F-4B0038F042B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04225f4473bb0d2061fc7a79e5131680e65f419a","datavalue":{"value":{"entity-type":"item","numeric-id":2904063,"id":"Q2904063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce2ce4a4f0cea25ffe5edc4dee9257c7ce083e91","datavalue":{"value":{"amount":"+0.7803925275802612","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":"Q5213395$3133CAD7-D579-4550-99CA-3CFD7D70C9E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniform interpolation for propositional and modal team logics","badges":[]}}}}}