{"entities":{"Q2946691":{"pageid":2957411,"ns":120,"title":"Item:Q2946691","lastrevid":58074675,"modified":"2026-04-03T17:08:23Z","type":"item","id":"Q2946691","labels":{"en":{"language":"en","value":"Sound and complete axiomatizations of coalgebraic language equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483195"}},"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":"Q2946691$D2078D3E-D199-4720-B349-9C73581F3C2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96eeeabb7300f72d6e34873fc0b083b1898ed263","datavalue":{"value":{"text":"Sound and Complete Axiomatizations of Coalgebraic Language Equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946691$2EF37FC3-54B0-47C6-933F-7BBD7D4CCE5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da75d70cf7d908809c842a0cbdf8dbccac48c5ba","datavalue":{"value":"1353.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946691$770FA083-F9B7-49EF-ACA6-E6AA39863A99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3097d3f2364f4fcaf3831f562a1301cce8dfea6","datavalue":{"value":"10.1145/2422085.2422092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946691$DB43DAF8-9B40-485E-9823-F6BDA612E0DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdc2aa840d155fa6d7f395ddbc0ac0dce6f38cb","datavalue":{"value":{"entity-type":"item","numeric-id":265816,"id":"Q265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946691$1DCCBA7B-60CE-40F8-98F1-3A25625532B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"545b80613dc1ee6a751f6b195b3ce274e84dcf7f","datavalue":{"value":{"entity-type":"item","numeric-id":265815,"id":"Q265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946691$8BE76ECB-3D2C-41D9-83CF-434C9D00CC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946691$46939BEA-27F2-473C-810A-EC72903E70D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946691$F831F354-8A9F-4F52-AE49-DC805B749A95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946691$467A7B4D-F651-492B-928E-6D66B4428517","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e34a6e0a99785272773878ebea99c5ab9fefa67","datavalue":{"value":"https://arxiv.org/abs/1104.2803","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946691$2F54F418-BAC5-4061-AD8F-D1FDCB4A2314","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946691$597322D3-CFCC-4C15-8886-777E912E66A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946691$EE37F38C-977B-407B-A690-2385A3242575","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbeac686070e8f38808ed46e61fbd2834eed8fd9","datavalue":{"value":"6483195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946691$F3D954E3-272D-4C83-8953-E75CBE84D18F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946691$F3A01577-1B6A-49E3-ADCE-DF36A3E46788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef5786d28052f9ce03565247eadfd30f0feec6e","datavalue":{"value":"language equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946691$7F6FFD9C-CDE1-4309-8A82-A32FB3E8A1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946691$71503378-50AE-4D22-B68C-5CB6ECBCA44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49916021edccb418deb9b5c9398917147892e7c","datavalue":{"value":"trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946691$943F82D9-E4FF-4670-A67B-2B3C3389CF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266cd2fb37ad2ba00390f1ff46b4c5e9361f6aa9","datavalue":{"value":"weighted automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946691$2F30CDD3-2D1A-4859-860B-DFD87995A93A","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":"Q2946691$CFC0659D-4C42-435D-AAFD-7E9456F9BB66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6785cfdf436f7e406eb1451376e0107918cf9840","datavalue":{"value":"W3121572647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946691$E8365651-3427-4A0E-86BE-622FCF91B71D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5b3d3726555a40e4669cac61de52f3d06bf74139","datavalue":{"value":"Q130970086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946691$B012631C-44A9-4275-AEEC-1AE1056DB612","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bfd86a90d291533ccc4aeac864fe852de1c6f6d","datavalue":{"value":{"entity-type":"item","numeric-id":4913772,"id":"Q4913772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b091dd4329afe620a87a3c2a4ccdbf176be1804","datavalue":{"value":{"amount":"+0.8043222427368164","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":"Q2946691$B6EBC112-5414-47EC-B13E-48F347C90EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32569e839bd0580f6bd02ecec4418339bf651192","datavalue":{"value":{"entity-type":"item","numeric-id":2908856,"id":"Q2908856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c71d7929ff1c86625d52cf08b145b96c765a73","datavalue":{"value":{"amount":"+0.8033014535903931","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":"Q2946691$3F706803-B8B2-4929-9532-BFFEE8F8153E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76fc76ebd74ee016523f707e2f4498f95fd8d8e6","datavalue":{"value":{"entity-type":"item","numeric-id":418134,"id":"Q418134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db7ee28d51d5883b87e71796d40381790366a8c0","datavalue":{"value":{"amount":"+0.7931591272354126","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":"Q2946691$619F0559-5627-4AED-8AC0-920288DC3A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b8f212f368d8bcf08ef7f4e91c32b1756cdf2f","datavalue":{"value":{"entity-type":"item","numeric-id":532394,"id":"Q532394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e35b685c52f1cc4369e65f90ad70a4418a1a867","datavalue":{"value":{"amount":"+0.7872813940048218","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":"Q2946691$C83AB33E-A382-4379-A184-51DF8AE39EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016017686a2205e3f6e7a6a4b31d39034c1f27c0","datavalue":{"value":{"entity-type":"item","numeric-id":3623006,"id":"Q3623006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce9b39ef5dbe5f469eb1f835b6e08916e8731caa","datavalue":{"value":{"amount":"+0.7851433753967285","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":"Q2946691$D2DE20B7-49DD-4561-A73D-B921F9667A11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946691","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946691"}}}}}