{"entities":{"Q4910486":{"pageid":6940065,"ns":120,"title":"Item:Q4910486","lastrevid":51671318,"modified":"2026-01-19T09:43:25Z","type":"item","id":"Q4910486","labels":{"en":{"language":"en","value":"Coinductive proof techniques for language equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6145892"}},"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":"Q4910486$59E0989E-BF71-4F6A-BD43-7902E610F9D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3090337a68c7eab9aafe9fd7053ab6c85ac2a2ff","datavalue":{"value":{"text":"Coinductive Proof Techniques for Language Equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4910486$FB23BFD0-E49A-4EED-A522-E6EF84BEFE7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56396fc54fab8782c7be46aaf1e0c18cad4497e3","datavalue":{"value":"1333.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910486$CAF3A924-DEEB-484D-8CC9-AE857ABD4556","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7bcbcc1ed5b20a98e537e15c54c1fd0b336e4cda","datavalue":{"value":"10.1007/978-3-642-37064-9_42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910486$0D271DD9-CBF7-46C1-AA16-6E7B2BF9D967","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3fd3af9c88c99f68f4296c6bf25bdaa24b9f76","datavalue":{"value":{"entity-type":"item","numeric-id":265818,"id":"Q265818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910486$52F1C001-3375-4C26-9AFD-9166B74F5C06","rank":"normal"},{"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":"Q4910486$3EF97FC1-092C-4F30-9870-0DB203C1C4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa4f2c1db3cb0f04ca81dea1f1e9fb956669c43","datavalue":{"value":{"entity-type":"item","numeric-id":919833,"id":"Q919833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910486$9AA593B4-ECE7-4AC2-BCFC-4114B524C2D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910486$B3A88AF9-1EEA-4863-A309-F05B905D425D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"920dd144368fa573f0e857e6831217ab76e93fef","datavalue":{"value":{"time":"+2013-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4910486$3295E50D-7308-41DA-8CBA-E09BE719710F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910486$FBE67A2D-3B66-46B6-8AE5-77038BC64223","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9139187755301810f27b02b8511486df0ba99e21","datavalue":{"value":"6145892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910486$D26E63D8-6B30-48A0-BF85-E26C6FAAB8C0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccc2ffd670b43e26d7109c31b58efdd4cd25790","datavalue":{"value":{"entity-type":"item","numeric-id":18336,"id":"Q18336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910486$9DC6932E-4FC4-4AF1-B0E3-87AEB602D159","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":"Q4910486$768D7391-E021-4BE0-BD99-D2F4A68DAE5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2183d0dd4412beef0b8e65179fbdd8c6fe01f950","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37064-9_42","type":"string"},"datatype":"url"},"type":"statement","id":"Q4910486$A6813D80-4ACA-4707-8DC6-53D4615BC8BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"187b926173195078bb4276d8daa90b7d9c5d9b50","datavalue":{"value":"W2103294040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910486$68DB105E-04E3-44D3-A290-B521E28FDB55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec203c7cbe213eefbc1b2210250a0e3e8140232d","datavalue":{"value":{"entity-type":"item","numeric-id":899321,"id":"Q899321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b21136a1ca266c5e104a6f6f5cae47c488e19fc","datavalue":{"value":{"amount":"+0.9176680445671082","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":"Q4910486$755EE121-4281-4417-9825-CEC11F16ED05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"626271143460df64cf77181d39f19c5a6ed89bc5","datavalue":{"value":{"entity-type":"item","numeric-id":2848937,"id":"Q2848937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c84c9f9da2f6be0f6ca51829eb3afe2511599951","datavalue":{"value":{"amount":"+0.8121205568313599","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":"Q4910486$331F4F30-6C2B-4510-B7E2-A14E2B5E19AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82d71258b1331236ca7f488f4f64eb07991dcc08","datavalue":{"value":{"entity-type":"item","numeric-id":5492821,"id":"Q5492821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ac83df0f4e3f46a1cf3f6b102d64862ecac710c","datavalue":{"value":{"amount":"+0.8010644316673279","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":"Q4910486$0DAA2D48-24F5-4376-B4A2-39667AE1E476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44eadcb77d6b588e7ae4c44dd0dcc72b717f7ba0","datavalue":{"value":{"entity-type":"item","numeric-id":5158653,"id":"Q5158653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2d10f991add8bdd5251885f417bd302bec308d","datavalue":{"value":{"amount":"+0.7792562246322632","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":"Q4910486$EBE1AE7B-0FB4-4525-8AE4-E88D9017A78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e05d8ba7e5e8b25c2ffcb4fad7d2c99090d02cdd","datavalue":{"value":{"entity-type":"item","numeric-id":2327557,"id":"Q2327557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92bb948ac538082fca124b13e8d6c51355ab462f","datavalue":{"value":{"amount":"+0.7787097096443176","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":"Q4910486$5C428F9C-FD20-45B8-926C-0CBDBE7943F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4910486","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4910486"}}}}}