{"entities":{"Q2133160":{"pageid":2143903,"ns":120,"title":"Item:Q2133160","lastrevid":55407484,"modified":"2026-02-17T15:47:39Z","type":"item","id":"Q2133160","labels":{"en":{"language":"en","value":"Bisimulation maps in presheaf categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7515952"}},"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":"Q2133160$1709A506-1C06-44B7-915C-7944FFDAF83C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00c4d20dabce81c43d54db9b3191042394d426e3","datavalue":{"value":{"text":"Bisimulation maps in presheaf categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2133160$3025CF44-675C-4FC4-8A7B-6DC1B4FB9131","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e05986514e56aaa9abd2193d36fdb5190f5d424e","datavalue":{"value":{"entity-type":"item","numeric-id":2104471,"id":"Q2104471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$1B11DF80-A2E0-4D57-8991-350FAEEED209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4826d699884a0bc6d2655cc852cbf1a7a780d35d","datavalue":{"value":{"entity-type":"item","numeric-id":1797780,"id":"Q1797780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$415DB691-89CD-48EA-8232-E4FAD3207545","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c80bdea672e4cd14dd9cbe0c46e1f9abbfc09a66","datavalue":{"value":{"time":"+2022-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2133160$73220247-4BD1-437B-9D82-1ECFA212C241","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4d86ce44303e31e05900779df902a2ca90dcdaf","datavalue":{"value":"https://arxiv.org/abs/1909.01796","type":"string"},"datatype":"url"},"type":"statement","id":"Q2133160$8125C18C-2B54-4ED9-9B74-1882A879E5BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133160$92B19193-4BD1-41D0-9F3C-DCA1F0674C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133160$8713A6D0-95AB-4535-9203-9DB57EAFEF9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c666d268f6eb050be4ee734d3b9415d98038fe4","datavalue":{"value":"7515952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133160$6A49BAD9-78CE-42A1-8377-7A8316870C69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d611e9c4f91063c6ca694f4a9f4d3844d5c167c","datavalue":{"value":"presheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133160$B9BC3A9D-029A-4A1D-94A8-87FDDBB5B6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49f45b42b74a78cbc3af3022c1864901010996c","datavalue":{"value":"\\(\\forall\\)-fair bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133160$01FAAA9F-8DF9-4A09-B860-41ACD6829501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdcb6c6a7e0b4c9bdfdd4689583b799e2a826f4","datavalue":{"value":"branching bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133160$A33BECD3-2391-4E63-9A9F-CCA9E16122A9","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":"Q2133160$A0A267E2-1E19-4903-BA69-B8C7AA39EF30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd023974452c3dd79e287d6afe0e57842e6ad5f0","datavalue":{"value":"W2996315762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133160$43DCC97E-7123-41BB-8D21-416E5A3A9E88","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"deff3a73ea6d451efb5c68308f7debb121215d8d","datavalue":{"value":"Q113317361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133160$DE87186A-48C9-4969-8062-4BB18DC72A08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd9fbf231481de0f81edcd9d2c329fec3a4e62c","datavalue":{"value":{"entity-type":"item","numeric-id":5262949,"id":"Q5262949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$765D5574-C088-4129-A84E-FF44DBFCA085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$65703FC6-8516-488B-86DE-B50DAB3CCFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebf22b5e0b208fa4dfcfcf742bcaa1a2f4f64d3","datavalue":{"value":{"entity-type":"item","numeric-id":3404131,"id":"Q3404131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$78E79A85-E3B8-4A40-B552-60E33023A770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"188f97c082fce1ef94d55797d1aec36a692b0216","datavalue":{"value":{"entity-type":"item","numeric-id":3761680,"id":"Q3761680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$84793273-06A1-4DAC-A14D-42BE3F1349C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f3fe5ff48f43227ec7346869786ed899d5e1e05","datavalue":{"value":{"entity-type":"item","numeric-id":2520701,"id":"Q2520701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$B603CEFB-9B54-43CE-830D-E993FCEEC2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e01a4f96c343364574c1c72c1432f6af5cae685","datavalue":{"value":{"entity-type":"item","numeric-id":4580201,"id":"Q4580201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$11D1CDB5-AEE7-42FF-B77F-BAF286B67DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a2dacb6bf466967016b92259b68cb81306680c","datavalue":{"value":{"entity-type":"item","numeric-id":4963900,"id":"Q4963900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$EA023209-DF03-46C9-85A4-42C9B6AC0CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0bc17ca7f1d87fa84e4b110afb9253a0704156","datavalue":{"value":{"entity-type":"item","numeric-id":5462666,"id":"Q5462666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$52510FF2-D847-466B-A0D3-28253D64A1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f570f44167224f6d8edb808ca179d578e674cebc","datavalue":{"value":{"entity-type":"item","numeric-id":1763160,"id":"Q1763160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$67A7631C-F003-40C1-A198-6C8EE205916D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f773e03b7a41f14dda916375c32b338ea9996b7","datavalue":{"value":{"entity-type":"item","numeric-id":3523102,"id":"Q3523102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$95492BA2-2D11-478B-818E-89E5581B5B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99be73a25e9f210b5c0172fe21ae54d0cc59a6f5","datavalue":{"value":{"entity-type":"item","numeric-id":5145311,"id":"Q5145311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$49D88B05-2B55-4C66-A483-6AD720C5CE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e3308058a0a964f2ed4dfa556da9620f9ea06d","datavalue":{"value":{"entity-type":"item","numeric-id":4596786,"id":"Q4596786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$133D90D5-621D-4281-801D-763491ACCF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf65c22bfb8a5399142873d9e1ac0cd7f9ef33c","datavalue":{"value":{"entity-type":"item","numeric-id":4017459,"id":"Q4017459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$916500F6-EE40-4DD1-B9E8-0B86A98EFA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4492fc9d681b8fd74609e5ac1ed3ead3d0aab736","datavalue":{"value":{"entity-type":"item","numeric-id":3704887,"id":"Q3704887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$6DEE93B2-7F93-4656-8C77-54FA2770554E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925f1cb1a313033ab6eef609a47c5ea7fde476c4","datavalue":{"value":{"entity-type":"item","numeric-id":1854506,"id":"Q1854506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$9B8FDA2F-9656-467B-BAE5-108E23C84DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d66061701b43c5672f69f1031781f42a4182aee","datavalue":{"value":{"entity-type":"item","numeric-id":1398465,"id":"Q1398465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$2ACACE12-7F42-48ED-A142-C2D70DF0BAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629dc6aee66743bf478297fd0b18344136090263","datavalue":{"value":{"entity-type":"item","numeric-id":4621160,"id":"Q4621160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$77168220-7724-404A-A148-BFFDF5960808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb4168e06b9f07252f0d4651c8b05749e149f88","datavalue":{"value":{"entity-type":"item","numeric-id":1338199,"id":"Q1338199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$CA4D2014-37B3-4898-93F2-42FAFECB6B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$1693818E-5260-4A45-89E4-0851147F4CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"191c355fc513b836fdbf7a210003dceba3eec0a0","datavalue":{"value":{"entity-type":"item","numeric-id":5305663,"id":"Q5305663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$C50C0A38-860C-4F1A-B325-7F7AF11F221B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$70EC492E-D7CD-4FE4-B0E4-7EAF44DBB1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$8A75B142-DB04-47F7-82CB-77F6F6B06308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$A7D54DB8-53B7-4EAC-BB1F-996DF0128E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1b43206df452de3c5209da7f62d0f277f9ea2e","datavalue":{"value":{"entity-type":"item","numeric-id":2341703,"id":"Q2341703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$42910D4A-28E2-4C85-90D5-3A5DF71BB486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f75f11361218ae773ab4b9dcbacb18b596e0c0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2368698,"id":"Q2368698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$1391685B-A7C7-4806-89F6-B07DA16828D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$DF48E7B8-943C-42CB-B266-DFA148C53DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"235a23d4e09196d437428c636403a69d93dcdb2f","datavalue":{"value":{"entity-type":"item","numeric-id":4353632,"id":"Q4353632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133160$FB9A13C9-F870-49B6-B4AB-CBB126052A93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"126b221cc60165490a29b689013f45e2c22277e3","datavalue":{"value":"10.1016/J.ENTCS.2019.09.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133160$C8EDAB2A-0D48-4791-9987-E333A4A022D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fddea78b3b751d46b25a76f134818924a099218","datavalue":{"value":{"entity-type":"item","numeric-id":2956688,"id":"Q2956688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28540217d5d34dc2751935fa144de206c1be1d44","datavalue":{"value":{"amount":"+0.8239223957061768","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":"Q2133160$609F102C-1762-4589-8A26-90DC3FA4D13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c348b2e92a1272d5c9597bc50f68099082e5ed0","datavalue":{"value":{"entity-type":"item","numeric-id":4222928,"id":"Q4222928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd143fd22371f11d1dd2fbc1b11654feddd3c9bf","datavalue":{"value":{"amount":"+0.803378701210022","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":"Q2133160$AF870297-62BF-4834-ABAF-54C967F82396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73af00b523026f08ada5f20901dfdb484f108cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484d90678a680b0fa787dbc2908e06ffcd9c29f2","datavalue":{"value":{"amount":"+0.7985818982124329","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":"Q2133160$AFCD8EBB-1F9A-4B71-95A7-015DE89B40CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab24350745da5ea530d16527bc6789a95856de96","datavalue":{"value":{"entity-type":"item","numeric-id":4353632,"id":"Q4353632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3864a2c97ea49d6e186cac9139e5203bed8886","datavalue":{"value":{"amount":"+0.7690462470054626","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":"Q2133160$C21CE7E0-178E-467F-92C3-37F64DB59087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454142762e7fe479344d57f7b99c2755d535ca4d","datavalue":{"value":{"entity-type":"item","numeric-id":4362963,"id":"Q4362963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85770b8cb547bfb1ad4fc694759fdaf8b535c052","datavalue":{"value":{"amount":"+0.7632879018783569","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":"Q2133160$8E80449A-3505-430F-AF12-100C7D394E73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2133160","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2133160"}}}}}