{"entities":{"Q5465440":{"pageid":7494999,"ns":120,"title":"Item:Q5465440","lastrevid":41246956,"modified":"2025-04-24T03:56:57Z","type":"item","id":"Q5465440","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2196590"}},"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":"Q5465440$CE2E0060-C5C0-414D-951A-5A87430E562B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e399f31877e8c56fe452269a8cf8e6429587a37b","datavalue":{"value":"1083.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465440$7A378EA1-965F-40AA-9450-55A8B8113E66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5465440$6AC608FC-0C8D-467C-8C97-A59829A76D32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dd83e30b5291de8829d091c1ba44aab3df736da","datavalue":{"value":{"time":"+2005-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5465440$9D3682CD-6211-455E-A8D4-57B2028E1689","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465440$362153E2-987F-4551-8A2D-C60710A0F2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465440$6FAEF706-6CDB-43BC-9E06-35372DB51F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465440$C3181A51-FEC6-450E-850C-A23DFF4E9A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465440$0DB74C61-D3A2-4EDC-9E9D-24D4F87374D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465440$79350308-65DD-420F-B644-8F68C1CC5B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465440$2368F6C9-AEAC-40A0-994A-0C7457F39173","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f500a36b12622e65a47831e2378c578cc38135f","datavalue":{"value":"2196590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465440$84E06ED8-77F9-4849-BE86-A8EA35176DD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d74efd2ea121b150e144b57f26c969a68d2a61b","datavalue":{"value":"calculus of terms for operations on coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5465440$1977CD6D-D9E8-43FB-BA3F-11383DF67244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"334ba09bb133667e6a5ad637e7df4a97f75e11b4","datavalue":{"value":"coalgebras of polynomial functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q5465440$C3EF18F8-5EFB-4323-9287-11F63F5B0534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5465440$6F05B87C-56F3-41A1-A4FC-531B0DC44665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92cd663aa59e8fe5365ec46a3daebfb6a8e99227","datavalue":{"value":"bisimilarity of states","type":"string"},"datatype":"string"},"type":"statement","id":"Q5465440$49AAB9C2-FD83-48B9-B65A-8248C0D39E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5465440$D93658C7-CA28-44B4-AAA8-C665C05FB82A","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":"Q5465440$66897428-9E19-4909-B376-B5B5FBEC1372","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c7413a9ede3ca04e9f52a6be50c4aa5213f76b","datavalue":{"value":{"entity-type":"item","numeric-id":2805164,"id":"Q2805164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f6356d8a9bc75120e8bd92b4e1f11fb61237920","datavalue":{"value":{"amount":"+0.9467187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5465440$617D4358-5282-4357-9BB8-A58743E1448E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37368c33864c41ebed677b9f65281a73b148fe7e","datavalue":{"value":{"entity-type":"item","numeric-id":5941166,"id":"Q5941166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba323070d5975d9916e7e207648dded8674561c3","datavalue":{"value":{"amount":"+0.9233283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5465440$3D448F40-89DF-4D2D-9A82-85C5772FC2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e60949f2cfcbaff4d9567d9b620910d42e2aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4914523,"id":"Q4914523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"776861eb431525b904568c895e6d9740fd277590","datavalue":{"value":{"amount":"+0.92097086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5465440$2B0BE9DA-1130-4799-8F0F-C557BFF931CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc11786cbe1246b922dc2ead180de2124ef82d84","datavalue":{"value":{"entity-type":"item","numeric-id":3617725,"id":"Q3617725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddb5f0ad0d7bc0acdf1a8d49ec968c851400a85f","datavalue":{"value":{"amount":"+0.9124535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5465440$FC145B11-15DE-4D24-82C2-CD6CFF9E2476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46307f85ba0e212470775b571739c05ac8bb4b2","datavalue":{"value":{"entity-type":"item","numeric-id":5941159,"id":"Q5941159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728dd9f090c14523060ebe29514aa8c5ce92e34d","datavalue":{"value":{"amount":"+0.9074298","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5465440$2F1B1330-E4B4-40C0-9315-0A45BC22E534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56fa506ae4f6d037ec3c5ecb23ecb116de3aba37","datavalue":{"value":{"entity-type":"item","numeric-id":2503317,"id":"Q2503317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db6beabad3eeb57ddb009f8bd4323d9c820e711","datavalue":{"value":{"amount":"+0.8989967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5465440$01FB7EDE-EB60-4ED4-988A-7455CCD8D509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a221533aab40513f2bd012249dcece64517dee90","datavalue":{"value":{"entity-type":"item","numeric-id":2847816,"id":"Q2847816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdde44f59832e13b33b91ade5709a6a3a161c4d2","datavalue":{"value":{"amount":"+0.8980615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5465440$4E772BAA-F0A8-4CA2-A260-3A16B53B7234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95f1fd27ea1872387d7ad74afb2654dbcfcab16","datavalue":{"value":{"entity-type":"item","numeric-id":5139287,"id":"Q5139287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb2401ee724513520a837d26d32df1ddafc5ca62","datavalue":{"value":{"amount":"+0.8977179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5465440$8DE3383A-6719-4566-B6C5-D3A5D9E2DC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e1796a2ba34dd3409a19c04893b66dc23561dd9","datavalue":{"value":{"entity-type":"item","numeric-id":4527915,"id":"Q4527915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae4d6ad2b85208d480b4eeeb28912c0cf0bb1c6","datavalue":{"value":{"amount":"+0.8954086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5465440$C2856AE4-F2D1-4956-B19D-B42D4B3F3601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9a85827000445f2db027c0992b8b738868ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5243399,"id":"Q5243399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a8dcc7e277300b69ee49f9f77e8022d3807ffb0","datavalue":{"value":{"amount":"+0.89146554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5465440$98C5F1B0-23B2-4D92-B1A8-42363ED0F6A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5465440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5465440"}}}}}