{"entities":{"Q2994479":{"pageid":3005203,"ns":120,"title":"Item:Q2994479","lastrevid":52585226,"modified":"2026-01-23T01:16:59Z","type":"item","id":"Q2994479","labels":{"en":{"language":"en","value":"Topological construction of parameterized bisimulation limit"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6608375"}},"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":"Q2994479$6AA0E082-007F-4CCA-BEDA-E421B5A8DA02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"189b8b37974d627c8f3935c9044f47814080d013","datavalue":{"value":{"text":"Topological Construction of Parameterized Bisimulation Limit","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2994479$7F4A0370-2ADE-4A56-8E70-1C5E8CD89F7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c94fdcdccc4240b52bbdee4e511d7c9e4aa44353","datavalue":{"value":"1342.68233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994479$DA5F720D-F92B-465C-A144-32D8F14A92AB","rank":"normal"}],"P16":[{"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":"Q2994479$A2BE4722-C4B9-4014-B1EF-3F65389D9C48","rank":"normal"},{"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":"Q2994479$CFF91322-6215-4390-B8FB-216D9A7551C3","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":"Q2994479$064E30D2-28A8-4BF2-9528-BE00F01337B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54b54adebb79dfabd07c0151545b3468c800875b","datavalue":{"value":{"time":"+2016-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2994479$8487AA0F-F73C-4D49-B849-E12AEAED321D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994479$E4A36537-6F0B-4E58-81EE-07A20613E808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6572440b52f16621a0f14dcfb541403c84695f8c","datavalue":{"value":"54H12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994479$6906440F-E1D3-4CC3-A838-1C4112C3A910","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91b9712113ebf312cd33218fa18ae39b48eb90b2","datavalue":{"value":"6608375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994479$67D05ED7-44E5-4B24-BFCC-BC8F352F0A41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994479$90EC68D1-CDBD-45A0-9723-90C27C882E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66f8d9a3f0665c370373d8e46be86201621f0e0b","datavalue":{"value":"\\(\\varepsilon\\)-parameterized bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994479$EBADDE33-1DCA-4AB0-9C01-8AE99A86F63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc0a84184ee1e02082342cd5af863197cb0bef1","datavalue":{"value":"\\(\\varepsilon\\)-parameterized limit bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994479$3B9EDC84-50A4-440F-9531-E025E0696D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994479$0C6BC867-3C21-4654-B534-0E31B6EAA57D","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":"Q2994479$347BD660-2075-48EE-9D39-2EBAE4F04A17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c980e15f61bd2599136fdcbe5fcfc103504dd71","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.11.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q2994479$CF9A1260-EECD-44FE-B109-602C7B61BB07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"989534272727962275615f25a41fca32ad38d1c6","datavalue":{"value":"W2092092493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994479$4615BA76-6E6D-447C-BDFD-23DCBBF18DC7","rank":"normal"}],"P223":[{"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":"Q2994479$493D8546-F97D-4DCE-94C6-E820EEC73B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994479$77B60DC4-EBF2-4A85-9866-BB027DD3791F","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":"Q2994479$09A35BE0-470B-4131-AC48-CDD1C52B528D","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":"Q2994479$65DD600D-7521-40DF-A08E-894679F42B4A","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":"Q2994479$C9BF3D3B-9873-49E1-9201-644550E8D043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b1b225889f83bfada58658525bacbd896b00e3","datavalue":{"value":{"entity-type":"item","numeric-id":1088404,"id":"Q1088404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994479$915FC4B1-A1DE-4AD3-AFD2-9036994D325C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b14df683799df003bbc19d4fc799542cc72999","datavalue":{"value":{"entity-type":"item","numeric-id":1964363,"id":"Q1964363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994479$84F10C2E-70CE-47FB-B871-FFA338EED312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994479$E082F013-367D-4DC9-8CE8-E655ED130BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994479$BA5A3BC5-4FD4-4602-AD6E-C7A67A118107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e5039dae357336c077d411be3733ff0cbac146","datavalue":{"value":{"entity-type":"item","numeric-id":4064160,"id":"Q4064160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994479$E2F4679B-E7BC-4847-B7D5-8D0480663F54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7493d278a9581ba4207dd3291d73371de72e5d87","datavalue":{"value":"10.1016/J.ENTCS.2009.11.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994479$D8469BC2-048B-4DE6-A0F7-F4B06DBDC96D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc17f845294d4119dc056ee04203fb7aa0722cc","datavalue":{"value":{"entity-type":"item","numeric-id":2847419,"id":"Q2847419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8712705af8323ee39e5a6c3393d3b3925abdcf8f","datavalue":{"value":{"amount":"+0.7292183637619019","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":"Q2994479$F34AE861-4E42-4F2B-A965-D2B41EA68733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ba7324ce85b473a74d8b2c333636413a484abf","datavalue":{"value":{"entity-type":"item","numeric-id":5410486,"id":"Q5410486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b9309f8037ba41438842fb3f40520bee4caa8bb","datavalue":{"value":{"amount":"+0.7131795287132263","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":"Q2994479$D8BF9A62-1FB0-4188-B903-B14B23CD2836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e547c2b5c7681d460d751ac3bcb87797b5bc3984","datavalue":{"value":{"entity-type":"item","numeric-id":4943548,"id":"Q4943548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80bc390ae148042e8b18dcc074f787344e534c73","datavalue":{"value":{"amount":"+0.7111610770225525","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":"Q2994479$D3374832-A33A-45E1-9086-40DBDAD43961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45992fa5b370198892ecb9599ef930f55263f26a","datavalue":{"value":{"entity-type":"item","numeric-id":1675792,"id":"Q1675792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96a4ecf4da079c9c4235c83ad657343a8febb46","datavalue":{"value":{"amount":"+0.6944069266319275","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":"Q2994479$15371AE0-4603-4170-9776-C73CD0AECBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc14111fc7888d1f6e1bc0c139813a021c6f04f3","datavalue":{"value":{"entity-type":"item","numeric-id":458130,"id":"Q458130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"694d6feb364cb3bd98fe23bd139d79938e80127d","datavalue":{"value":{"amount":"+0.6904110908508301","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":"Q2994479$57644344-CD7A-49C7-B958-FA62673E5CAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2994479","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2994479"}}}}}