{"entities":{"Q4635603":{"pageid":6665184,"ns":120,"title":"Item:Q4635603","lastrevid":58315863,"modified":"2026-04-04T16:51:09Z","type":"item","id":"Q4635603","labels":{"en":{"language":"en","value":"Coinduction up-to in a fibrational setting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863078"}},"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":"Q4635603$DB277B43-4EA2-418F-AF68-B7DB379575A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a271f679ea396777e28334eec84b96ab3c500dc","datavalue":{"value":{"text":"Coinduction up-to in a fibrational setting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635603$129D04B3-4114-4922-AC0E-FC4A96D752CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8135bb5b46e31e081af1d89dcc5d73bfd9ced6cb","datavalue":{"value":"1395.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635603$5E2F2916-CD1E-4EEC-AFCA-AEBDC94CA21F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0d8dd1d91524913246d347df76be69311186bbd","datavalue":{"value":"10.1145/2603088.2603149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635603$6B441BB3-B1B3-4056-8279-4834BAF7474F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68534f975dd295216ca3c8a9d82e5e3a57e3f17","datavalue":{"value":{"entity-type":"item","numeric-id":308153,"id":"Q308153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635603$CBA03A52-E5A2-4602-A967-C1A427CDBEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e59cf96319a2d9edcb34f80de5d6e5dd10c4b763","datavalue":{"value":{"entity-type":"item","numeric-id":523131,"id":"Q523131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635603$49664B1B-102E-4505-814A-9D54240A5492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635603$EC137584-4977-4508-9BB7-34BED0E9FF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3fd3af9c88c99f68f4296c6bf25bdaa24b9f76","datavalue":{"value":{"entity-type":"item","numeric-id":265818,"id":"Q265818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635603$C79C525B-1D43-4F1E-BBA3-A65C9A076C4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635603$F56E1E7D-F9CA-48DA-B082-CAA2144A0EC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635603$CDC0E847-234D-4EBA-9338-86829479A73B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc009404335f5494675a1b945105d31609174a33","datavalue":{"value":"https://arxiv.org/abs/1401.6675","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635603$83ABCC0E-3556-4DB2-9255-93F7AD1D12F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635603$08BBB841-BF60-4DBF-BBEE-09A2D79A5455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635603$AB33FFEA-0930-48B1-8D9E-3E172E41FADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635603$720B715F-01FE-4866-BBCE-F3752CD0089A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef589c976bb3437d74a99768fa7db216604ddb4f","datavalue":{"value":"6863078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635603$426550D8-6F90-466D-9FC5-A926E451A078","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fc8538ec2b6e0c1d788e7c5ba4d4f4d4edaee6b","datavalue":{"value":"GSOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635603$F3F24C1D-5D9C-4C30-BEDD-339EB7373580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc9090f53ccf4afd15ae67ea0d85c1a629d69d","datavalue":{"value":"bialgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635603$DE3CE001-A6CF-4A02-A766-73D108AD9046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abd038863d231dec0835e4c8c092a7eea7651c80","datavalue":{"value":"bisimulation up-to","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635603$25FF22C5-7B78-4D5C-9F3E-6F9E3D5FB167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e071dbb0c1e2b86d87646b5aa3185d3467d1111","datavalue":{"value":"coinductive predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635603$54E87885-10F9-4341-8493-DE99294AD848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21c2ed255c68513ba5fb72b62eb668c762562c3","datavalue":{"value":"fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635603$3D9B2C5B-2858-418D-8126-73F28F9D40A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff09f7b82a2a4af9d85ac81500deb2a97fb365dc","datavalue":{"value":"nominal automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635603$1AF708DF-FB96-4938-8FD8-08D0A8BFC412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e2ecf1c1afaa0ef0cac38b590f4ca2866975e8","datavalue":{"value":"similarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635603$F0370069-107F-476F-A60D-ED1F806DFF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae00cb1ee09f704c0e378b06e9279059c6ab571c","datavalue":{"value":"up-to techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635603$18AA41A1-16C0-4CE6-8115-558950024A5B","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":"Q4635603$B24CA430-EC1E-4E2C-81CE-8646F1C57137","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1301fb511c4af13443446651894064e4436f8b1","datavalue":{"value":"W2077019667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635603$4542F148-7D74-4230-A0CC-09229F3DC23B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef65eab2c4369c40ecafa90adcdc2b0fa4acf334","datavalue":{"value":{"entity-type":"item","numeric-id":523132,"id":"Q523132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b8abebea784f49fadded445aadf5692adcadb16","datavalue":{"value":{"amount":"+0.9360703229904176","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":"Q4635603$F1604050-420F-4EF8-8A71-F936CC4C688E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd86b8984ddcfaab8f583b5118c37df604332ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5361143,"id":"Q5361143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33757e58148fa36876e29f03b2d10785a1ef3cca","datavalue":{"value":{"amount":"+0.9142035841941832","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":"Q4635603$511C6607-6D0E-41BB-BF51-34124E6C5004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9773ee3d70debc794eac4ab34c8a660087718bc5","datavalue":{"value":{"entity-type":"item","numeric-id":3591388,"id":"Q3591388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab24ffb7268aaf32ddaa2fb73589ee7b52ce582e","datavalue":{"value":{"amount":"+0.8579927682876587","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":"Q4635603$9A7FAF08-DBE5-4368-9AE5-96FFCBAE7912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c050a6f973d0161395fbeffd77322ed8533ebc2","datavalue":{"value":{"entity-type":"item","numeric-id":2863897,"id":"Q2863897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b3be59a76a559deb70bd501d4039e88a9b8e68","datavalue":{"value":{"amount":"+0.8500801920890808","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":"Q4635603$3F5D6F20-345A-409F-AB51-B974D0B22948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bc7eff5eb7f75b97c04ad8dbaef2ddb809e716","datavalue":{"value":{"entity-type":"item","numeric-id":2927660,"id":"Q2927660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5583d8405603cd1838f46995baab1adafb198305","datavalue":{"value":{"amount":"+0.8491529226303101","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":"Q4635603$845BA24C-8B63-46F3-86E1-6616A5686A74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635603","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635603"}}}}}