{"entities":{"Q4943550":{"pageid":6973132,"ns":120,"title":"Item:Q4943550","lastrevid":47460076,"modified":"2026-01-01T19:39:21Z","type":"item","id":"Q4943550","labels":{"en":{"language":"en","value":"A note on Coinduction and Weak Bisimilarity for While Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1416506"}},"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":"Q4943550$D1F65E6B-3E72-45CC-AAB9-E2861936A9ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23e7f72cca5b15e0d5ab8da66308bae24cee5613","datavalue":{"value":{"text":"A note on Coinduction and Weak Bisimilarity for While Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4943550$BCC88F3B-9AA2-4254-97E9-E67719AA02C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27d58f43320a9d9447556b4c10f61b7774a54ede","datavalue":{"value":"0945.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943550$367D445E-0CAC-42C1-A091-9FEC2C66C530","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943550$1881AD72-D1DD-40DD-BE19-151034BE18AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fca57a7d89bf0dec15e3184fdb1684eb793d104c","datavalue":{"value":{"time":"+2000-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4943550$40173CE9-21B9-4422-9CB4-45DDF31CA404","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8594c4f7ff86323616aa6b8ed4fb31eee713c2a","datavalue":{"value":"https://eudml.org/doc/222056","type":"string"},"datatype":"url"},"type":"statement","id":"Q4943550$2EEC573E-77C4-4B5E-A8D4-59B88AA54467","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943550$73249938-01D9-4B6E-A0A8-33358A4E4553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943550$FFFEE9F2-7660-4509-BBE4-0E679A7C6878","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3b09dba4ce031292a451583a0e3d89918cf8aca","datavalue":{"value":"1416506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943550$BF50DA0A-3626-4B6E-A7A3-44CBAA7DC678","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5f64810e95bc81e9e77b2ce3be89c40cbb59059","datavalue":{"value":"weak bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943550$47B9F260-1F22-40A1-950B-CEE811F608A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa4f2c1db3cb0f04ca81dea1f1e9fb956669c43","datavalue":{"value":{"entity-type":"item","numeric-id":919833,"id":"Q919833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943550$84909EB0-290A-4068-9BC4-8791CCF738A5","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":"Q4943550$3DE3C3DA-6A22-44F9-B2F5-2BEFE93EFFE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6639f392affd74977eb549005588c7a62607f694","datavalue":{"value":"W2126979663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943550$A3503A79-37F5-4BE8-BEBB-58784C9A14B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d62ae5d8372aa178180c5517c3ec1038606e5c10","datavalue":{"value":{"entity-type":"item","numeric-id":1391734,"id":"Q1391734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943550$177039B7-7305-4C01-BBBF-2F0ACA3D0B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943550$CA92C8DF-BACF-4FB9-BBE2-D91D57DFDB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd95d79f3eab60665665be07e829d6169119f15a","datavalue":{"value":{"entity-type":"item","numeric-id":4091917,"id":"Q4091917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943550$A3D43908-264E-4458-8509-98CEA7AEEC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943550$CECD1D8C-470B-4DFD-92C4-C136629FD284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132520da273c8089c5e3b2d11624d67e61c411b0","datavalue":{"value":{"entity-type":"item","numeric-id":4251915,"id":"Q4251915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943550$6B640073-F8E3-4A97-9805-D0D811E462F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d1311240de06f92a08927dea8300163c87a5725","datavalue":{"value":"10.1051/ITA:1999125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943550$7E3CB0B4-C6EE-43D2-8B64-035507CEB390","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18058cdc97f17728411a631c14c4a288d35d8928","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a60b281b1ee35b674c33f40556633bd3ba2b9f84","datavalue":{"value":{"amount":"+0.7738237977027893","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":"Q4943550$2F3E02BB-F621-41A5-A98A-C37C9D453A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3b61c8e64f8d558217a846ba401523ccda8990","datavalue":{"value":{"entity-type":"item","numeric-id":2841308,"id":"Q2841308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f170f9649587e413a6009289f85e8157af3fd9","datavalue":{"value":{"amount":"+0.7605985999107361","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":"Q4943550$FE61E9CD-980B-413D-9130-8FBE568B486F","rank":"normal"},{"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":"4ad865f22f7844582ce610cfc2f47e987921358d","datavalue":{"value":{"amount":"+0.7590860724449158","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":"Q4943550$06FAAF54-7783-4062-B2D7-FC6D18D7D49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f51d1f32e7941ce3a983b025e8fc6ea29cc9d5b3","datavalue":{"value":{"entity-type":"item","numeric-id":4963901,"id":"Q4963901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c7d92e3045adc0dfe9518642896b3c2f4e3e98","datavalue":{"value":{"amount":"+0.7529494762420654","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":"Q4943550$449B240E-38AA-4CD4-A188-BFEB8FE33117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c43d794470b4a2f633b0501f6c3dc699900011da","datavalue":{"value":{"entity-type":"item","numeric-id":3145858,"id":"Q3145858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"650aa2b282b6f9a2786c6cdd546b5b64f91d119c","datavalue":{"value":{"amount":"+0.7504244446754456","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":"Q4943550$F96E58DC-8B64-40A8-B99E-CC82E4F78AF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4943550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4943550"}}}}}