{"entities":{"Q458130":{"pageid":459897,"ns":120,"title":"Item:Q458130","lastrevid":61986732,"modified":"2026-04-11T03:00:33Z","type":"item","id":"Q458130","labels":{"en":{"language":"en","value":"The infinite evolution mechanism of \\(\\epsilon\\)-bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6351822"}},"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":"Q458130$67CCD1C0-75B1-4076-ADDF-A161CBEE7D0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f9cf9abca2375119b520b974507a8cd24c10712","datavalue":{"value":{"text":"The infinite evolution mechanism of \\(\\epsilon\\)-bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q458130$3D3D1948-9BFB-4E18-AC53-BEC5BF51B634","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d437e10cd1cc78dfdbe488df01ad695a97d9f9ad","datavalue":{"value":"1296.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458130$2CBF3807-AE86-46D5-852C-314159D28F2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf29f8962a454c5a5341d1d1dc6aeb1dbbf6cef9","datavalue":{"value":{"entity-type":"item","numeric-id":592522,"id":"Q592522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458130$DE6D5F4D-0750-4E0D-9A3D-0F48F70BA124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ae4d9e47b529655a51a843de5f675cf2b0ef53a","datavalue":{"value":{"entity-type":"item","numeric-id":352096,"id":"Q352096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458130$0903A0D1-4D42-4205-A6DA-D843B5B40BC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458130$A2B262D9-3E92-4503-BB2E-44720C9956F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2441aa21fc769b692d60ef11b2b483f412b32269","datavalue":{"value":{"time":"+2014-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q458130$014619AD-33CE-4141-9670-9802B0C90C72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458130$56EB3A09-C576-4063-97D1-CCACC419F1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458130$D9029020-AB75-4CD9-B46F-461DF8F50082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458130$230336FF-286C-426D-9E6A-9876E888DAE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3a3281df6e564dbee778130d5d9620c6b31ab3f","datavalue":{"value":"6351822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458130$6FE2A4EE-2FA9-4E47-9C46-4971147EEFB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae33c0c5973ed35d9acf28d8fb0e0fe7c36a5053","datavalue":{"value":"correctness of software","type":"string"},"datatype":"string"},"type":"statement","id":"Q458130$D435E53B-86A6-4F80-9CB3-B32551DBAB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7568e4b6f6a85f7fdc738e58f2c4a6d722175e68","datavalue":{"value":"probabilistic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q458130$0C0C5EEE-1078-42D1-B30E-5E075B4BCE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3eee52ef343409dc232b7e3b26d33a09448804f","datavalue":{"value":"\\(\\epsilon\\)-bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q458130$53B5CF82-3FE1-42BD-A318-8273515A1601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd31f162cc59206822bac29ca357ce62cacc8112","datavalue":{"value":"convergence mechanism","type":"string"},"datatype":"string"},"type":"statement","id":"Q458130$409F0E30-9ADB-457E-90E0-33E27E8F71B1","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":"Q458130$570CC9D0-CA11-410E-81E8-76FAB54FE321","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"864348102f7b610055fdf4c984911ade022eaac6","datavalue":{"value":"https://doi.org/10.1007/s11390-013-1400-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q458130$0DB527F7-E426-493F-A5BC-B917CC650E00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a441e8f92e795373ed33d6646a53b7f4a1af2689","datavalue":{"value":"W1975701123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458130$AC4738BE-F65D-41BC-9723-A5556FB27FB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458130$B7032FD5-DFAA-44B3-946C-DA8D94E74D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458130$6C2B8251-08D5-459D-90DC-D61E4D52F918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458130$74C8574D-6887-4A99-A1AD-70D6D305E3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caf2146e004869421d0004301b1cf463b9d5af6b","datavalue":{"value":{"entity-type":"item","numeric-id":2767183,"id":"Q2767183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458130$A74D424E-9F35-4145-AD29-C987A8A90B0A","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":"Q458130$AD53D164-2710-4F69-8258-304B321AE5BC","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":"Q458130$F5863183-30E0-44B2-A68B-761115899C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458130$081042CF-7CFA-4CAD-BDCB-CE0E0AD20FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46552b7a5707ec562b440c80dc116bfa0f905cf","datavalue":{"value":{"entity-type":"item","numeric-id":3184679,"id":"Q3184679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458130$9DB3B7D7-7322-4F20-B0D2-498543988B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458130$96700118-F8B9-4F8A-910E-2A9269FB6755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458130$88B6884D-0A5C-43F9-AD90-3B41B3A6F50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458130$89982D61-C2AC-4AB6-AA9C-25C369931771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14e1ef9cb7e6c3d526e9ea88e650453099a13a20","datavalue":{"value":{"entity-type":"item","numeric-id":1607220,"id":"Q1607220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458130$E1B3A6FD-3579-47E5-A9AB-1CA4DC6123B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bca3ba2915b05454e21f141815c6d196370fc02","datavalue":{"value":"10.1007/S11390-013-1400-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458130$5A2C10EC-ACCD-4BFC-B5C5-9C98D1C149A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dabc0c8e45c1e6bb925593d0e2d62c2a9b648ce","datavalue":{"value":{"entity-type":"item","numeric-id":1744456,"id":"Q1744456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c779d5e3053ba4865c9ee46ab4f19c4632e28e86","datavalue":{"value":{"amount":"+0.7866992354393005","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":"Q458130$D2AF4649-8EFD-424B-A830-442C51AE512D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d702b76897dca7b73305b6103fb6ced2507401","datavalue":{"value":{"entity-type":"item","numeric-id":5505435,"id":"Q5505435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abab83d69660b76c112d0c2cd2b6f9e1c9ac1c65","datavalue":{"value":{"amount":"+0.7550752758979797","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":"Q458130$5B1B4E75-1CDF-4AE0-ABF0-9657910EC8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c7fbc4a70259baf1ab92890acb97ad84849eea","datavalue":{"value":{"entity-type":"item","numeric-id":974113,"id":"Q974113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27355aeb3756f573a79e67ff24edd36a297e9185","datavalue":{"value":{"amount":"+0.7533621191978455","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":"Q458130$75783B3B-4034-4DCA-8899-C94DB88FD377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec2972df9828cfb7c04a73b4797ddbd8b038961","datavalue":{"value":{"entity-type":"item","numeric-id":1664851,"id":"Q1664851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40fb2dc4c0a373e57329732372bf34470f0c836c","datavalue":{"value":{"amount":"+0.7523869872093201","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":"Q458130$3DDA0511-33D8-4941-A20E-6B79B7EECC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf58f55d5aecca1bbc6d4ca51438fba6991270a2","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc9cd4569573c7b4aefdea0d47214bed69a61a23","datavalue":{"value":{"amount":"+0.7452572584152222","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":"Q458130$4A98192B-0BA7-4699-AAF1-04897D0CFDC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The infinite evolution mechanism of \\(\\epsilon\\)-bisimilarity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_infinite_evolution_mechanism_of_%5C(%5Cepsilon%5C)-bisimilarity"}}}}}