{"entities":{"Q2842606":{"pageid":2853326,"ns":120,"title":"Item:Q2842606","lastrevid":83848553,"modified":"2026-05-07T12:59:18Z","type":"item","id":"Q2842606","labels":{"en":{"language":"en","value":"Deriving bisimulation congruences: a 2-categorical approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198650"}},"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":"Q2842606$F602AB00-D301-47A7-8AB9-98C74AB9DDFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e604d67250823b3eadba50e59e961d6777590990","datavalue":{"value":"1270.68224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842606$80F40E8F-4D10-4B4A-8B59-67BAF657FA3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"474d8e53a30688a07cba337aa9055bafaa9383ca","datavalue":{"value":"10.1016/S1571-0661(05)80367-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842606$28BDFAFA-37D3-4B2B-8521-EA208FAD47F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72cf230e3fde5ecd81513857d6a2a255a86452d0","datavalue":{"value":{"entity-type":"item","numeric-id":383371,"id":"Q383371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842606$BADD7816-3E98-48D2-AD0C-FE07C55B1594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bd160c8e2499dade66139ebb79e6fb014565bcf","datavalue":{"value":{"entity-type":"item","numeric-id":308154,"id":"Q308154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842606$31D2BCC6-9A7F-4A35-A01B-142A4B83F4CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842606$983E0768-1977-45AA-AA40-ADC35125D96C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cae65d5bdd2bde2e45e093857c98fd868d4f335","datavalue":{"value":{"time":"+2013-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842606$4279F66B-98A2-4BA6-AFF0-F89CE902DFB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842606$0FC4632F-DCCC-4E8E-B417-5B7D0C780CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842606$93011B76-08ED-48C9-A2EF-6030A755D005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842606$8A0B1A07-F796-41FD-846A-D6A752F4D3C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca0985e3c8492cf06f4ddd6324dc66b1d8587853","datavalue":{"value":"6198650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842606$DA057D67-073D-4DF1-B33C-710EC4E87AB1","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":"Q2842606$959D6DFC-B1A0-4C1D-BFFF-91EFD812C26A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"354985d83868ff9d88e164f5936ab486c8dbdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":1190491,"id":"Q1190491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842606$91556F33-BE6B-4C9A-A9DE-9E1E170A4167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce6ae51c59747c05bdf8caefc77cbb3de2b3eea","datavalue":{"value":{"entity-type":"item","numeric-id":3839056,"id":"Q3839056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842606$9EF1282B-8115-4187-8371-A2308CB8BCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842606$CB8A52B2-4BB0-4438-8CB0-14F004508F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1287f31c8e695f0cc11f57a3ba4a985fdf48a0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3804881,"id":"Q3804881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842606$264E6130-F098-440D-8652-953824CC3736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaa62ef6ae788995fcc51d9c3d7d0db41920cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4100671,"id":"Q4100671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842606$89BCB74B-B5E8-4B49-B2BA-0590635E9043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842606$EE8E49A6-78E7-44B7-AC3B-5E843737B984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b650e33a4a5c0e80e120de15fc90c4d08686c15b","datavalue":{"value":{"entity-type":"item","numeric-id":4536606,"id":"Q4536606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842606$A2815CD1-72E9-4E99-89B9-FA77D884104A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce2b79d84be4494dcb4f4a0176fe3298b91d497","datavalue":{"value":{"entity-type":"item","numeric-id":5881267,"id":"Q5881267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842606$C775A01A-A751-4539-90E2-EF69D265D1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842606$715A0F12-D346-4108-8E1F-CE455BD5573E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0782b7d33d379ae0ec98c689a5af5697874e667a","datavalue":{"value":{"entity-type":"item","numeric-id":1901716,"id":"Q1901716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842606$9FE4A078-0676-4172-9BA4-B1FDB249DCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3975b36ca6c71e5d04d124129914ac8a1057a5c","datavalue":{"value":{"entity-type":"item","numeric-id":4791828,"id":"Q4791828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842606$FACF985F-A781-4742-8FAB-92900760DCB8","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":"Q2842606$AF91CA0F-D7CD-4454-9E4E-B72D0A33715E","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":"Q2842606$3EB782B6-2253-4CB8-9260-6A746C204735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842606$43E12A26-73A3-4D95-A48F-C51E2894029D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e0444e22e4266453ab8adbf280b94bbe6588c9","datavalue":{"value":{"entity-type":"item","numeric-id":3876103,"id":"Q3876103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842606$0F41CACF-487D-46DF-87F9-FDEE8973C52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c09bc300ef8432af8f61322c2d314f6b6240b0","datavalue":{"value":{"entity-type":"item","numeric-id":4893208,"id":"Q4893208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842606$D334A1F9-9D75-459D-B6F0-CDB0DC8D628E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"340d4dd417c13b57612724685d09ee91584e9a71","datavalue":{"value":{"text":"Deriving bisimulation congruences: a 2-categorical approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842606$A8024DAE-8B5F-42F5-B410-3ECADD135737","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02c0154a87e9f7f2a54c9410ed2ff25669ffc3a3","datavalue":{"value":{"entity-type":"item","numeric-id":4457841,"id":"Q4457841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1b4c4b110680414ddab762884f390a78997542","datavalue":{"value":{"amount":"+0.9866218566894532","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":"Q2842606$1A39C819-9AE2-4120-8097-B27588F12517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7709ca81646613d831d690dc49871672a1d9b8a","datavalue":{"value":{"entity-type":"item","numeric-id":4417873,"id":"Q4417873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e976f9c4912e8228a7bf627ab640e43686db559b","datavalue":{"value":{"amount":"+0.8901753425598145","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":"Q2842606$8AFB561E-E169-4DDB-B7E5-646E52B45C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fde6af892ef8f96ac251000a59128392cdd8be0","datavalue":{"value":{"entity-type":"item","numeric-id":1770420,"id":"Q1770420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb9a753b886472453b104044dc03cf564caccc3","datavalue":{"value":{"amount":"+0.8510258197784424","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":"Q2842606$EFCDF7E7-0FCB-4942-B4B0-7535998B1921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93669e5d81f11047f46e6c5e573f3014b9b7238b","datavalue":{"value":{"entity-type":"item","numeric-id":4536606,"id":"Q4536606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6035b78eca32828d1f0beacde559900b67db1693","datavalue":{"value":{"amount":"+0.8380641341209412","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":"Q2842606$7F992E25-82ED-4107-BBC7-148BEC15F98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315b376fd50a158cc04e07ce0524d8a8de5e9a82","datavalue":{"value":{"entity-type":"item","numeric-id":5308448,"id":"Q5308448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c67b07ad6d89ee3d6ea3bae26f57dcb65ebe56b0","datavalue":{"value":{"amount":"+0.8098364472389221","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":"Q2842606$46CBD6CB-6E2C-4424-B0E3-A4326CB0B001","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deriving bisimulation congruences: a 2-categorical approach","badges":[]}}}}}