{"entities":{"Q4621137":{"pageid":6650720,"ns":120,"title":"Item:Q4621137","lastrevid":53349890,"modified":"2026-01-24T19:12:18Z","type":"item","id":"Q4621137","labels":{"en":{"language":"en","value":"Coalgebraic weak bisimulation for action-type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7020137"}},"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":"Q4621137$C2E95306-D357-45F2-B5CB-15F36A0270E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55af117db89d3a81f776f3a08f8897658c9dbc86","datavalue":{"value":"1424.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621137$A64E3E57-3163-44FF-BE63-B4E86F784A05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"faac90b189d470d059fb0f0202403aa6361966c3","datavalue":{"value":{"entity-type":"item","numeric-id":549173,"id":"Q549173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621137$E1F5040E-1D48-4FF4-BF31-78D0F864EBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a50c23c3978492e58521f1c41f776352eabb0d","datavalue":{"value":{"entity-type":"item","numeric-id":541684,"id":"Q541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621137$27CCA2A0-CA6E-4E37-A681-42A3EA10080E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5be0699ab97a02f35b47c43eaefa1e749ac7ed7","datavalue":{"value":{"entity-type":"item","numeric-id":371783,"id":"Q371783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621137$F90D115C-BC55-47EB-9C29-3C488ED4DACB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4621137$DF5131E6-D060-4098-90E4-D82034C342EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621137$33363B08-8297-4CF1-A796-DCEAA1CB6041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621137$80EB42C2-D532-4F80-B1C0-4BEDFE0C4CC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"791828ffe356ae72654ac45ee0d1b4e03cd3ca71","datavalue":{"value":"7020137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621137$DE964B3E-058D-47E1-906D-736D5BB53581","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621137$8B52E8C1-8A12-49B7-93FD-DC53BF910497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0652d69d3bb722adccc86703c4029f8e936b3bb5","datavalue":{"value":"weak bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621137$F7995263-4262-44AB-B61B-7A97681135C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84381e432a2038d17c7c4d4dd69331557c90bd42","datavalue":{"value":"generative probabilistic transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621137$D09070CA-AA95-486B-814A-2EA20212312A","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":"Q4621137$EDB0A008-8150-44E9-A0B0-0BD513B6807E","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":"3a80210717a05c6b1f9d87e5eb119a989f586793","datavalue":{"value":{"amount":"+0.9769137501716614","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":"Q4621137$5F04D9DD-A656-4F85-B80A-EFC1D1EA4C6A","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":"0c6078032f5583052a9fbec9dc44d568498bf34c","datavalue":{"value":{"amount":"+0.8661354184150696","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":"Q4621137$CD6761E2-04C2-4EE4-B83F-965721CBF877","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":"7244ea086e14edafc5c27a7a54f4de9ba1510656","datavalue":{"value":{"amount":"+0.864821195602417","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":"Q4621137$FBD221C7-8E6B-4EF6-9F00-929AAD9150BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc74ecc300e3a7ece0786330ba97a820880d18de","datavalue":{"value":{"entity-type":"item","numeric-id":2842561,"id":"Q2842561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b098069da1bda2be9d40ca0c4c31ba8720213e89","datavalue":{"value":{"amount":"+0.8491562008857727","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":"Q4621137$D5E621A2-D8AC-4BF5-A862-5C5373BF5748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee587700770f97314aea68c284cabec6b634547e","datavalue":{"value":{"entity-type":"item","numeric-id":2941763,"id":"Q2941763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e85a42e0719337b3853737de9cc32f7942706b","datavalue":{"value":{"amount":"+0.838435173034668","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":"Q4621137$EFAD27D9-F8A3-4BDA-A674-9FDEE873F130","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4621137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4621137"}}}}}