{"entities":{"Q6589842":{"pageid":14200999,"ns":120,"title":"Item:Q6589842","lastrevid":42367183,"modified":"2025-06-13T06:43:31Z","type":"item","id":"Q6589842","labels":{"en":{"language":"en","value":"Checking equivalence of corecursive streams: an inductive procedure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7898953"}},"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":"Q6589842$58D953AD-C878-4B1A-8E1E-885952B57169","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72b7b446ddbf6fd94da5c930d5dc64042fdc84ed","datavalue":{"value":{"text":"Checking equivalence of corecursive streams: an inductive procedure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6589842$83EBF219-595B-4ADA-BAFC-34D41E5A1F96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0590aef4ebe74f98a7f136dabe76b5620737ce3","datavalue":{"value":{"entity-type":"item","numeric-id":737081,"id":"Q737081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$E04291AF-B208-4FC8-954D-0C063D54E075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c323a67b651e2b3df4fb10e2a531590b16706f34","datavalue":{"value":{"entity-type":"item","numeric-id":2163152,"id":"Q2163152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$0C15815F-2C44-49E4-A635-0B15E78C4D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f448c722ebdcd657017d2557fee6ee764cbfbc2","datavalue":{"value":{"entity-type":"item","numeric-id":418192,"id":"Q418192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$8D78001A-A979-4008-B319-A0761D8643B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$D38453C8-44BD-4686-9375-2B54E4973FB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ac5a36ab43e3a34b30d87cbbbc4e56173ed434d","datavalue":{"value":{"time":"+2024-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6589842$B599C984-CC26-42B0-9AF8-75A6F3F2A714","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589842$0EAED261-6470-47B0-B1C3-43FFF6D1640C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c82395eb6f6046989fd9c73f395dbbdf8cf62a71","datavalue":{"value":"7898953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589842$93F005C7-8562-4711-B1AF-67113782635F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589842$D002D1B1-8AAF-4C84-9099-82615C37FC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c51cccffae59c64d763e20e065217f0735ac7f9","datavalue":{"value":"stream programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589842$A5D39EF7-04F5-4DAE-B494-938C53E0E918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d29ca336072ae94a5956b220f122b324d515839","datavalue":{"value":"regular trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589842$70404BEC-DE1B-4A37-940C-D48AC4430EF3","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":"Q6589842$C442A7C9-5286-472A-B88A-8F765A3EA935","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6069fe941b593d2933dca9b2b6dea1fb51529c05","datavalue":{"value":{"entity-type":"item","numeric-id":4408807,"id":"Q4408807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$C4A98637-4B2A-4E0C-8AA8-5E9A2AE7E064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1fe7ef5fb163e3ca6a62afabf21d3b9988f397d","datavalue":{"value":{"entity-type":"item","numeric-id":2163153,"id":"Q2163153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$EFCDE6CB-1A32-4A1A-8229-8869B0D80C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe20a35b28f789ac00b425e0e7f9a0cdf3f3b0c3","datavalue":{"value":{"entity-type":"item","numeric-id":6049926,"id":"Q6049926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$D67EB93A-5A21-4F6C-A872-04B4F8C16C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26dd6261532997edf79743ffaa3bbbae1e6fba9e","datavalue":{"value":{"entity-type":"item","numeric-id":6070807,"id":"Q6070807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$86322B0E-EC63-46E4-B3F0-7C7C61F64DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"142a42655803b94237848507ab4a61f241eb69a3","datavalue":{"value":{"entity-type":"item","numeric-id":3638255,"id":"Q3638255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$3E4DCC51-BDDD-4F1F-A25D-1F26AA4FC380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$E1094C7A-BC72-486E-ACB6-2DE3073415DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ba598bca58e7f90781e4a95312f60c1dcd1a86","datavalue":{"value":{"entity-type":"item","numeric-id":1151016,"id":"Q1151016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$DDE976A9-CF35-45A5-B381-D3F56FF23C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"265751ac38011ad2d07c56df61acf97e47976149","datavalue":{"value":{"entity-type":"item","numeric-id":5028421,"id":"Q5028421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$67C2AB35-76BA-431A-AC26-1AAFDBFCDD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4f440a51a6c277fd1903f31867b4ae6407809e","datavalue":{"value":{"entity-type":"item","numeric-id":5140017,"id":"Q5140017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$048D11E4-FE24-4D4E-979A-EEFFD707BABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e304ab5a6bad29dd56cc499457d09fc612390983","datavalue":{"value":{"entity-type":"item","numeric-id":2875229,"id":"Q2875229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$BFAEEC35-4869-4F93-92F5-F98F9E7FC9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1cc8600e335c4acb5a5e79706ce4f0fb2de7299","datavalue":{"value":{"entity-type":"item","numeric-id":4709841,"id":"Q4709841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$B2A6B472-1A7C-4B2C-AE30-096FF2C28C1E","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":"Q6589842$946E0561-0397-426A-89A5-89642FAC850D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f7ca26c971bc69787decc3ce6effd7fe1a33d6","datavalue":{"value":{"entity-type":"item","numeric-id":3021409,"id":"Q3021409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$C3E83CFF-AA4B-42E5-9669-D08C4917F963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85de0825e7ed1700518715e73501398cbb77cb4","datavalue":{"value":{"entity-type":"item","numeric-id":5178454,"id":"Q5178454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$770D96D4-DB0A-4C14-99D0-7DD4358A7049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df85299b891d6947b1b4eb9574fc8cc370415c8","datavalue":{"value":{"entity-type":"item","numeric-id":4589614,"id":"Q4589614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$0BCFF12C-9DCB-4A9C-B107-8ED1DB099AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b8fc5b07d88fd354ded6b197cb3b095dd6cc909","datavalue":{"value":{"entity-type":"item","numeric-id":2409734,"id":"Q2409734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$7335B703-6D60-4769-8E7F-64BE9527602C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51d40ac128d3b8f56437d853da9c099079feae2","datavalue":{"value":{"entity-type":"item","numeric-id":5739982,"id":"Q5739982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$86CA1388-6295-4F92-AEFF-65A787529D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca3c893ec274449af409e1d364b4d648dd50b27","datavalue":{"value":{"entity-type":"item","numeric-id":1012129,"id":"Q1012129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$4674D7BC-0DEF-486D-858B-05A3A109B781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc1f3fbb4fbad3f8876f0ad83aae7b512e54cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1177158,"id":"Q1177158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$D37DCBB1-84CD-48CB-8FE7-BD80E5FBD8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95a27f25eaea1a52ec5d63d6f8282ce8c085888","datavalue":{"value":{"entity-type":"item","numeric-id":4657752,"id":"Q4657752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$2E7A5858-D3B4-418C-82C6-099F799C8D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d64794bab5e453242923fdf7012c2074f72fd8","datavalue":{"value":{"entity-type":"item","numeric-id":5428832,"id":"Q5428832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589842$4C326EE0-0F7E-42CF-A54D-2DDD7AE09A5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1da5f2973a6ce385053def09117bae46e60ee823","datavalue":{"value":"10.1016/J.TCS.2024.114680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589842$88D9AD2B-3A18-46D0-B398-177AD5E5F100","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6589842","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6589842"}}}}}