{"entities":{"Q1004387":{"pageid":1006235,"ns":120,"title":"Item:Q1004387","lastrevid":50590052,"modified":"2026-01-14T12:09:46Z","type":"item","id":"Q1004387","labels":{"en":{"language":"en","value":"Characterize branching distance in terms of \\((\\eta , \\alpha )\\)-bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5522921"}},"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":"Q1004387$E8EA2570-FE8A-46B0-897F-FE6960559F22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f11b0093e2ecba0d8d8028a4a29870350bf3bb58","datavalue":{"value":{"text":"Characterize branching distance in terms of \\((\\eta , \\alpha )\\)-bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1004387$0EE89284-C9A0-4D06-8673-000A56D102BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b995274b2af273375cf96d8695d123826456320","datavalue":{"value":"1169.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004387$17AB33F3-0A1D-4675-9C45-B65A47B8E27C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d4c6adbebf972f0206b818b72b28eb7ad36031","datavalue":{"value":{"entity-type":"item","numeric-id":479807,"id":"Q479807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004387$F97FF2B6-DAC6-49F2-8CC4-2D5FCCAE5F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4932014dfef1f5b63b3c54cf943bfa1796239d0d","datavalue":{"value":{"entity-type":"item","numeric-id":237991,"id":"Q237991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004387$F57C3CCC-45CA-4BFB-AC6A-CC28C7F20B12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004387$69D8CA0C-EDE5-45EB-B626-780D0100CB3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3434863a4c3842a9ef45eb54b7cfeda15cdee482","datavalue":{"value":{"time":"+2009-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1004387$D7559923-A190-4A92-A7AA-C4A56A6C5A2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004387$36ADDBF4-F931-4EB5-AB7F-1A9E34693823","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88e3e18f01fbbed81726319499e5154f59fd48b1","datavalue":{"value":"5522921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004387$F81FEACC-4B36-436D-A3B4-28E588AEE043","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93797f50ee7fef00ecf35bf830043114b948376f","datavalue":{"value":"quantitative transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004387$4A688960-1383-4DFF-B41F-1A0B4058E2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f75c9006b41e3e46add3597457548b3e7a7c87aa","datavalue":{"value":"approximate bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004387$C6107D23-B386-4B1D-A010-1F66B34891ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1ce62eb1abd85e51d243bcc19b3ed605c319c87","datavalue":{"value":"branching distance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004387$CF74180A-5898-4548-9B14-EE886DCC4D8D","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":"Q1004387$2BCBF3FC-2B5F-41EC-B9D1-F4742C5BE19D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7d3057b3d0dce60db78bf954e8adfc515191813","datavalue":{"value":"https://doi.org/10.1016/j.ic.2008.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1004387$5C3CBD03-4884-42F9-B501-B93342960B5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dedf4fff364d4027271ddfe5da5b794a4fb696fa","datavalue":{"value":"W1994802992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004387$98FE815D-7890-474A-9545-E11FC0708D68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65450edf6b4d53f17dd2e02467fb7cf435e4edb","datavalue":{"value":{"entity-type":"item","numeric-id":5466453,"id":"Q5466453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004387$B0DF0B6A-37C1-4EFD-9D8A-9492C771A81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f175b088b93e1a6a950db7cb9ca00f422a67b0","datavalue":{"value":{"entity-type":"item","numeric-id":4449238,"id":"Q4449238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004387$37FA3305-602D-40E8-86E7-4137C31FBC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3733b6620d7eff1c641fd3b36b3be61eac36f49b","datavalue":{"value":{"entity-type":"item","numeric-id":5897480,"id":"Q5897480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004387$4AF85F2A-5861-4616-B460-D07313D714EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ae5fa721f724c2c93f9d1963970f6ff50e63ee","datavalue":{"value":{"entity-type":"item","numeric-id":4535035,"id":"Q4535035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004387$AB14C00F-89B7-4287-A2CD-254033C2AA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaedb9f602c018e3f49cab3fdcc2051049564e52","datavalue":{"value":{"entity-type":"item","numeric-id":1770428,"id":"Q1770428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004387$0AEA71E2-E58C-472D-94F5-6F9FD6D3CA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdd4fea53b7d739c7649130a0202bbf906aa47a","datavalue":{"value":{"entity-type":"item","numeric-id":4270063,"id":"Q4270063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004387$63631BEE-A10B-496E-9B9E-16271FFF3AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36050cb2aebc6e0d72cd0bdca54e064168155283","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004387$8876A05F-D8B0-4BFC-90E3-ECB1E34E2A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d1541f94d2a3019ad963efd594514664e26738","datavalue":{"value":{"entity-type":"item","numeric-id":5282109,"id":"Q5282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004387$9ABA9416-39D5-4E5A-9483-2242B0E6D8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e70d1806e78a82125195a157441f06474cf07a5","datavalue":{"value":{"entity-type":"item","numeric-id":1363777,"id":"Q1363777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004387$1F73D52E-62A6-414C-B8F6-E4B4770C1B26","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":"Q1004387$7506E78B-ACB7-4E48-91EB-73929EFC65DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004387$3CAB8234-7040-4EAF-B0DE-F4587883B078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2422043c4a4f78a66bc3c5b14cbd9ee6e271eab","datavalue":{"value":{"entity-type":"item","numeric-id":2701735,"id":"Q2701735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004387$1FD99FE9-0CC4-4B31-9E5C-08A9B05191A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2004da873feaf2c2a6c854f4858a83eee7d733d","datavalue":{"value":{"entity-type":"item","numeric-id":1606119,"id":"Q1606119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004387$B3D64796-7EE9-4CA2-9115-4362034E4A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2bf0dbda747d4f4493cbbdc05b536e2eed4f33d","datavalue":{"value":{"entity-type":"item","numeric-id":5415666,"id":"Q5415666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004387$EB74F1EF-C142-452E-8FF2-A9FDB38D493C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3638725a132e4e149572370db099a03530b65bcc","datavalue":{"value":"10.1016/J.IC.2008.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004387$E1D43992-C670-4447-9E0C-9FEEDEDF44EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a4717edb2c0b89de3d3bc980a6a1740976e7cf","datavalue":{"value":{"entity-type":"item","numeric-id":2767183,"id":"Q2767183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0472f9f0db42c8df30a34b0716494e73179153f0","datavalue":{"value":{"amount":"+0.807883620262146","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":"Q1004387$43F709F0-3E12-4D5E-9323-1744191192E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6346382742c44799ac9fc7034b5dab2bd70b7632","datavalue":{"value":{"entity-type":"item","numeric-id":5415666,"id":"Q5415666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0888da11c08448ca0617b55fc5798e106309323e","datavalue":{"value":{"amount":"+0.7853147387504578","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":"Q1004387$4B477860-699B-4489-8AA1-10827048D328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a89efaec143e9b6ecc7cfa43158fdae85491ca50","datavalue":{"value":{"entity-type":"item","numeric-id":1631225,"id":"Q1631225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e1cba80c7a9350952773a9e0ed73b7555508c5","datavalue":{"value":{"amount":"+0.7752631306648254","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":"Q1004387$9A31975F-8D9B-4861-9EF1-6E07C5EAB49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eceaf5ca8d4610616a6c6947618f515b3249714","datavalue":{"value":{"entity-type":"item","numeric-id":4417860,"id":"Q4417860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e1d166f0dd47aec15327122c67be7bab0170ca","datavalue":{"value":{"amount":"+0.755906343460083","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":"Q1004387$167965AD-71E3-4426-B87F-60A6E5F758AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271fdb95fb59db752b2013c5d25683f13f18c2a5","datavalue":{"value":{"entity-type":"item","numeric-id":5466453,"id":"Q5466453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b62cc3a335e625f0e73107ae4e98db42cd62935c","datavalue":{"value":{"amount":"+0.7534974217414856","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":"Q1004387$306C53EA-8272-446B-BA07-672EF288F5FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1004387","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1004387"}}}}}