{"entities":{"Q2842561":{"pageid":2853281,"ns":120,"title":"Item:Q2842561","lastrevid":83484614,"modified":"2026-05-07T08:14:15Z","type":"item","id":"Q2842561","labels":{"en":{"language":"en","value":"A syntactical approach to weak (bi-)simulation for coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198610"}},"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":"Q2842561$284C9E4F-7B6F-4A1D-A17D-BD3D79CA8701","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1e96f5c94543b3f28fe26c49ec8a1ee64e49c74","datavalue":{"value":"1270.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842561$42CB5752-15EF-440D-8508-7572D4D87044","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ccc9fef6a1f6abf8abfee0e624da2144a54aa28","datavalue":{"value":"10.1016/S1571-0661(04)80368-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842561$7E33764C-B17E-40A9-979E-628614475D2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75dd1185359876070a8e257208b949e9e0a23d24","datavalue":{"value":{"entity-type":"item","numeric-id":2709809,"id":"Q2709809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842561$57FD532C-D7D0-4691-8625-93D09DE41FF3","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":"Q2842561$E6A4D635-BF85-468E-9F94-D44F96FCAE23","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":"Q2842561$6BAAD6D6-6FB8-4379-BFA3-47DC2A345ED1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842561$CDC0F0E8-1700-41FB-9E2E-92165D63DC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842561$841DC694-8793-4D5D-B66F-EA02828F108E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59b0bcf573772806db2907be4f71709b270544d7","datavalue":{"value":"6198610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842561$9CF1D750-56FB-4911-935E-B5295BD8DF87","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"acf62e8a70e4a3cf002b062d3c3bed8846887366","datavalue":{"value":{"entity-type":"item","numeric-id":15889,"id":"Q15889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842561$11758FE5-455D-4273-9A5F-E2AE45F8C515","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":"Q2842561$9042C67F-CA41-44F9-9B09-BD29BB239534","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5288b225a4e98af31f8f325669beac3bc0b61060","datavalue":{"value":{"entity-type":"item","numeric-id":4917037,"id":"Q4917037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842561$3BB0B396-A87F-4272-9D20-E4F39F165140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6e943633bccda3e55815c5f2913e5666b2c6c55","datavalue":{"value":{"entity-type":"item","numeric-id":2759839,"id":"Q2759839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842561$5005FB63-31D9-4232-B4A8-8B7311C311F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842561$4FA43E61-978A-47C8-8FD4-A55B5A1F3AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0201cc6bcf0bea718c2cd517493f15cdc5a65520","datavalue":{"value":{"entity-type":"item","numeric-id":4405697,"id":"Q4405697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842561$144A6DAE-803D-4EAA-BE03-358493C86D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842561$B815C95F-CA99-434D-B0DB-40FCB50E256F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aac18a0f2a80a0259bc88c065a25315b162988fc","datavalue":{"value":{"entity-type":"item","numeric-id":4329244,"id":"Q4329244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842561$EFAFA47F-B546-4DE5-8455-0C7B0748F44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f731e63f751eda97d9f9a0b426ed48152b6bb5db","datavalue":{"value":{"entity-type":"item","numeric-id":4222950,"id":"Q4222950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842561$EC0FA8EF-D88D-4767-90E0-1787401D782B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2185f9fdfc5e358c26d1f96adf5ec562c685e8a1","datavalue":{"value":{"entity-type":"item","numeric-id":2842558,"id":"Q2842558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842561$5E7F20F0-A77A-4AF9-A664-1137BD9CA779","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":"Q2842561$CCEF71C5-4726-4479-B886-00060433A679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c10a827d2af24fcbdf825a50f1eff9d38a2cb8","datavalue":{"value":{"entity-type":"item","numeric-id":2762529,"id":"Q2762529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842561$69A8AD22-6E15-42B0-B5EA-04A0FF74435C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbfbc9d107d10f469b35a5fc043708881c82d23","datavalue":{"value":{"entity-type":"item","numeric-id":4856658,"id":"Q4856658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842561$768AE029-D738-48EB-931E-65603BC46594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d241809bbdcf39e7a4f6607f458e364026fd777d","datavalue":{"value":{"entity-type":"item","numeric-id":4256310,"id":"Q4256310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842561$FA637918-F96A-4F97-AA56-85D6AE0B8F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b71c93be2c18813a19f88ee07198c2ef259e","datavalue":{"value":{"entity-type":"item","numeric-id":2841308,"id":"Q2841308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842561$2F8461A2-22D4-4118-BFBA-B8BD5B24B1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a6c9bfea2753836640bc505c6bd2092f7b8928","datavalue":{"value":{"entity-type":"item","numeric-id":2709810,"id":"Q2709810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842561$51BA5E57-B9A9-4BBA-B1DC-DF6F5022A715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2080ce41dbb2abc15ff7cf44f0da56f791068775","datavalue":{"value":{"entity-type":"item","numeric-id":4943550,"id":"Q4943550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842561$56A28CFB-EADF-4A34-9C85-3628C1C62AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7029317a5f94cc73979296e01633b9e1b95a332","datavalue":{"value":{"entity-type":"item","numeric-id":3753475,"id":"Q3753475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842561$A155D9D7-DE8D-4C2E-AE7B-54F1E5B809C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505ed0ccd70e9dac58c0d9145b209425580f86f4","datavalue":{"value":{"entity-type":"item","numeric-id":4857386,"id":"Q4857386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842561$2FA69A77-58B2-48A2-9EB7-154881625C3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9915bf311aa6ce705a3e5b259dc12829a736f3ce","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80368-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842561$8FB82645-6BC2-4BF8-85C3-F473D647F682","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5eda7f5d0474b706d061262404e04f797f42df1","datavalue":{"value":"W2062493106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842561$BD006DC1-A50E-4BDA-9B0D-B467F18EF567","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c232249ce87ef436753a81fc58836d4f7ad17aa3","datavalue":{"value":{"text":"A syntactical approach to weak (bi-)simulation for coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842561$D8A1E611-B2BD-473A-924C-74D376836899","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56437bc5a9701315e51acd30cf500af1f18cf0ce","datavalue":{"value":{"entity-type":"item","numeric-id":2915163,"id":"Q2915163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af64ded8f3bfe6bdbfa8ca6f2fd081ada4996e5a","datavalue":{"value":{"amount":"+0.8954075574874878","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":"Q2842561$FF3DC576-3C40-4028-B041-E7308A361093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3081ac765471a63258f0ed2e84423eec00a9615b","datavalue":{"value":{"entity-type":"item","numeric-id":2849887,"id":"Q2849887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45b98168be28410fff84d1d3a9bca0ae74ee41c","datavalue":{"value":{"amount":"+0.8662906289100647","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":"Q2842561$A6EA5A36-7CCF-43B1-80B6-9A8503036AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3b61c8e64f8d558217a846ba401523ccda8990","datavalue":{"value":{"entity-type":"item","numeric-id":2841308,"id":"Q2841308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1a271fe322fd725d134e4db092372669a299321","datavalue":{"value":{"amount":"+0.8521147966384888","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":"Q2842561$C3A983DC-3163-42BE-8979-6AB3CF0DF7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ae6a9775afd27d41cdfeaf61344334bda64b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4621137,"id":"Q4621137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b098069da1bda2be9d40ca0c4c31ba8720213e89","datavalue":{"value":{"amount":"+0.8491562008857727","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":"Q2842561$4C8E46BF-DFEC-44E6-94FB-368890AEED6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee587700770f97314aea68c284cabec6b634547e","datavalue":{"value":{"entity-type":"item","numeric-id":2941763,"id":"Q2941763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"689be0c0a175d1e1499a16fea31b822ea7ab958f","datavalue":{"value":{"amount":"+0.8436278104782104","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":"Q2842561$BA4B7C29-5245-4EB4-9945-AED83E3EAD1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A syntactical approach to weak (bi-)simulation for coalgebras","badges":[]}}}}}