{"entities":{"Q4580201":{"pageid":6609787,"ns":120,"title":"Item:Q4580201","lastrevid":58283673,"modified":"2026-04-04T13:45:51Z","type":"item","id":"Q4580201","labels":{"en":{"language":"en","value":"On path-based coalgebras and weak notions of bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917167"}},"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":"Q4580201$EB19EFF3-79C7-4DE1-BF70-98A350A65DF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44314f7a0c4bb44f5432315c3344a924431b756a","datavalue":{"value":"1433.68237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580201$1D3A7C85-9713-42CD-928C-C59C0487AB32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e05986514e56aaa9abd2193d36fdb5190f5d424e","datavalue":{"value":{"entity-type":"item","numeric-id":2104471,"id":"Q2104471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580201$67044059-C87A-48AA-8F12-EB7A395225CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4826d699884a0bc6d2655cc852cbf1a7a780d35d","datavalue":{"value":{"entity-type":"item","numeric-id":1797780,"id":"Q1797780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580201$B7E20B9F-74EB-4168-8A75-D53C76B53506","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580201$61EFED91-2086-46B1-8F19-20B1C0C8D8DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c21466b1167cf1d17197af9b18d5e242b9ea929f","datavalue":{"value":"https://arxiv.org/abs/1705.08715","type":"string"},"datatype":"url"},"type":"statement","id":"Q4580201$B49CC6F3-EBCA-44F2-9B45-954EED12BFB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580201$180CF083-EE73-478E-AD76-A8D466836EA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76c3ba50fee31d809a1530fed9cf30987b05ffd6","datavalue":{"value":"6917167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580201$997EEEC6-EB96-4D88-9D85-F208C4A0CB4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e865dcf04feef79efcf163ac054d2ac37b7305b","datavalue":{"value":"paths","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580201$6F66C9B0-F2A3-42AC-B361-CBA4CA53BF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e8cb269be12c92f96bdea09496f07f6ca98111d","datavalue":{"value":"executions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580201$FDAFCE68-9D70-41E7-888D-181590B6FE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdcb6c6a7e0b4c9bdfdd4689583b799e2a826f4","datavalue":{"value":"branching bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580201$625670E9-AA87-475B-B7AF-4A3653749DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580201$C64E7B09-2F47-4B5D-AE46-D3C7EDC071A9","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":"Q4580201$530115DE-C592-4F2B-8592-E5AFFE029D71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5338532f04170224d2b5dce0aacd6789c83430d","datavalue":{"value":"10.4230/LIPICS.CALCO.2017.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580201$70BB70CE-7C60-4DD3-BE43-43E99B0CF790","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3081ac765471a63258f0ed2e84423eec00a9615b","datavalue":{"value":{"entity-type":"item","numeric-id":2849887,"id":"Q2849887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d56fc589d7b3384e22bb9a4b211c7fdadc52a76d","datavalue":{"value":{"amount":"+0.8460951447486877","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":"Q4580201$08605596-8CAF-46B5-A86F-EBA50F716863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ae6a9775afd27d41cdfeaf61344334bda64b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4621137,"id":"Q4621137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"430759b0122f0bc1f66d1ac66593ba9b24954d5f","datavalue":{"value":{"amount":"+0.837871789932251","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":"Q4580201$19610657-98B4-4512-ACBB-48F693BF74EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a34fb33233288677cb4d36670355a53519645dc","datavalue":{"value":{"entity-type":"item","numeric-id":4571977,"id":"Q4571977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe45bca2fee2c28c47361f55fbb26a3ac819d569","datavalue":{"value":{"amount":"+0.8166375160217285","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":"Q4580201$FB737248-D63B-4C11-A089-824BF0D043F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56437bc5a9701315e51acd30cf500af1f18cf0ce","datavalue":{"value":{"entity-type":"item","numeric-id":2915163,"id":"Q2915163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78dacf9f200c23b6a9a5e3c08caf8307d1d7e0a5","datavalue":{"value":{"amount":"+0.8129293918609619","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":"Q4580201$1819982C-2B40-436C-9334-04A751F5FA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d2f6b473e28655155528c8704a8ca172d99e4c","datavalue":{"value":{"entity-type":"item","numeric-id":5167838,"id":"Q5167838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d2d977db71f5ed167509134c0b403c220b298c","datavalue":{"value":{"amount":"+0.8128693103790283","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":"Q4580201$84973D38-FC94-4A51-A2C7-C003BC6B5460","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4580201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4580201"}}}}}