{"entities":{"Q5453504":{"pageid":7483063,"ns":120,"title":"Item:Q5453504","lastrevid":40960775,"modified":"2025-04-16T00:33:58Z","type":"item","id":"Q5453504","labels":{"en":{"language":"en","value":"Generic Trace Semantics via Coinduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5256519"}},"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":"Q5453504$205A909B-EDCF-4DA6-9DD7-3824617C16F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4ca602f8634f7a00675d53ce8c81b6702086cc9","datavalue":{"value":{"text":"Generic Trace Semantics via Coinduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5453504$1BEE0786-86DF-4E92-AB01-1CFE5C3875C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a021deda1f32e07869e928a866fad2d056f4ba8","datavalue":{"value":"1131.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453504$EDCEC60E-38B4-42AD-A243-572D78B34E52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8296a8632b669e23a5cf30ed89ed1db3c7f6366e","datavalue":{"value":"10.2168/LMCS-3(4:11)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453504$9EEDA66F-6140-4C78-8D91-1D1A339D05B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453504$89195F46-9265-492A-83E4-DA4AA3CE8115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453504$06195AF2-A88C-454E-AF3A-18B20AE6C0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"faac90b189d470d059fb0f0202403aa6361966c3","datavalue":{"value":{"entity-type":"item","numeric-id":549173,"id":"Q549173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453504$A3EF9328-5492-47C9-8EE2-0FEB06407A5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453504$37F50FB7-C089-4357-8DCA-49EF3198306C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"198ebadd055eae6a54aaf8b4ed7b348339bb3788","datavalue":{"value":{"time":"+2008-04-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":"Q5453504$AA819257-5D7D-4C33-8EF8-8F02734A2498","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453504$E27FB7F8-769F-4DB4-8BCE-75F785393E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453504$57CBA7D6-2006-4A1F-9159-6942C26C3C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453504$4B1D9CBD-06B1-4860-B790-4CD2AA48BB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453504$E87B5CF4-794A-47E3-8BED-050393172723","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3fa615014383f0e6a5f9dc2cd471fbe90d74269","datavalue":{"value":"5256519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453504$5CC3C99E-FAFC-48C7-A6AD-A1D4719E5465","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94b8a3473f0ffd688a45f95929d58e5dc56714f","datavalue":{"value":"Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5453504$6FC9DF91-5991-48FB-9B62-7591E8E7DCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5453504$34F42B94-7B0E-4B56-AC8A-5BB8B3241304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f17ea1aaf292843045de6c8e0fba1afa1d6af9c","datavalue":{"value":"initial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5453504$D86C97BF-0907-4909-892E-BD7D3309C515","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":"Q5453504$A85D0A1B-55A9-4CBF-8463-5E98FDDEA098","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24b9c5319ede2aba506ace6773d56ba28174eb5","datavalue":{"value":{"entity-type":"item","numeric-id":2848946,"id":"Q2848946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab9ffcd152d4192c427086e219154fb86dab721e","datavalue":{"value":{"amount":"+0.92817676","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":"Q5453504$D01BBC22-4AD7-4C3F-9063-7CE533305CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1daa601c0a91bb76af3b8d0c5acf03e6857fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2847813,"id":"Q2847813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4ce1cefa928babcc55d02c1a54e45342969910","datavalue":{"value":{"amount":"+0.91861165","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":"Q5453504$20EBC87F-7209-4278-85E5-C164FC21A067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786e84a9a813d55925e26f5f257c4741ca9ee8fa","datavalue":{"value":{"entity-type":"item","numeric-id":2914679,"id":"Q2914679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d07f6e1f6e3b4cfd002c3c8ba2eb76fe34c617","datavalue":{"value":{"amount":"+0.9182442","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":"Q5453504$2D820FCE-B383-4BC7-BA0C-CEDF465C1BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca15c00dde79c62088bd676bf6efb7acca1112a","datavalue":{"value":{"entity-type":"item","numeric-id":2341701,"id":"Q2341701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d07f6e1f6e3b4cfd002c3c8ba2eb76fe34c617","datavalue":{"value":{"amount":"+0.9182442","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":"Q5453504$65AAC07A-D073-4BDB-B6A3-C9B056C79DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"799352b2f5a27c905ac68a00cb7fac9ea718e0b1","datavalue":{"value":{"entity-type":"item","numeric-id":2974794,"id":"Q2974794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b25bc627eac347792d1629fdc82e67bb5dffdc","datavalue":{"value":{"amount":"+0.9042114","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":"Q5453504$3275AC03-C6D9-47BC-AB69-D0E28B9A2561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0447d37e76dc187af60fc3935d59cbba3b1f10c","datavalue":{"value":{"entity-type":"item","numeric-id":2948557,"id":"Q2948557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b25bc627eac347792d1629fdc82e67bb5dffdc","datavalue":{"value":{"amount":"+0.9042114","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":"Q5453504$01F73580-A562-48A3-AEF3-5D1911E19816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5978f7363ae74cae4938e03499813444db9e52af","datavalue":{"value":{"entity-type":"item","numeric-id":5275355,"id":"Q5275355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33a87f5529d79cfacbaf6769c0db92a83e84e094","datavalue":{"value":{"amount":"+0.8990134","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":"Q5453504$BB7A9AAB-ECA9-444F-8468-C80BE984DC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7426df4dd139b8554878ae469721ca034ddaa6","datavalue":{"value":{"entity-type":"item","numeric-id":2919451,"id":"Q2919451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217d8da69fd6e9559254fb0fc35d2d161b2c8c9e","datavalue":{"value":{"amount":"+0.8972697","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":"Q5453504$6DCB42D5-88AA-47F5-9700-BFBD269B562B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea47ba968525800d4cb78ae54ec787bf8b92dd41","datavalue":{"value":{"entity-type":"item","numeric-id":4608676,"id":"Q4608676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3c54b7f894a1634776084cb8a28e8ffd817c71","datavalue":{"value":{"amount":"+0.89278823","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":"Q5453504$F2FBDBDB-8370-4122-98C2-7735B031AFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8431ac478ad54a4bbd8929bdf45fb44eb6f68b","datavalue":{"value":{"entity-type":"item","numeric-id":2237336,"id":"Q2237336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30ca1424118076b273d0fa4c63906faafa86f68","datavalue":{"value":{"amount":"+0.8896731","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":"Q5453504$E4A824D8-0BE4-45B7-B1B6-832A6EC3ABB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5453504","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5453504"}}}}}