{"entities":{"Q5740639":{"pageid":7770191,"ns":120,"title":"Item:Q5740639","lastrevid":101732483,"modified":"2026-06-06T02:40:13Z","type":"item","id":"Q5740639","labels":{"en":{"language":"en","value":"Bisimulation proof methods in a path-based specification language for polynomial coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606925"}},"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":"Q5740639$8CCFE62B-ABD0-4649-85D8-712A3717C7F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f8540c9d842a22baee13e9b40ebc5e88a163da7","datavalue":{"value":{"text":"Bisimulation proof methods in a path-based specification language for polynomial coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5740639$A9691942-1C63-4BD7-A1C4-277B381ED7E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee7cb336b4333e2d87755c0821cb3b04406babcc","datavalue":{"value":"1361.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740639$6850502E-29C1-44C1-9810-6ABEE0CD3638","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bea50fe3dc8b2e528c6ceafd4117df570efdd92f","datavalue":{"value":"10.1017/S0960129513000030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740639$3CBE033A-8EE7-413D-A77C-63DF6CA8FBE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd01b8cbae9be646b7b46ae016fd7f84d404c219","datavalue":{"value":{"entity-type":"item","numeric-id":2750977,"id":"Q2750977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$3185622C-5B68-4CA9-8C63-6B694E26B1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74759318bd9dae8ecde9f79e7c05e4e8b9cec7ae","datavalue":{"value":{"entity-type":"item","numeric-id":5740638,"id":"Q5740638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$5D819533-93A5-4970-A94A-24593EA35343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddad2be531f56be4f0f7ee50d5e20b7331cfaf94","datavalue":{"value":{"entity-type":"item","numeric-id":410730,"id":"Q410730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$1D123CC9-E7B4-46B9-ADE9-29A136E25223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d3a4dc78f8f0596495835be71bb2a6a79a7abdd","datavalue":{"value":{"entity-type":"item","numeric-id":1810857,"id":"Q1810857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$1453FCE9-5BAF-4CCF-ABD7-C2FABD7494E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78fc7ffc9713fa7ba68132027d40ad88a63f2214","datavalue":{"value":{"entity-type":"item","numeric-id":3415386,"id":"Q3415386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$CB4880B2-8FEA-46F3-931F-18446CBF78CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$89AC2E3A-95BF-402A-AF5E-094AD6B2F712","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8fcfc88af95aea3cd67fc84c40dc96dff0f00ab","datavalue":{"value":{"time":"+2016-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740639$AB25DBDA-2642-40DE-AE2D-79D21972CB78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740639$7ABCA552-A272-4287-BCCD-CFC1CDC30FAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7cc33e759fba73b0ff83f5b8303d2a31e91068a","datavalue":{"value":"6606925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740639$62A12D3B-BFEC-4B7B-88D7-68BDAD825F88","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":"Q5740639$7C069856-F87A-4909-8D4C-B174717AD2E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f675556cee6d5c516464f4857d32f5f511922b79","datavalue":{"value":{"entity-type":"item","numeric-id":5941162,"id":"Q5941162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$460C3624-5A09-401F-9E6B-07E7E49D83F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$6DE1F29F-19FD-4B9E-8AED-DC363A77AC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a805efbdbabeece7f6216b948e8298233d3220a","datavalue":{"value":{"entity-type":"item","numeric-id":639647,"id":"Q639647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$6D140B63-F162-457F-87CE-5CBEE43D3D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e0c1a3971cc7f76bca9a97135041403ab6c6cb","datavalue":{"value":{"entity-type":"item","numeric-id":2747941,"id":"Q2747941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$40E379EA-7849-47C4-9751-5C32FFA403A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fb0a68162a8182b53c25d741c10ff98b1fc97a","datavalue":{"value":{"entity-type":"item","numeric-id":1408860,"id":"Q1408860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$971BCEF1-B35F-47DB-BC17-8C754AEF2A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcdf0893c74d343935ee762c06dec73b5d133cd","datavalue":{"value":{"entity-type":"item","numeric-id":703522,"id":"Q703522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$ECFEA9BB-90C8-4C82-ABC9-AD2CC538973A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f50e4bccc8749e402ccc75378d0b5c253e425372","datavalue":{"value":{"entity-type":"item","numeric-id":639643,"id":"Q639643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$F66479F3-B180-44A1-9398-37567D4437E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d2469b2f2e881ba5ad3109d92d85f5af024e8d","datavalue":{"value":{"entity-type":"item","numeric-id":2503317,"id":"Q2503317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$500B3054-5A33-4F9C-80B2-3880B62B015D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f7986d83fac6a8687e66a86da8bfb02c3815d87","datavalue":{"value":{"entity-type":"item","numeric-id":3178257,"id":"Q3178257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$9C11318B-CB57-4138-A469-6F72D509226A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d10c8699609d436c26f61d1c5e6973a07fd45c","datavalue":{"value":{"entity-type":"item","numeric-id":4408808,"id":"Q4408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$DC82C6DC-9F19-40C1-B021-20D99EA2CBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f001c66d948f31fe56195f112ffcf7df7ef675d9","datavalue":{"value":{"entity-type":"item","numeric-id":4917046,"id":"Q4917046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$02C897B5-8F78-434B-A572-19B84F824A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$B91263D4-C3FC-4E03-9FB6-6C25199C4AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ce55b7ffeba230a297d32bd80c664aafc9d649","datavalue":{"value":{"entity-type":"item","numeric-id":5941165,"id":"Q5941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$6BCED4D9-083C-4FD5-9B50-42F0FC98F3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$FD2CF0A2-713A-41C0-9DA1-F237FA74299C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740639$3525A519-D0AA-4277-BCEC-9071C34153DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c050a6f973d0161395fbeffd77322ed8533ebc2","datavalue":{"value":{"entity-type":"item","numeric-id":2863897,"id":"Q2863897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef63071c8b110c2a044ed6e3b15df40af8135d5","datavalue":{"value":{"amount":"+0.7760623693466187","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":"Q5740639$1CE03C33-8C21-4555-AE77-A963C0A7E183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd86b8984ddcfaab8f583b5118c37df604332ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5361143,"id":"Q5361143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c48fbbba99a6858cc077402615b6da1606d4ba9","datavalue":{"value":{"amount":"+0.7746026515960693","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":"Q5740639$D3787D37-A601-4671-BF16-748080F05F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bc7eff5eb7f75b97c04ad8dbaef2ddb809e716","datavalue":{"value":{"entity-type":"item","numeric-id":2927660,"id":"Q2927660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a72b5ef32d8183550093fa0188a7913cfa03aed","datavalue":{"value":{"amount":"+0.7728623151779175","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":"Q5740639$73ACAA6C-6DA1-4593-8CAF-F23C94B2EE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38efcc9b6f79496cb120f615173ce4f74628d289","datavalue":{"value":{"entity-type":"item","numeric-id":5465440,"id":"Q5465440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f30e522f1d522e4ca81595939f056dc3703868","datavalue":{"value":{"amount":"+0.7673810720443726","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":"Q5740639$E7D16BF9-CD0D-4174-9380-EB36996ECB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f24a9e9ed39de44bdcc7248ea34b175533ad328","datavalue":{"value":{"entity-type":"item","numeric-id":4580201,"id":"Q4580201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef5bb1061d71a7403968780cae54ee06cf983732","datavalue":{"value":{"amount":"+0.7644518613815308","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":"Q5740639$78A6C793-E54E-4EDE-92D9-3E55D81F7EB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation proof methods in a path-based specification language for polynomial coalgebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulation_proof_methods_in_a_path-based_specification_language_for_polynomial_coalgebras"}}}}}