{"entities":{"Q505252":{"pageid":507019,"ns":120,"title":"Item:Q505252","lastrevid":62380023,"modified":"2026-04-11T05:41:39Z","type":"item","id":"Q505252","labels":{"en":{"language":"en","value":"Rough approximations based on bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6676394"}},"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":"Q505252$1F453C6D-929E-4B98-A58D-2CC11CAE5D89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afd58b7c8f96e3346d68f5291da6166b220f7e29","datavalue":{"value":{"text":"Rough approximations based on bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q505252$52C8D474-6F95-494D-826E-B36AC32B8F21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d266ee4f0cab4dac6edc867b49880553d38d41bd","datavalue":{"value":"1401.68333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505252$7E36CD4E-D4DD-4D63-97D8-441233AF1FF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd49bea58fcae1a915eac399e01b1ecb9ebae7f","datavalue":{"value":{"entity-type":"item","numeric-id":363447,"id":"Q363447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$8A6A10CD-20F1-4AA3-963F-BC027D03C89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"effdc9a15c3202a2e56de62d6a78aa2deaa29b2f","datavalue":{"value":{"entity-type":"item","numeric-id":505251,"id":"Q505251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$19C92AC6-192D-48C5-B487-AB77E4952C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63e289044db854df1cc5faf667b22a73dd76c4af","datavalue":{"value":{"entity-type":"item","numeric-id":265420,"id":"Q265420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$4C90A3F8-8EDF-4FB4-8569-FE73CFAC3401","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$F517B88D-C846-49E4-BEDA-015DAF2523DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"300acc7309ab8a260436b7e7ac046dd31b269120","datavalue":{"value":{"time":"+2017-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q505252$68AD90A9-8714-4270-9DCA-F23550AAC467","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505252$35529A54-8312-4C6E-9E19-4AEFFFB81CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505252$C5578FB4-4AD3-4A34-9260-798A56226839","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77e489cfb3603e9534cf25729c11fdea5416f6ab","datavalue":{"value":"6676394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505252$4AB70F80-764C-434A-9E6D-78E7D2E76A43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b7cb9df0631119d48e6110b3f2f6fe0e849eadc","datavalue":{"value":"rough set","type":"string"},"datatype":"string"},"type":"statement","id":"Q505252$7F34FAC3-FAEF-484C-B67A-E9E78CEF4EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3288c593c0279b6e41526e87379da46a2d708355","datavalue":{"value":"generalized approximation space","type":"string"},"datatype":"string"},"type":"statement","id":"Q505252$0A2395E3-587A-418B-88E3-98DE7A4C5978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q505252$AAA6AAB1-2858-47FD-BCF9-AE268DD5D994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q505252$04162955-502A-4881-9B35-DFA9A9FFC4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0c081abc8eda38858901e1fd627902a9a4a0e0","datavalue":{"value":"labeled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q505252$CA4E3429-2AC2-48D8-AD4A-17776528E85D","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":"Q505252$465E8982-85EC-4397-BD2F-1D979CEF5C1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fe1d01d415ed6f614640e49b7a40f53087246b6","datavalue":{"value":"https://doi.org/10.1016/j.ijar.2016.11.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q505252$A2502653-CFED-4F59-AED4-266C9BB26123","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d9a8ee0092d686ef68e7aadafc3c31165c70aeb","datavalue":{"value":"W2553317149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505252$4CEC81C7-E3C8-45FC-85E4-7B459D42D5C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83ff3771e4bb21b05c06632818e876d1d3d01b8","datavalue":{"value":{"entity-type":"item","numeric-id":545376,"id":"Q545376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$E02B5B78-3A52-4091-9CFE-07FF483B0509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23f88fdb8acab2ce6ab766907dbac7ae7b292da","datavalue":{"value":{"entity-type":"item","numeric-id":4250245,"id":"Q4250245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$19C8A386-D574-4957-9FF1-A204DA8C310B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a09165dd7f9afd347e879ee619c80d9e25db3d","datavalue":{"value":{"entity-type":"item","numeric-id":690916,"id":"Q690916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$0F9B41CC-43EE-4374-AC7D-3A9159B52A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7550696d68488d76f96f6b9cfb4df71d0b7e08c0","datavalue":{"value":{"entity-type":"item","numeric-id":3350830,"id":"Q3350830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$75A7F1A1-2516-4873-850A-1527BA40C5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9bbaef3c28d19e653ae5ffc2cc7e7246e357d9b","datavalue":{"value":{"entity-type":"item","numeric-id":5925935,"id":"Q5925935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$1B87F1C3-4574-46F9-8680-22A41C92990B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a23fb9edf6f9d5e8bd5bd2d61329fc0da558c29","datavalue":{"value":{"entity-type":"item","numeric-id":5449774,"id":"Q5449774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$A7B8D836-6D4A-4DBB-B412-B23502BA010F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86fa1fde7dcc1c6cb5c5d9ea21922cbf0d1d03d2","datavalue":{"value":{"entity-type":"item","numeric-id":3401127,"id":"Q3401127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$15976271-9EF4-4D36-BD1E-3A3F9C17F415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d1e2ad5a17ef0cf2bce8bd348608b788e0840d","datavalue":{"value":{"entity-type":"item","numeric-id":712495,"id":"Q712495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$C7FE4A2F-09F6-4C58-9765-92BB8A37ED62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$2D6E83C4-64E3-4CC7-9967-E962D5C254F9","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":"Q505252$7FCF2EC6-C566-4E99-B9F9-9FC6F90D9FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e8339cd30ec532b4cf89b396ab3cf58729b8b78","datavalue":{"value":{"entity-type":"item","numeric-id":5245182,"id":"Q5245182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$43CEF59C-0918-4B2C-BD76-DB7C9733AB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aec1e62d69af1f2c6a5e20db54960ecce4a58b3","datavalue":{"value":{"entity-type":"item","numeric-id":256472,"id":"Q256472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$6F4B2936-BD36-44A5-B346-860EE4DBB15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db38ef37f558c1fcb8d172aecf759fb26e9d1bda","datavalue":{"value":{"entity-type":"item","numeric-id":2453623,"id":"Q2453623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$BD12C628-69D8-46B2-858F-DE84FD7BAA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$94F19F32-0670-436D-A8A6-3EB24977B97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25698c06a20e5acf5f1b234c6efa51e4e5a1a66","datavalue":{"value":{"entity-type":"item","numeric-id":274444,"id":"Q274444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$2214182C-A0C9-479C-BD66-14A5F1197E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2f41130b509831baf5af23268e2d9282bcc7e6","datavalue":{"value":{"entity-type":"item","numeric-id":1818807,"id":"Q1818807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$8C26ED7E-F0B9-4AC9-A5D7-D687E4B9A406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd49cecb00ca1acd05ec618d13240f04ec21bb5e","datavalue":{"value":{"entity-type":"item","numeric-id":899460,"id":"Q899460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$7152FCE3-BC66-497F-AB10-3776032AF1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb5cdec5c6c46e6cf75cb692128690637a31475c","datavalue":{"value":{"entity-type":"item","numeric-id":955718,"id":"Q955718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$ACC60FC8-C1C5-4BBB-B6F3-11B95776FBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f62c5262704493f7723f1c7e04f903c915ba65","datavalue":{"value":{"entity-type":"item","numeric-id":2943564,"id":"Q2943564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$F8AB5A50-6CFF-4A21-9F0C-5ED998589B71","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":"Q505252$02A78EEB-8E53-48F4-9ADA-3D2357F97CE3","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":"Q505252$362EDD45-D448-4827-AF7A-25BCDCC7B2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4fb0b4b2741abd1fdf27a2bf15a7c5cb5d72ca","datavalue":{"value":{"entity-type":"item","numeric-id":624091,"id":"Q624091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$27352D13-6C1A-49B8-B677-6C6840C01002","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":"Q505252$350055CB-6848-4AD7-9333-3EBF7C0FCFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bd738f2843188e675b23c6e0f6300cf1c1d2bd","datavalue":{"value":{"entity-type":"item","numeric-id":3967078,"id":"Q3967078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$5EE774F7-6F6D-4178-8A95-6C9F2EA79CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1681513c172dbb920d10817a14a72d0b2ed4b474","datavalue":{"value":{"entity-type":"item","numeric-id":4003537,"id":"Q4003537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$0CE79A0E-E43B-4D62-9494-A7D078AA9910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbae351310c6fbc174dc38079ec3b3d9eb0f8646","datavalue":{"value":{"entity-type":"item","numeric-id":867594,"id":"Q867594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$ED032806-021E-4154-8DB6-5726967F561D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb0829def904666ca6fc5c91882e93d6c38fe66","datavalue":{"value":{"entity-type":"item","numeric-id":1280062,"id":"Q1280062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$B4E8DD73-9FDB-47D5-A89D-76874D28BF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc2228bb9f029b13bd9aa2e5ff12380e7485160","datavalue":{"value":{"entity-type":"item","numeric-id":3098568,"id":"Q3098568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$882A6BAD-5B13-4F74-9FB3-5DFD040C0C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72c70365e97fd75599423028aef41519db531d82","datavalue":{"value":{"entity-type":"item","numeric-id":4892379,"id":"Q4892379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$77F349EC-D348-4742-A496-F9B912A09295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74916fd156d42c6e6d40bf5c3bb2f90471d4ae56","datavalue":{"value":{"entity-type":"item","numeric-id":433041,"id":"Q433041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$73CABE81-7097-4089-A9E2-1B426BF7AEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c1482b6e9a7d163d7f5c82b105629aa01d35f4","datavalue":{"value":{"entity-type":"item","numeric-id":4014094,"id":"Q4014094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$0CC3054C-28FF-49EB-832D-EA2B2E225696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41cf8c1736328d44a0760bf802f88ec9d58b6660","datavalue":{"value":{"entity-type":"item","numeric-id":1809334,"id":"Q1809334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$04E9DB78-9CBE-4741-A9B0-C2979A4B4893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab896e010fff1a30db112ecb954e2d92a2202fb7","datavalue":{"value":{"entity-type":"item","numeric-id":1298348,"id":"Q1298348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$67FBE510-D51C-400C-96BF-A624AE37884C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"244f58bc46894ab63422787cc819b6db7e67c1c0","datavalue":{"value":{"entity-type":"item","numeric-id":4400871,"id":"Q4400871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$E71B85D9-BA65-4413-BE47-6654B17070BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81ef8f95eeba0b335917a2fbfee6053b7eab887","datavalue":{"value":{"entity-type":"item","numeric-id":1818795,"id":"Q1818795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$346F9605-CDD9-4465-A7B3-63508FCAB9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79fc00082ad624041ce46fb50c1889ed05646ece","datavalue":{"value":{"entity-type":"item","numeric-id":4426928,"id":"Q4426928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$1DFDD374-B40C-4BAC-AE46-97D89B92B356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2e103d0fcff1215504f20eb0799ebd35d3042f","datavalue":{"value":{"entity-type":"item","numeric-id":4709248,"id":"Q4709248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$1B64DE5F-F329-4408-8AD3-5B6C1442EA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a875a2308e997242a5bdc2eee989e71f4f49bb","datavalue":{"value":{"entity-type":"item","numeric-id":991893,"id":"Q991893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505252$3400BB05-A8DD-4325-AC04-BCD261ADB4A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5af0f3f25910ac6da1d51e7a1eccedfbcf682a42","datavalue":{"value":"10.1016/J.IJAR.2016.11.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505252$D06F60A6-35B8-49A9-9810-93898D124C64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff8d06ad2019e5c3a7cfd29eebebc901ede6b4c","datavalue":{"value":{"entity-type":"item","numeric-id":1748529,"id":"Q1748529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a048e26a2905bf2d85a83ae1be6b758b1a9acdf8","datavalue":{"value":{"amount":"+0.8119379878044128","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":"Q505252$97B7D54D-D67F-4177-A6F6-6232C99ED3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa12c96f474bd8fb26b93b2027ef5c437de0ef7c","datavalue":{"value":{"entity-type":"item","numeric-id":3146276,"id":"Q3146276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de7146dc404843c10e0b96b6200f2756bff42a3e","datavalue":{"value":{"amount":"+0.8118382096290588","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":"Q505252$18B8C4AA-AA40-4536-B298-7C6282CAFD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed400d4b5288e7e1e82a172c0b5dd34b175cde8","datavalue":{"value":{"entity-type":"item","numeric-id":4475562,"id":"Q4475562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e82f11c275816579590a79630e4c7fc028c6067","datavalue":{"value":{"amount":"+0.8103271126747131","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":"Q505252$E24F4B95-5062-4C3D-90A0-67D6F8DB7864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819c4c20d71dfda5b6d03eff1defa85703c1e4c1","datavalue":{"value":{"entity-type":"item","numeric-id":4534927,"id":"Q4534927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575df14d9ed9c61d782f96dbf5c50b7ffe1e585c","datavalue":{"value":{"amount":"+0.8070612549781799","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":"Q505252$8B4B0BFE-3876-4385-9117-3C33C281284F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454ca15fb1eb0ed8dad91813b2ed5ef94ba8a22d","datavalue":{"value":{"entity-type":"item","numeric-id":4238197,"id":"Q4238197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575df14d9ed9c61d782f96dbf5c50b7ffe1e585c","datavalue":{"value":{"amount":"+0.8070612549781799","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":"Q505252$CCADBD6E-F1C6-49A6-B6FA-6870FA02826E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rough approximations based on bisimulations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rough_approximations_based_on_bisimulations"}}}}}