{"entities":{"Q5327356":{"pageid":7356930,"ns":120,"title":"Item:Q5327356","lastrevid":51794057,"modified":"2026-01-20T01:59:37Z","type":"item","id":"Q5327356","labels":{"en":{"language":"en","value":"Circular coinduction in Coq using bisimulation-up-to techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196175"}},"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":"Q5327356$D08E030D-0206-462A-981C-6AB555E9B551","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66799cd33d565a94d087b3022104ddf57117a007","datavalue":{"value":{"text":"Circular Coinduction in Coq Using Bisimulation-Up-To Techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327356$3F982CE3-858C-499E-A467-DAC1FB71DDCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a071f6010d281b83e5d9fc210e1939c3a77beac","datavalue":{"value":"1317.68209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327356$1C3F995A-7B0C-4F4D-8CAA-3C5CE6409437","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e383db131833c06d1dced5f5af37d2ce5c8dfc5","datavalue":{"value":"10.1007/978-3-642-39634-2_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327356$3CB4F3B2-7498-43D8-8A0C-DCD8623E0922","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fca1c19bbfb0afe27e2894d7aa8bc5bfdf949d86","datavalue":{"value":{"entity-type":"item","numeric-id":549183,"id":"Q549183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327356$318FEE36-E7CE-4C78-BBE8-F5EAD9304A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ca9aba1d27cc0a527c5e55e40b675c206cdc1e1","datavalue":{"value":{"entity-type":"item","numeric-id":549187,"id":"Q549187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327356$5306E12F-C295-41F7-9104-301498737B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5072b14783d134da06a74403a9164cfab47f512e","datavalue":{"value":{"entity-type":"item","numeric-id":5327355,"id":"Q5327355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327356$02AF6BF8-6482-45C1-9BE6-F9D7642C5E25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327356$3040E417-9F81-465B-A7B1-556F73636121","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5327356$6538AFF5-122E-4990-9CA1-5A2D9E9FA9EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327356$75533F2A-3AE3-4F5C-9F2E-DE8EAF1F3B95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2553ba6eed0b1468c5ef2b0cb55c9f749a0776b9","datavalue":{"value":"6196175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327356$D4CD9F68-A626-467D-8ECD-BFCA82517F18","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8fb5f6da2df561a79b128a652d1df41678f66c85","datavalue":{"value":{"entity-type":"item","numeric-id":22838,"id":"Q22838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327356$66AE974E-D8D8-4468-9BFD-A50778DDF3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327356$1F260457-2531-4DF7-8ECE-95C4AE165370","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":"Q5327356$C1655D83-D82E-469D-9135-D1BFE7AB4663","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bf076f05e1cc14008ce4e94d179a40ffcc38b1d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39634-2_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327356$34F9204E-B4E8-457C-83FC-8EB0018A2884","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15955c02b14c74fb03bf87749a6c713d58f0d63d","datavalue":{"value":"W165755327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327356$21F3774B-2725-4456-8345-DC7C6BE198DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d848fd39fcd180d6dd51093a428c6d8a947b6b","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77214b3dc49b0e9716077599b49f223938b92cf1","datavalue":{"value":{"amount":"+0.8140464425086975","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":"Q5327356$2A2773D3-F720-4AE9-831E-4C97722465AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88d5c4105bd54b2dc07fa9bae0d1279569ce522","datavalue":{"value":{"entity-type":"item","numeric-id":3612501,"id":"Q3612501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e3cb592efba424c80d55ffb2203e4fee21ab6a1","datavalue":{"value":{"amount":"+0.811610996723175","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":"Q5327356$FB212EDF-000B-43C5-AAFE-6FABC7F3349B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6f46e533af3c3dc8fec333d6bd3830c74bfbb5","datavalue":{"value":{"entity-type":"item","numeric-id":2873678,"id":"Q2873678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41508a10e26a84dacad3ea3bba3f651d0b87c4be","datavalue":{"value":{"amount":"+0.7669109106063843","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":"Q5327356$183D0043-0F21-4DEB-A2E3-7EF5A80553D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9989701b8ceb63c7062fb98e3935af9ca6baaea","datavalue":{"value":{"entity-type":"item","numeric-id":4260710,"id":"Q4260710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39c96491b51dac692306439ec03c234f07ddf878","datavalue":{"value":{"amount":"+0.7643445730209351","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":"Q5327356$C8CFB572-E8D2-4C1E-885D-82B365417777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"012b3dcc839d68d8a000fbdc331f32456ef77b32","datavalue":{"value":{"entity-type":"item","numeric-id":2888503,"id":"Q2888503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b14b3efab6ee0e4f9a3223492f63a602cc9bcc2","datavalue":{"value":{"amount":"+0.7539039254188538","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":"Q5327356$DD7C0DB6-F18A-4695-AE47-82D9651015A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5327356","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5327356"}}}}}