{"entities":{"Q5415666":{"pageid":7445240,"ns":120,"title":"Item:Q5415666","lastrevid":51997643,"modified":"2026-01-20T17:28:23Z","type":"item","id":"Q5415666","labels":{"en":{"language":"en","value":"A behavioural pseudometric based on \\(\\lambda\\)-bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6294886"}},"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":"Q5415666$CFA32BED-0F20-49E7-B0D0-7139A7752C08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f58d1e1db05aa2bd76cbb36e0a35624f7b87653","datavalue":{"value":{"text":"A Behavioural Pseudometric based on \u03bb\u2013Bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5415666$BBC18310-892F-4F32-9BCD-2700881A767C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fe243eb5a991ee94c9a9c00283798e7e924a5c5","datavalue":{"value":"1286.68359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415666$2CE91FB9-BC49-4D7E-B603-2BA55F76E959","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":"Q5415666$F50C384C-E09D-4413-8604-F42EC7907006","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":"Q5415666$031F5EE2-12FE-4A1E-BF83-1AF570773CCD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415666$65D5355A-802D-49C4-8F6E-E71E9576D3D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"babb005e2058a090ed1400594b32c070c610537c","datavalue":{"value":{"time":"+2014-05-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":"Q5415666$22028F32-2A14-45B1-9E1A-EDD5DDF5304C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415666$58027479-4796-40EE-8FB8-567CFDED2F05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f30b43bb88191111f5522ea581dcfdce97400265","datavalue":{"value":"6294886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415666$E278C459-DC11-4B30-B36A-327765E55477","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415666$AD7EA72B-F9DC-43E0-9AEE-EEA6F6788BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bcf7342388b4a722916a062173be5e6ff5bffe1","datavalue":{"value":"\\(\\lambda\\)-bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415666$C715AD43-D963-4BBD-8347-AC4BC8D4C24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1380322cee88c18917fe83685aba71688ee190a4","datavalue":{"value":"behavioural pseudometric","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415666$981345E9-763A-43A2-9A16-219DE0947901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05f0b8c083552243c2d3ef5d355f2560e3596d4a","datavalue":{"value":"fixed-point characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415666$5C22F981-1DE8-43A0-9AE8-174DC0FAB999","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":"Q5415666$3939AFAC-5AD0-412E-B851-5C1C2A8BE06E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e56bb217214d76489150c78bc85e8841d049e2d","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.11.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q5415666$E7D564BE-8F3D-40FF-9EAB-2D85564855B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0daca3c4fd9040c5cb0b7aba2f84b808d1f4494e","datavalue":{"value":"W2055687978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415666$1FCB7C62-4D6A-46EA-81D0-FEBE0416AA11","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":"Q5415666$9B49060C-CC09-4C48-8594-FDCA974A7276","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":"Q5415666$45149B0C-8B2D-465C-8A38-E562B6E52379","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":"Q5415666$8FBEBDC5-46F1-4330-BC1F-15282CC73B7E","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":"Q5415666$891A95FE-061F-4250-BB18-26DBBC81CC85","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":"Q5415666$0745E22A-078D-4FA9-A01E-7810260DF994","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":"Q5415666$F1F39B0F-1D3D-4655-9A61-71BB841462B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e40a1f793339ead5f008d0e9d1dbf8eefed51e","datavalue":{"value":{"entity-type":"item","numeric-id":5900586,"id":"Q5900586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415666$218865C1-9B51-4D6E-AC03-A0900A471265","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":"Q5415666$F54E4805-8B37-4E87-A7FC-912D48C49894","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":"Q5415666$1E746F84-A315-4093-89A2-A03854388BA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36a9d6b5f8e8d621ec6bf732c148e4fcfbd4fffb","datavalue":{"value":"10.1016/J.ENTCS.2008.11.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415666$A550D575-7C90-4CA1-90F2-1BB0E5C13823","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc64d3a8556ab232ad15971be3a27771b43648b","datavalue":{"value":{"entity-type":"item","numeric-id":1770428,"id":"Q1770428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4436ec2b12181df8f573f47eef1c23086e05a697","datavalue":{"value":{"amount":"+0.8127834796905518","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":"Q5415666$D4DEF88C-8869-464A-AD75-8E2002EFF1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f76da371b61d3ad336b344068cd6bdd8678e14","datavalue":{"value":{"entity-type":"item","numeric-id":5897480,"id":"Q5897480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12bc459a21c3b223d00282e57bda81d795de031d","datavalue":{"value":{"amount":"+0.7955381870269775","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":"Q5415666$14B7BBB2-E70D-48B1-95BF-763757C10657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53387184c14a91e103f68ffbbab9808450009b9","datavalue":{"value":{"entity-type":"item","numeric-id":1004387,"id":"Q1004387"},"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":"Q5415666$25B44DAA-431D-4294-9ED3-4724049BD42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d81eeed999101d8a10a07f39ff10077e363611a","datavalue":{"value":{"entity-type":"item","numeric-id":3518278,"id":"Q3518278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a30dae1618ab8e0507d88eb90b5eee389400ec","datavalue":{"value":{"amount":"+0.781200110912323","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":"Q5415666$0D4E0214-8D2F-4994-BEA6-CF4121D03F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcab3d7c5338f6be145adc79787e45e324562fc","datavalue":{"value":{"entity-type":"item","numeric-id":5758050,"id":"Q5758050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b05d4a67fe254a4ab23df1e076c3b44c12f9f18","datavalue":{"value":{"amount":"+0.7811999320983887","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":"Q5415666$9D03949C-3502-43C4-B11E-FB177DC99E05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5415666","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5415666"}}}}}