{"entities":{"Q2851091":{"pageid":2861811,"ns":120,"title":"Item:Q2851091","lastrevid":51837800,"modified":"2026-01-20T07:12:31Z","type":"item","id":"Q2851091","labels":{"en":{"language":"en","value":"Intersection and union types in the \\(\\bar{\\lambda}\\mu\\tilde{\\mu}\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213329"}},"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":"Q2851091$2A926DDA-57D4-4BCD-B068-3F0B1BDDE457","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e10134a3cf190a921042f844e3f0326a855d1f7a","datavalue":{"value":"1272.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851091$C6D95DFA-39C6-4A3C-B661-864C61269F36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d666e96ce2fa8f92917e230fc2bc29c6dfb1050f","datavalue":{"value":{"entity-type":"item","numeric-id":673969,"id":"Q673969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851091$DDDA5024-A80F-4D1B-8EB9-397006199DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0a8f67a7203ff5cdeef2bd4736ab7f6f290a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":202167,"id":"Q202167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851091$27434AC1-4E11-4A2A-8D64-4579FB079F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851091$12C42272-3756-44B7-95B9-C19BA89341DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851091$FB7678D5-1274-4D8F-BBD3-A55E97690C1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9cc40774b4919e2ea218d60eca038e03887e4f4","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105050644","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851091$AAB5BD2D-1718-4A1A-8DDE-2FD55D961180","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851091$B23A5964-D27C-4559-8FAD-918513DC7818","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ed9e981fd998af3984c867b5278339ac4f5bd95","datavalue":{"value":"6213329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851091$A6DCBE5A-FC1E-4B0E-9239-A981DC811CFC","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":"Q2851091$49F49C9B-FE4A-4165-9389-DDBDDE0E4BD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1150b84165edb7b90314cd84827022ad996604d1","datavalue":{"value":{"text":"Intersection and union types in the \\(\\bar{\\lambda}\\mu\\tilde{\\mu}\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851091$84EB2D11-B2F1-4D10-BD26-DB6E0FCDFF75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e609082a6969eaeba45bff67d00e487953599e5c","datavalue":{"value":{"entity-type":"item","numeric-id":2789043,"id":"Q2789043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35e7cfb9c4ebf05f6538b2ba71b68af62bff9268","datavalue":{"value":{"amount":"+0.8810526728630066","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":"Q2851091$AD0A004C-F78A-43B5-99B6-7E375E51BDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66118c8bd507f5c048a8e4141ac25ef6374d2824","datavalue":{"value":{"entity-type":"item","numeric-id":636376,"id":"Q636376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6228e9aca4c9d0efee68f234eb0ddd83288d6c2","datavalue":{"value":{"amount":"+0.8436253666877747","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":"Q2851091$C10467D1-0DFE-4C60-8342-5CCD940FF19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39208f8c9e9f74c27f37ffded3604a402852b56a","datavalue":{"value":{"entity-type":"item","numeric-id":4600774,"id":"Q4600774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c92851fd3f991d2e227ed4a0ca6cb2ca11bf0402","datavalue":{"value":{"amount":"+0.8399919271469116","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":"Q2851091$5878EFD1-7378-4A5A-84C1-09C8B2367505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c819cb150c4d225104efe1d97603db6a7cd0f4a9","datavalue":{"value":{"entity-type":"item","numeric-id":4964690,"id":"Q4964690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c5e7e690bd5fa4d0b94d011cd30012a959c618a","datavalue":{"value":{"amount":"+0.8345525860786438","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":"Q2851091$56FD7721-31DB-4742-9123-9D87AD1DD1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfe9a30d931504645a6968eee17261118652cd84","datavalue":{"value":{"entity-type":"item","numeric-id":5712307,"id":"Q5712307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2840e6d8e4306dc441e695837ad6446450982140","datavalue":{"value":{"amount":"+0.8344135284423828","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":"Q2851091$72FD27A3-2082-40CD-87ED-27721B228808","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851091"}}}}}