{"entities":{"Q5357707":{"pageid":7387281,"ns":120,"title":"Item:Q5357707","lastrevid":52898003,"modified":"2026-01-23T18:26:29Z","type":"item","id":"Q5357707","labels":{"en":{"language":"en","value":"Lax bialgebras and up-to techniques for weak bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6774215"}},"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":"Q5357707$86AF2162-D21B-44E8-9A22-9370235A0D85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"470848ee44e74dc36ad1f9211c4340c3d900509c","datavalue":{"value":"1371.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357707$3E84A4F1-8C00-4FCA-A9AF-B209B711E3A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68534f975dd295216ca3c8a9d82e5e3a57e3f17","datavalue":{"value":{"entity-type":"item","numeric-id":308153,"id":"Q308153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357707$2DD2CA15-8BE0-4CB6-A435-8933B9F73EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e59cf96319a2d9edcb34f80de5d6e5dd10c4b763","datavalue":{"value":{"entity-type":"item","numeric-id":523131,"id":"Q523131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357707$0AE9B2AF-21C0-49C5-BB9E-4F0FA74C1CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357707$E5E77981-B32B-4ED5-B3CE-F44CD37643CB","rank":"normal"},{"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":"Q5357707$411F3E42-A06B-42DB-92EB-AFFAD0F48F92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5357707$63A3371E-68A9-42D5-B449-565282A32919","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357707$10C1325C-0351-415E-862E-70EEFE08E8EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e950a1bebb4e8679fd07b8a0b0920fef4de144f","datavalue":{"value":"6774215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357707$64624015-170A-4919-915A-2C5D29BB6F10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae00cb1ee09f704c0e378b06e9279059c6ab571c","datavalue":{"value":"up-to techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357707$FA6AD86F-81D9-4219-A674-E7E6966DD14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0652d69d3bb722adccc86703c4029f8e936b3bb5","datavalue":{"value":"weak bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357707$9D740EC8-DE04-480F-810F-B1B15A31CC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4427d774493d971c4a708b3a2e1332aa0857c96","datavalue":{"value":"lax bialgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357707$BF8E6118-2B67-4129-B976-FCE78CD8D531","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":"Q5357707$662F7C01-8295-4A79-A2CF-1463554FA7D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"388afa26c7cc39afa963918200ffaddfc4879b7f","datavalue":{"value":"https://hal.archives-ouvertes.fr/hal-01285299","type":"string"},"datatype":"url"},"type":"statement","id":"Q5357707$C616A9AE-D3D8-4423-9EE5-712B0458B642","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06f525c588206fb8271e6a0c77574dd8a7cd4232","datavalue":{"value":"W1842129829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357707$9CB090DB-4249-4429-AFC3-436FF5AFDBFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c84791cfd59b09a87a4b9672c5fede863b1734e7","datavalue":{"value":{"text":"Lax Bialgebras and Up-To Techniques for Weak Bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5357707$3ABF9624-4F8B-4D1D-BDCC-DB570102BEB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cfd993768c9197f385495f66c2b7d759c627e45","datavalue":{"value":"10.4230/LIPICS.CONCUR.2015.240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357707$6FACF3C7-5EC7-45D8-B0F7-4B528E7044D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef65eab2c4369c40ecafa90adcdc2b0fa4acf334","datavalue":{"value":{"entity-type":"item","numeric-id":523132,"id":"Q523132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b7d611cb71b13b31340812adbae3996f4a27599","datavalue":{"value":{"amount":"+0.8897910118103027","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":"Q5357707$6383D333-F416-473E-B55B-950D4E406E13","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":"fd079a2a2277565682cdcb1d3b4e3591c732c63d","datavalue":{"value":{"amount":"+0.8648023009300232","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":"Q5357707$210AB3EE-FC2B-48EB-ABB2-6DDC8B17D690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9534c0b4d37f293b8f0874a0b9e15b3cc0e37022","datavalue":{"value":{"entity-type":"item","numeric-id":5716822,"id":"Q5716822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"769edbc8c2cf058cbe682c0d59b71f830720d07f","datavalue":{"value":{"amount":"+0.8577003479003906","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":"Q5357707$5BDC0594-F761-472D-9071-C26C5074651F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691c4fcc24b80d472ddd285468fccb7cb5bd892a","datavalue":{"value":{"entity-type":"item","numeric-id":2373744,"id":"Q2373744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dc7f12d5448341ebd028ce6f2fb69424f287200","datavalue":{"value":{"amount":"+0.8501514792442322","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":"Q5357707$60BDBDDF-5857-4173-826E-D64BF50B49F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5d4d647e08810e70897daef110df466dacd12e","datavalue":{"value":{"entity-type":"item","numeric-id":3297777,"id":"Q3297777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a08227f17aaf654363e459f803492a3997ef154","datavalue":{"value":{"amount":"+0.8312562108039856","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":"Q5357707$E6EF76A5-BD41-4176-A7DE-D43E9CC8E409","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5357707","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5357707"}}}}}