{"entities":{"Q4635817":{"pageid":6665398,"ns":120,"title":"Item:Q4635817","lastrevid":58308537,"modified":"2026-04-04T16:08:05Z","type":"item","id":"Q4635817","labels":{"en":{"language":"en","value":"Monadic second-order logic and bisimulation invariance for coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863402"}},"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":"Q4635817$7133707E-E282-46C8-B5AF-A354DFC407E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8739724a8134c61e56c8eda644c6475e9a3e853","datavalue":{"value":{"text":"Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635817$0A3FF5EC-8E9D-4BD8-87D7-D17392481583","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90b8e800b8c5e87d9f6f7acb8e307e7f2938f7f2","datavalue":{"value":"1394.03083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635817$DB3F802F-965A-496F-B354-D99EF759F69A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f188cc5fb8723c1fe4223a0b3c1f6068706c8344","datavalue":{"value":"10.1109/LICS.2015.41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635817$B106EAC9-196B-45E7-83AE-3C2173594F83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21f5340f94d7e8bca6721e5302fe3e9f5e2cc1b2","datavalue":{"value":{"entity-type":"item","numeric-id":694495,"id":"Q694495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635817$6CE1F7F7-918B-46BC-AB80-3A119DAB1831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ed8d7a8df45b03690f51dff23fdb3cd8623bace","datavalue":{"value":{"entity-type":"item","numeric-id":1731841,"id":"Q1731841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635817$92CA0C79-41A7-41EA-9563-593218B07B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635817$30C890AE-05AF-4B8A-BA0E-F2E5F5513ACB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"83d65420a138b2c4ae4851502a73366edaf00743","datavalue":{"value":{"entity-type":"item","numeric-id":4635786,"id":"Q4635786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635817$70654E6E-011C-4204-9C10-6C0657DF0997","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":"Q4635817$FE7EE363-DBCA-400A-B0A2-A3CF2A06E324","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5dcd7bc1fdd9ce76c6f7c20a74152e30aaa1cf3","datavalue":{"value":"https://arxiv.org/abs/1501.07215","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635817$DEB1D29D-860A-4535-A351-7625D801D5C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635817$2B0073AF-1D81-4E0B-BD4B-704F689ECBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635817$7D16D4F7-FA05-47EE-9A57-32B51E992CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635817$60FB14B9-DF85-4FC0-9D24-9B124F50D9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635817$F8455B0F-6268-42E3-84DB-D3A308182681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635817$1E68AF41-5BCA-42FF-AD1B-7743B691B691","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96451fbb1474a8bded16c6c46783776c1872a0e2","datavalue":{"value":"6863402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635817$1BF3BF3A-20E9-4A19-8070-5963224AF468","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":"Q4635817$415996A1-13C0-4A6D-BD48-DC7380B4833A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9790b58338fcfd26033d16a8368d59acdbf3ee39","datavalue":{"value":"Q130863272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635817$993176D9-940E-40C2-9526-1FDB59C1054E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dfc025acdbcb2b51a01d9c79ece8e8eb0fb3b01","datavalue":{"value":{"entity-type":"item","numeric-id":5278080,"id":"Q5278080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26182b6493ae9789cad8eb29e64da81845c39a56","datavalue":{"value":{"amount":"+0.9108357429504396","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":"Q4635817$9AF66CB7-1FEB-4600-91BD-517340F7D9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7b8496f9ca73c6ac516cf1a9390057873dd72e","datavalue":{"value":{"entity-type":"item","numeric-id":5249665,"id":"Q5249665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676ac4b28862057245770c2d74599a21707627b3","datavalue":{"value":{"amount":"+0.8422892093658447","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":"Q4635817$E9364248-DECD-425A-98FE-E3132A1C197C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56dea6ad997ecba48c4a0ab781f9549648f6e8f5","datavalue":{"value":{"entity-type":"item","numeric-id":4412837,"id":"Q4412837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"537f73e5a57f8a5b61d4b366db02181ff8a5db4d","datavalue":{"value":{"amount":"+0.8033037185668945","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":"Q4635817$1DC86BFD-0183-45C4-871F-11C3DF48DBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b5d1c10184e87f84fea62c405c49013a7aa9f5","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"537f73e5a57f8a5b61d4b366db02181ff8a5db4d","datavalue":{"value":{"amount":"+0.8033037185668945","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":"Q4635817$2611C156-94AD-4C9E-BCDC-3B1652553ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10cbd1351bbbbdf16fd85eb930f01856edcbce5b","datavalue":{"value":{"entity-type":"item","numeric-id":2847811,"id":"Q2847811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe5b7b764e708f23842230e54d21eeccf7437a9","datavalue":{"value":{"amount":"+0.7983654737472534","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":"Q4635817$745B745F-8C79-424B-B332-749972012EA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635817","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635817"}}}}}