{"entities":{"Q2882558":{"pageid":2893283,"ns":120,"title":"Item:Q2882558","lastrevid":51459692,"modified":"2026-01-18T08:38:08Z","type":"item","id":"Q2882558","labels":{"en":{"language":"en","value":"Notions of bisimulation for Heyting-valued modal languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6031073"}},"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":"Q2882558$AFCB2D32-2A36-4924-A707-D2732246AC52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c053021e0548179dc9b89fd5e55258e84e47cbba","datavalue":{"value":"1250.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882558$AB2B5B1B-EE61-4FC7-97FF-465F3259D693","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7ae78417fefbe97bc81b24a39532103311144c6","datavalue":{"value":{"entity-type":"item","numeric-id":372622,"id":"Q372622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882558$854F663B-5714-4815-B46F-233C58D53111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ba7e6a8ade991cf574768321cb15378443b798c","datavalue":{"value":{"entity-type":"item","numeric-id":208511,"id":"Q208511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882558$C23A5563-4D53-437C-AD55-27F0B3845AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eabe44788d95d3eeb614879e9f2cbd05912d1c01","datavalue":{"value":{"entity-type":"item","numeric-id":345701,"id":"Q345701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882558$358F544B-03CE-46D0-98D4-E608C25554C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7a1c120dc379e55cc80f89048abc2e9af9a7f71","datavalue":{"value":{"time":"+2012-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2882558$8DC37737-2AAD-4C6E-81A2-C85E349636E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882558$E0FACC2C-0817-421C-8127-7B4E85CACB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882558$82F41F43-4404-487D-A2DC-C240ED002BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882558$EB730DAD-F7C9-47F3-9294-315D3678BAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882558$94F12EC3-57E5-4FCD-9007-6D753779EB09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f26365af28b54be78a75772fba967f9183a3012a","datavalue":{"value":"6031073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882558$99CF55D5-34D4-4B5E-91EE-6F61D0766149","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e169b8aa95cd0689e50a9ceb223354763fc30719","datavalue":{"value":"many-valued modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882558$367558D5-9B47-4D32-80A9-AE1908801EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882558$BB6D4CF9-32DB-4E26-A4A8-1F235B62BFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882558$80D2921D-0618-4AF8-9461-816AEF6A6C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882558$D89C32CA-0FB7-4937-B42B-69C4E8E05059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b786922371953516dc23ff0415803812fea54be","datavalue":{"value":"truth invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882558$5EF218EC-10EA-4C2D-B39E-1A5580B52D3F","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":"Q2882558$D964372A-4190-4DDC-9017-66BA1CC21CE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57f7afb6a624c3bc1e0f8bcd28528297010e49cb","datavalue":{"value":"https://doi.org/10.1093/logcom/exq005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2882558$D4FD47A2-20EE-436D-8E9D-44CBA9FA3B86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23049866dc24fc547900825e9e20afce4fe2cc90","datavalue":{"value":"W2038170597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882558$13D58356-60DA-4782-890A-2FDEE5BF4C4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52898afec827a88eb845a278d92562a94fdb2096","datavalue":{"value":"10.1093/LOGCOM/EXQ005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882558$6100BEC6-D735-439B-9A00-D09E164A2BBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b53ffd8b04a9f7d22688676f62fc330a62e6085","datavalue":{"value":{"text":"Notions of bisimulation for Heyting-valued modal languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2882558$26CE9CC9-15A6-45AF-AEB4-549414B39464","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882558$B2159C5D-5704-4578-B1D6-61142BD840F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3adbd202cfeb46e618634cdd86432fa842b8b8d","datavalue":{"value":{"entity-type":"item","numeric-id":5134275,"id":"Q5134275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f07403ed40af848a4996fa024908d7a64a630d","datavalue":{"value":{"amount":"+0.763508141040802","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":"Q2882558$BCAD39F6-59BC-4E32-A838-E2AA2B50B07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fecb80659977aec99804b30d76ea5cdbb50cdf15","datavalue":{"value":{"entity-type":"item","numeric-id":4636305,"id":"Q4636305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2121549888d7c07949922c4b3b2912684891120c","datavalue":{"value":{"amount":"+0.747255265712738","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":"Q2882558$66BAB7EB-6E47-4F85-861F-EB7B254A2CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56ddc141336a6ac8e684d9d177e1609c4e45948a","datavalue":{"value":{"entity-type":"item","numeric-id":5504123,"id":"Q5504123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bf604feaf20e3fdbc1aabb7fda5c33f5e0c4f27","datavalue":{"value":{"amount":"+0.7464317679405212","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":"Q2882558$9A165DC2-E9FD-4500-A5C9-E9776A9F5C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d40e377fc6b70bd676ae922da132058e2e23dbd","datavalue":{"value":{"entity-type":"item","numeric-id":3647307,"id":"Q3647307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10cc652f5641e5d7a6d1f637b06aa07dcc9cf11","datavalue":{"value":{"amount":"+0.7445785403251648","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":"Q2882558$7145DDA6-BC53-4A48-9F2E-F5B544B2E5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e68cf7d2cf746a82c44af83e56b8b12d79064ac","datavalue":{"value":{"entity-type":"item","numeric-id":1708097,"id":"Q1708097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3eca230b80bd139e9728646bbf5359ea2ccc356","datavalue":{"value":{"amount":"+0.7304927706718445","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":"Q2882558$B4ADC42C-C74A-45AA-A3A0-69CA1654F068","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2882558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2882558"}}}}}