{"entities":{"Q5155663":{"pageid":7185234,"ns":120,"title":"Item:Q5155663","lastrevid":91445162,"modified":"2026-06-04T23:11:12Z","type":"item","id":"Q5155663","labels":{"en":{"language":"en","value":"A characterisation of open bisimilarity using an intuitionistic modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7407774"}},"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":"Q5155663$2B785295-6307-45AF-94DA-1D15D3BA332B","rank":"normal"}],"P16":[{"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":"Q5155663$6ACFA7C1-8D37-455D-90AB-E6724C178574","rank":"normal"},{"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":"Q5155663$C0C9D048-2718-4815-BAFC-9BAB53E5C73A","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":"Q5155663$B2BC0592-8398-4826-AA5F-57822E853EDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de933dbe9097032f43430008ac1661f561c682fa","datavalue":{"value":{"time":"+2021-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5155663$7440F056-93E8-426C-AD28-2CDA7AD8D55F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee4e76b778f1be50546632087ca550f836666a10","datavalue":{"value":"https://arxiv.org/abs/1701.05324","type":"string"},"datatype":"url"},"type":"statement","id":"Q5155663$FD5EE0A2-AFFB-4675-82F9-91BC20BCBE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"be7e325e5f14693aa3f92e03769ac038d69d9f15","datavalue":{"value":"https://lmcs.episciences.org/7685","type":"string"},"datatype":"url"},"type":"statement","id":"Q5155663$55D93B08-A677-467E-A5DC-2FA2D5D29461","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155663$55969129-4AAB-4CD3-81B7-6A1A020B8991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155663$BB9FCF96-379E-461F-87B1-808976A3B3E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c1111f3e62c598b04600452a91fffe32231e1cb","datavalue":{"value":"7407774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155663$4CC8DE9F-3CED-4566-9F4C-1224076EC6C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155663$324A04F9-31F9-4A1A-AB9F-73D62643A0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155663$6489701F-AA35-4D4D-9B9C-D1CA5687576F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155663$8801FC35-3450-4D68-AF7C-97E4EAFD2F58","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"749836226ec3fd95c35ad2efdd5e2cdd3401c18d","datavalue":{"value":{"entity-type":"item","numeric-id":16571,"id":"Q16571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$2A9337D2-26E8-4B87-85B0-1F7F7F799C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdb06ac742abe03cd5893470dd7a93eee2cff283","datavalue":{"value":{"entity-type":"item","numeric-id":32424,"id":"Q32424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$C5736605-2B8F-4D4E-8F97-52DA9596802F","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":"Q5155663$1012904C-765E-4000-A5CE-9EC730D5118C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6cb53d0f68d414b0f9ac6746602d1f729a2aae","datavalue":{"value":{"entity-type":"item","numeric-id":3177888,"id":"Q3177888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$1BCDB332-A227-462D-A312-4570DDE85814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e75c7b02cf45a3853cd69ad4da85872bb7f47c2","datavalue":{"value":{"entity-type":"item","numeric-id":5111619,"id":"Q5111619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$0AEA8572-2354-4651-B1A6-6034D722DBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eed8b1166c48d3b61aecd61bb3c4e60ea341f19","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$4ABCA0D2-ACD9-443E-AB9B-0FE263199630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e483be64253d496dde050980943e843e40e21b5a","datavalue":{"value":{"entity-type":"item","numeric-id":2852066,"id":"Q2852066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$DBA1F97E-F51F-4153-B0BD-137877919374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7bdcd14d65b5cd3ec901aa441c6b2c1bcfe6ea","datavalue":{"value":{"entity-type":"item","numeric-id":2392484,"id":"Q2392484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$56A8F569-D62A-4D8A-98F2-3BAE76351F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282f9cc7e49bbe23209bfdf62f3a2fd80d53357a","datavalue":{"value":{"entity-type":"item","numeric-id":5145273,"id":"Q5145273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$21A19C74-C8F8-4D93-B16D-49D57ED8FAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$D71B5BAE-F2F3-495C-B992-43CD322F59DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26517e98a021e9b36cc4a7f10c7890058cb796d","datavalue":{"value":{"entity-type":"item","numeric-id":5009710,"id":"Q5009710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$8EA53883-CF71-421B-9E9C-1CB5BB46F88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf5655b6ae25a92a774d3bc54a4702742022323","datavalue":{"value":{"entity-type":"item","numeric-id":444457,"id":"Q444457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$6A778721-4B3E-4292-B7AF-A69F0A6C67A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$53D035AA-E0CE-40DD-AE97-BB3A12B3CD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380a2f18f4b02ba06d230258197a946757b5301","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$76201722-FDA4-4B50-BAF4-D2A069039B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$246B3D6F-2025-4BE1-A8C0-59C629D5EED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$97177A4F-6F72-4D71-88D9-18A6B122E05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$F11FF79D-9EB6-4B16-A080-BC5C65CFCC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748a5362203b0e3c8347ebddbc722eb15910d45b","datavalue":{"value":{"entity-type":"item","numeric-id":5712312,"id":"Q5712312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$24A56B1E-3F67-4934-BEA3-4D6C1C05BAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"082d14fe4b31d28abfa6a4d89d968f0784143ead","datavalue":{"value":{"entity-type":"item","numeric-id":3569037,"id":"Q3569037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$E7B33745-64BC-4B33-9C00-BFE1FC52AF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$BCF57BA9-31B6-4DBE-8DE6-35EEECE4E880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5735069a83c3299190a155d1f226c5bb8283daf","datavalue":{"value":{"entity-type":"item","numeric-id":1322469,"id":"Q1322469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$68D282DB-5204-4E07-B173-4959BBF26F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba27ba98c7c431125f81ca3dc365c703443ec4d2","datavalue":{"value":{"entity-type":"item","numeric-id":4791841,"id":"Q4791841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$A3D6E087-11F7-4365-81AB-F4A1BCECF85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34d25a135933d7bf5547de5ec4476805acc9a84","datavalue":{"value":{"entity-type":"item","numeric-id":2946601,"id":"Q2946601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$13D4EA51-902C-4247-A5B5-C16FF9CF2777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7e2d1ce7fec977024187a8c0f349535bc26e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3179281,"id":"Q3179281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155663$F700CF50-D7CB-45C0-86FD-CC196B9EF78C","rank":"normal"}],"P1643":[{"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":"1877669f99111ab1f8ca14b6e427c2f4969a7030","datavalue":{"value":{"amount":"+0.9505038261413574","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":"Q5155663$94DDFAA1-D4A7-45E7-B5B3-AF1A6CB4C32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd443165c537fbed7ad169427baab76c497d0098","datavalue":{"value":{"entity-type":"item","numeric-id":5145273,"id":"Q5145273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5e19d02bf1cd96c849e12e6b5f16e23b90baa5","datavalue":{"value":{"amount":"+0.7859435081481934","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":"Q5155663$5489757E-E488-4787-AF3F-9FCEB271EB2E","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":"a7e3d8158158da5f3fb8540f027f4c69e03747d3","datavalue":{"value":{"amount":"+0.7571583986282349","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":"Q5155663$EE77F2F9-90F6-40BE-81A1-54FE9D2D13B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1e2b37815b54153927305032b66fc4359bb5be","datavalue":{"value":{"entity-type":"item","numeric-id":4222924,"id":"Q4222924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"295b356282e6571b02191ce9b496f8c32309aa1c","datavalue":{"value":{"amount":"+0.7428761124610901","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":"Q5155663$EBBF5B05-BD3B-4CC9-A4BE-4E688A0315F9","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":"7639a7ef9e1337942e78cb5671b7e46b6a6e9e8c","datavalue":{"value":{"amount":"+0.7424653172492981","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":"Q5155663$709A457A-4AA1-4FEC-9C93-C5750FC0811E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterisation of open bisimilarity using an intuitionistic modal logic","badges":[]}}}}}