{"entities":{"Q5256339":{"pageid":7285907,"ns":120,"title":"Item:Q5256339","lastrevid":91966370,"modified":"2026-06-05T00:31:36Z","type":"item","id":"Q5256339","labels":{"en":{"language":"en","value":"Simplified coalgebraic trace equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6448706"}},"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":"Q5256339$3C8C971E-749D-401A-BFB8-843671D43831","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39da3006bae31825ddb603f5843a1b25adae7c05","datavalue":{"value":{"text":"Simplified Coalgebraic Trace Equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5256339$F4B3B5EA-A451-4DB2-B237-D1C16DA34835","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3349b11f37c5f8f4e1f9b005a737e45f73582ff3","datavalue":{"value":"1453.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256339$7FA725A2-847E-445B-BD59-F127AC55432B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf0eb0445dfe2c41923616406ab1f5fe254a6ba9","datavalue":{"value":"10.1007/978-3-319-15545-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256339$7373A4D8-AD95-4DC9-BDB2-ABF98A9330FC","rank":"normal"}],"P16":[{"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":"Q5256339$BB7245A1-1CD0-4BF3-9D0C-142753963958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$CD80A466-4703-4A63-B5AC-7F8B1F3A3D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$760D2CBA-DA38-4CD9-8463-F53EA00DF52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44696c2da567d5c10dc123545d1a33a0cf32a455","datavalue":{"value":{"entity-type":"item","numeric-id":299181,"id":"Q299181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$61D8CBE4-3135-42DD-A7B0-6E13ED306B1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5e0fb570f569e128c7aaa0023b42f1ff2ef5c78","datavalue":{"value":{"entity-type":"item","numeric-id":5256327,"id":"Q5256327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$F8BC3FDF-CE04-40D4-AFA4-CD317E0AD337","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c80eedd2756b3c5cb35bb218ffa4134f7861c0b9","datavalue":{"value":{"time":"+2015-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5256339$70594A32-5D25-4BA6-9B3F-BF09F9586A1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f46632ccdc38938f7078e2525b02d8e11cc427a","datavalue":{"value":"https://arxiv.org/abs/1410.2463","type":"string"},"datatype":"url"},"type":"statement","id":"Q5256339$BC3B8818-A7E8-4C35-BA09-223C6A646CE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256339$1C03BB7E-89ED-4E88-90D7-13152E6C71C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9d945685f6ba4b7de98288c6705ac739c55d746","datavalue":{"value":"6448706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256339$2D6FE549-D9DC-4597-A0E3-ACE35279D45A","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":"Q5256339$5AC7C143-6355-444A-A4D1-063FA62654F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"596dead871cdadd6537c09f37242df86b939def0","datavalue":{"value":"W1951729275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256339$ECFB19CB-BFAB-4883-AA98-F1507004BC45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$2B46A017-ACE8-43D0-90A8-CA698D404EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$A9F8240E-6B1D-4EC1-9C17-C05EB7454EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc708db8417b264ae5134e14d7f4436923047c5","datavalue":{"value":{"entity-type":"item","numeric-id":4044767,"id":"Q4044767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$E44E30B3-D6F0-4777-B486-DE98473372C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$794E97F7-D70C-44A0-85FE-2418D46EAFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395e8bde5035730a3f9e7ab7cb0e5d7ed63423c1","datavalue":{"value":{"entity-type":"item","numeric-id":2538652,"id":"Q2538652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$EF3EDFBA-DDE7-4ADF-8CD5-0985935AC3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f10f0b476c933b444478fc461c042c93d5e07930","datavalue":{"value":{"entity-type":"item","numeric-id":3178274,"id":"Q3178274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$9B372ED8-120E-4805-B616-E4E8CED7A6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b6b7d32e3b50e59e9c3b73a59e4633639d022f3","datavalue":{"value":{"entity-type":"item","numeric-id":2946691,"id":"Q2946691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$882F2551-4B0D-4301-A255-D61A349592B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8440d80f9f1e8ae5498f6228abef335d0392e15a","datavalue":{"value":{"entity-type":"item","numeric-id":5410688,"id":"Q5410688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$D0BAB1BE-3586-4B84-8DBA-091D7B34A61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3813ab614a97a156330c623ed2e7bf909d45fa","datavalue":{"value":{"entity-type":"item","numeric-id":4105777,"id":"Q4105777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$F0541F85-551D-4300-A81A-E61F690633A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c240698aed86550f2448737e4b38388d08f8200","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$174C22CD-FA5E-4ACD-9B13-3123EB600647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$AF394651-18AA-4C55-9CB1-F77DF5293D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"646653f65fac9c4cb44cd008cf9f56b023753571","datavalue":{"value":{"entity-type":"item","numeric-id":2914679,"id":"Q2914679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$DC77E6D9-FEA2-4888-9C1B-0EAF4C63BE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ff532e8f7c9661a9505e4be8bdeefaf74ff27f","datavalue":{"value":{"entity-type":"item","numeric-id":3877834,"id":"Q3877834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$234B75F2-7264-4EA6-BF9E-BFB40F8CC231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48df1c393c8f3c965ae9348185bda8d441997e8f","datavalue":{"value":{"entity-type":"item","numeric-id":4499221,"id":"Q4499221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$96A67843-AE02-44CD-8AF4-8A264A0D1466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c8332b10186708c6708131542afb51481ba405","datavalue":{"value":{"entity-type":"item","numeric-id":3938468,"id":"Q3938468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$1CF1C764-8EBC-4DD8-9285-705A09CD8CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e434a96053d306ffde38531d482a7680b20de8a","datavalue":{"value":{"entity-type":"item","numeric-id":2908856,"id":"Q2908856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$A1F28530-43B0-4BDC-A425-F5EE367C5E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b211f7d9b79af80c89593f1677fce650e50849f","datavalue":{"value":{"entity-type":"item","numeric-id":4913772,"id":"Q4913772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$D0DD5A04-5804-4D3A-9187-EFF49A8FE42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a77ac58592a967e36bd32b4fbbec90b53ec85726","datavalue":{"value":{"entity-type":"item","numeric-id":3171227,"id":"Q3171227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$7E5BC588-67ED-4E8C-B324-09F7DF9072DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3c62d2601f9de5efbba07a4ef8ff1991d7ab6d","datavalue":{"value":{"entity-type":"item","numeric-id":557796,"id":"Q557796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256339$2D0C251E-D492-4BF9-A223-B6024640DD13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0f5394b8c3e71259452e8dab9bfc09e938e551","datavalue":{"value":{"entity-type":"item","numeric-id":2847815,"id":"Q2847815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa0828efb820e2c6353c62494c2fed863ae7de5","datavalue":{"value":{"amount":"+0.8354709148406982","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":"Q5256339$F3B7294E-AA0B-4DF8-B302-5B6E98100788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5978f7363ae74cae4938e03499813444db9e52af","datavalue":{"value":{"entity-type":"item","numeric-id":5275355,"id":"Q5275355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee29101b1451a9a45c8267cf662085ad020303d","datavalue":{"value":{"amount":"+0.8210993409156799","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":"Q5256339$C94483E8-1B99-4616-B5E8-819ED5179234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b52c1a3accff6aa6b3de6de0d30d6cd448dc1432","datavalue":{"value":{"entity-type":"item","numeric-id":2973240,"id":"Q2973240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e9f68cc508606d134224d754ba72ab8ff98dc84","datavalue":{"value":{"amount":"+0.8172714114189148","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":"Q5256339$963010E0-C035-40CF-956F-220767BAFA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f9d843d45247397ee9bc14ea2b0f2182f3a09e","datavalue":{"value":{"entity-type":"item","numeric-id":4499221,"id":"Q4499221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"976975b6433eb65ffc2ecea998cf14801d61a1d1","datavalue":{"value":{"amount":"+0.8166272044181824","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":"Q5256339$ED9A418F-5EE3-468B-8A2E-EFA6345ACA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf5b3e23a03d5b0bd4dfbf9b775f8814de1356f","datavalue":{"value":{"entity-type":"item","numeric-id":5158368,"id":"Q5158368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e64d75b91d3c409b655aef4eac7c7fe0d1e4572","datavalue":{"value":{"amount":"+0.8104541301727295","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":"Q5256339$866A060C-0E13-45F8-8346-048B2F905E95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simplified coalgebraic trace equivalence","badges":[]}}}}}