{"entities":{"Q1683709":{"pageid":1694450,"ns":120,"title":"Item:Q1683709","lastrevid":52969415,"modified":"2026-01-23T22:38:08Z","type":"item","id":"Q1683709","labels":{"en":{"language":"en","value":"A complete logic for behavioural equivalence in coalgebras of finitary set functors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6814744"}},"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":"Q1683709$F0EC56ED-F686-4FEE-AE25-0F4E4B9BC918","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d63a7c181829aceb0dca1d76a113afb6afdcaaab","datavalue":{"value":{"text":"A complete logic for behavioural equivalence in coalgebras of finitary set functors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1683709$5BDD3C68-5946-4ACB-9B6D-09B07B6202DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f82458beec4726d63886585cd1f1ffb8e45f4076","datavalue":{"value":"1382.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683709$0D10210F-93DA-4424-B6F9-DC9DCAE087D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb598de9cf12a426377538ba6dcc4ce7ae83be18","datavalue":{"value":{"entity-type":"item","numeric-id":265827,"id":"Q265827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683709$9E5F6CF0-1D96-4992-8073-513380025DF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683709$526DEBCE-AC1B-4432-91A8-06D038E05FD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0b35d2e482cf5e430246ef005011e53c42974f0","datavalue":{"value":{"time":"+2017-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1683709$1DBF3ED1-A6F7-4310-8E4F-9790CB2C7675","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8cb9222082c6cf9d692a4314e23559c6dc4e684","datavalue":{"value":"https://hal.inria.fr/hal-01446025/file/418352_1_En_10_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1683709$229EE867-82F1-483D-8E85-C191770D693D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683709$5D488363-DEF8-4B7A-9DA3-E7BACB96C6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683709$F7BD9163-8505-4D1F-9853-3D78CA921672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683709$B283960C-76CB-4E60-A07D-10956D5144AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75484c80d9d7796f91ec4ecc61de5292e9b71a14","datavalue":{"value":"18A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683709$57F95F4D-7D32-495A-BEF2-B5CC4F1F0FAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba5ad8fbe37660670a3003994cc3849fa42b6fd4","datavalue":{"value":"6814744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683709$6A6308A6-E8AD-4883-A461-DE1145AA7DD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07545e3190c10d222c4524317f97cc37cdf2b23f","datavalue":{"value":"behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683709$BCC9C51D-C494-4E45-B54B-73F7118749BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d2bf237feecae8165947c47bf8435f1b145d94f","datavalue":{"value":"finitary functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683709$CB7BE655-3D95-4E49-99DC-30013009F780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0d3b1051d6b14380be579691efd5e4e4838c760","datavalue":{"value":"bisimulation up to","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683709$33B9A117-BED6-452A-9CA2-BE11DF553112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d09a0f09e9dbda634cbb9c5f07e6d2da08243ee5","datavalue":{"value":"signature","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683709$C4E7C7A4-DA00-4426-BD72-2FE410B4BFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b74eaa0012a6ddc5fd6395449e56d5e93e22bf65","datavalue":{"value":"compositional presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683709$D1420112-E879-4519-A192-F82687CCAC2F","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":"Q1683709$5CC055CD-2CBC-4529-983A-33892A673FC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab8dcfac601b14c67708b2bdca22c4378e522423","datavalue":{"value":"W2613196302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683709$5CCF5577-C075-4085-BD54-5DA395248EE7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1971bf5605fae3a9a65812d53c969d5e693558c2","datavalue":{"value":{"entity-type":"item","numeric-id":2914676,"id":"Q2914676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683709$A0224B40-E0BD-4D9A-99F5-AE3F1028E502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cf2c7f0d874d4093c83b686314d0e9df6f380c","datavalue":{"value":{"entity-type":"item","numeric-id":1398467,"id":"Q1398467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683709$A363F991-A355-4628-B86D-8AE3289A9EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5e8bdcd732b9a09be8763c2d0eaa52668f5a048","datavalue":{"value":{"entity-type":"item","numeric-id":2897952,"id":"Q2897952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683709$116B04D0-CDD0-4706-A3AE-2303EE11C877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ddc43c7ce3028076c1ae38ed52053456ef0b81","datavalue":{"value":{"entity-type":"item","numeric-id":3617725,"id":"Q3617725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683709$8D76E438-7A66-474B-B44F-E997643BF271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b62cef7cfbdde29813a82f7eed9dc0834eb4aab7","datavalue":{"value":{"entity-type":"item","numeric-id":2786140,"id":"Q2786140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683709$D3EDF19C-19DC-490D-AEEB-AA0E8FDFD4DD","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":"Q1683709$5922CE4D-D43A-4982-968B-0C63B68E2812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d417a015f0dbcc2e89d6a6b619e8c3c347cf47","datavalue":{"value":{"entity-type":"item","numeric-id":5739455,"id":"Q5739455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683709$A5764D19-74A0-4748-AD00-5BB4DF10B548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d83fb4ecf544109ae36a4c56bfe011bc092bdc30","datavalue":{"value":{"entity-type":"item","numeric-id":1247472,"id":"Q1247472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683709$1B2F2289-AF54-448F-8C43-28C8DE6CB68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683709$49DC96EF-A224-4436-B5E1-CF5A77E68CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c3fe4fe60e46216ce5fae043f36e24fe49d426","datavalue":{"value":{"entity-type":"item","numeric-id":4917038,"id":"Q4917038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683709$BF80B764-71C2-44DA-8A17-C7F0FFA6BAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdad0cfb34515721b263e2bf6e224bea66c031","datavalue":{"value":{"entity-type":"item","numeric-id":2897949,"id":"Q2897949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683709$BC2F760B-4FCA-4432-9A5E-09B200D845B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"229e0b7f85ace2e17ee107b5d2d61b396fd5d8d1","datavalue":{"value":{"entity-type":"item","numeric-id":2986809,"id":"Q2986809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683709$EE150B78-4241-44E4-9C0D-E6B00B07EA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4832637b64a934bed98845bfbdbd644efeebd591","datavalue":{"value":{"entity-type":"item","numeric-id":5361143,"id":"Q5361143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683709$58F6B4EC-0E1E-4E2E-9B30-2E944400BFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a1a59fd4f5322ee8d09a8031b01fed6dd672f4","datavalue":{"value":{"entity-type":"item","numeric-id":3056295,"id":"Q3056295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683709$7E4AA510-EF31-43DA-938D-C0C31EF7E148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb78708f373fc5d0c546b5bf123ee4d1ecec205","datavalue":{"value":{"entity-type":"item","numeric-id":4212915,"id":"Q4212915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683709$82ECA320-22BE-4DFD-BAA5-BD8FD14647BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10bee822c04a68f8d971c9ee25889cd02eadd0b3","datavalue":{"value":{"entity-type":"item","numeric-id":2500475,"id":"Q2500475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683709$F55ECE4A-0B6A-4E6A-B957-2DC5F1BBAD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b10043574401804d8bdd7c3653c3ff3d4446380","datavalue":{"value":{"entity-type":"item","numeric-id":418134,"id":"Q418134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683709$96B2DA2A-0249-475C-BAAC-E7885AC25F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e896c75803fe00b7716aa64499f6fd323ddeec","datavalue":{"value":{"entity-type":"item","numeric-id":687583,"id":"Q687583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683709$FB4677B6-3026-4EA0-9608-61A9C236554B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9f2b539e3d486fb674193b9df2529a05c1a1527","datavalue":{"value":"10.1016/J.JLAMP.2017.05.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683709$DF58D21C-5578-437C-BAF1-2D60EEB298E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616755011f98ef2d1910815149a6ce09da979638","datavalue":{"value":{"entity-type":"item","numeric-id":5739455,"id":"Q5739455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dd2a9dad5cedc8cca000e1f618e09d3cc9c86c6","datavalue":{"value":{"amount":"+1.0000004768371582","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":"Q1683709$67EA8417-18B0-4B80-B276-A1A4F049ACFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b96d201556d4c14c86c4fdd07156aea1fd1c5983","datavalue":{"value":{"entity-type":"item","numeric-id":2873671,"id":"Q2873671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd7e2007f471af61dc966c6fd61823223cf9929","datavalue":{"value":{"amount":"+0.7969796061515808","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":"Q1683709$8E72BE84-A380-44ED-9736-D2C9099469B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba5df14dde303d572073e741a384aeab33eece7","datavalue":{"value":{"entity-type":"item","numeric-id":3056299,"id":"Q3056299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aae60edd37c3e5927a44fc48ad721138fcfff13","datavalue":{"value":{"amount":"+0.7950111031532288","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":"Q1683709$6FE80853-CED4-4C81-84B9-4814D51F21A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6089f3308cbcda5ab78eb9084ebf0d68522479f","datavalue":{"value":{"entity-type":"item","numeric-id":2914235,"id":"Q2914235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"874b28f22d20e954aceb433da7b66cf266d62c21","datavalue":{"value":{"amount":"+0.7941783666610718","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":"Q1683709$E462BF94-4D2D-4BE0-BE02-CF50D92B8CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa1382323b8a5f7268f5f18db871e3eda4cbb37","datavalue":{"value":{"entity-type":"item","numeric-id":2888480,"id":"Q2888480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d88abe878e488463b42e505d4f2627a31ff319","datavalue":{"value":{"amount":"+0.7899845242500305","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":"Q1683709$2C91A3B7-66CB-46FE-AC72-C52D0005638F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1683709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1683709"}}}}}