{"entities":{"Q5145273":{"pageid":7174844,"ns":120,"title":"Item:Q5145273","lastrevid":53911514,"modified":"2026-01-25T22:22:25Z","type":"item","id":"Q5145273","labels":{"en":{"language":"en","value":"Quasi-open bisimilarity with mismatch is intuitionistic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298727"}},"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":"Q5145273$61BEE083-7B12-451C-B51D-656987F1242A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"109382e805944f8d23aefadc1ef930bfa3653554","datavalue":{"value":{"text":"Quasi-Open Bisimilarity with Mismatch is Intuitionistic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145273$A5C8077A-F1CC-4995-B5FD-58FE472D7FF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed89f33cea7f1c97242fc04e1a95101eee1d05a0","datavalue":{"value":"1497.68342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145273$6507D250-7FA9-4347-9234-24194D837ED9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c5998e94c2729cbc307c78ad0793541d71439d6","datavalue":{"value":"10.1145/3209108.3209125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145273$E515D748-8968-47F4-AC54-12ADA2D853AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4eaa863d309e75bef02a122fe31ed8bba1d86cb","datavalue":{"value":{"entity-type":"item","numeric-id":739625,"id":"Q739625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145273$72A7CE10-B793-495E-B741-3AF85C9B96A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdef4d56dab2040e9e3b90cbb31accfa1cfbb6a7","datavalue":{"value":{"entity-type":"item","numeric-id":2798265,"id":"Q2798265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145273$19AA4E2A-0257-4651-BC88-5178D71FE29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145273$DD744B9A-E9EB-4055-8165-3797183E0635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e755b5dc9f4979397d0df2f5a71bc2bf917f598a","datavalue":{"value":{"entity-type":"item","numeric-id":1716559,"id":"Q1716559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145273$DAEE6F0B-0FFA-4803-944E-1626E5A6742C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145273$FA3A1579-223F-4CC5-8A7A-E2F25AA38C71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145273$662BC792-55A7-42BB-A454-F34AC48EDFC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99afe71e8b35340951d9b7e242ccb5d6c5ce3f2d","datavalue":{"value":"http://orbilu.uni.lu/handle/10993/37429","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145273$3040D1F0-A6DD-46F5-951E-3E1AB00A0F52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145273$FF58FA62-040B-40A8-8609-A6DEEBAF6D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145273$E32DCF78-35ED-4AAD-9AE7-E01106DFC844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145273$9B4FA604-1D85-4648-A14D-10A4B43076A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7615ee30923e97fbb464308f8a8cf9718746f795","datavalue":{"value":"7298727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145273$573E108B-9F29-4777-90A8-658C2D38D596","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145273$935212C9-2ADC-4FA3-BE8C-4EF5DB38BA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145273$EFC82E52-649E-4BCC-983B-F487CF029FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dadec462aa98bc97abf32d1e58d28d93bd8437e","datavalue":{"value":"mismatch","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145273$023BDF9E-C809-4611-8D0B-3883E0F522FE","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":"Q5145273$87789FA1-33D9-4082-AD1A-5C0C6163BF43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5630d2b2befe660f34dccc6a74401c566df3e73b","datavalue":{"value":"W2798939849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145273$0E688E79-B618-4CE0-B25B-881FA4860DDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14183ef018fbf0df181c46b2ba2fd82f49f1ea60","datavalue":{"value":{"entity-type":"item","numeric-id":557789,"id":"Q557789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f5e34db82587d7ea970f97e2f4fb7f31fd7561","datavalue":{"value":{"amount":"+0.8487027883529663","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":"Q5145273$58C81263-F632-4C09-9F0E-58CBB1F87482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1795a23a2c5f0b39b390ebbcb9f1b637cd5b11bf","datavalue":{"value":{"entity-type":"item","numeric-id":1854331,"id":"Q1854331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699ac50cf499569e8526dda1c891e1132de42e7c","datavalue":{"value":{"amount":"+0.8332143425941467","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":"Q5145273$B126989D-3C34-4EFC-B461-A4DE80C416B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39be73a072310126e7d12abda731e5839326d7de","datavalue":{"value":{"entity-type":"item","numeric-id":5111619,"id":"Q5111619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e206ced75c1ae6edfa4ec74e658a65aea9dbb9","datavalue":{"value":{"amount":"+0.8304982781410217","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":"Q5145273$2223396D-014C-4892-9C35-AB6EB83630F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b64544da2481ad3e4d805a38a96b52c34f80141","datavalue":{"value":{"entity-type":"item","numeric-id":2465030,"id":"Q2465030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f48948e387f65dc350c4a08f1ad6af50a8d9821","datavalue":{"value":{"amount":"+0.793191134929657","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":"Q5145273$22153C8B-90CA-4A81-9060-C091272A55DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222e2133091bfe0c0c8aa8de7a6640840cd51bf0","datavalue":{"value":{"entity-type":"item","numeric-id":2852066,"id":"Q2852066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac3ca3e2b992b6f31cdee133161a58d6fdc45dd","datavalue":{"value":{"amount":"+0.778572142124176","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":"Q5145273$00EEA34F-ED05-48D9-BE3F-C3CEFB5168F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145273","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145273"}}}}}