{"entities":{"Q5505435":{"pageid":7534995,"ns":120,"title":"Item:Q5505435","lastrevid":50550119,"modified":"2026-01-14T09:03:49Z","type":"item","id":"Q5505435","labels":{"en":{"language":"en","value":"Non Expansive \u03b5-Bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498151"}},"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":"Q5505435$7DFB71BA-3119-4F18-BA1E-E29E1E2567AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfa0f0aa7086c18924e40b4632c68a1205e706e8","datavalue":{"value":{"text":"Non Expansive \u03b5-Bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505435$9CF9253C-2EA6-4708-8947-45F86F7613B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba993dfa97f3d006f634d60503ee59f7bd2ac521","datavalue":{"value":"1170.68543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505435$6C2F8C90-28B6-4F11-9DA1-3985A38AF998","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fc768e896b44019093fbfccf28a454960b30903","datavalue":{"value":"10.1007/978-3-540-79980-1_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505435$012450FC-3ED5-4E4F-824B-31159619BE3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd4b76f0953196f6fe39bfffcac9dd860fc56e60","datavalue":{"value":{"entity-type":"item","numeric-id":236458,"id":"Q236458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505435$0A009B20-4558-4339-A53B-7A02425C68FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505435$9F6BF0CA-8AA8-4960-92CB-7EE6163F8613","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505435$0300EE37-BEF0-4BF0-ABAB-0C7BF547D32C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505435$04995002-7157-4E6B-B20D-F255AB0A6DE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34150e85c1db61d9f05e175685e5790c67350e80","datavalue":{"value":"5498151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505435$16D1B3B1-F6F5-4703-B74F-7D94D7F53D4D","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":"Q5505435$FF44DDB2-1E9B-4F9B-B007-F3BDDAF73A0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16337d0d60330ef9c2d2fac3c62c7ce922c76e43","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79980-1_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505435$9578DDEE-EB6A-4E2C-8203-462326212619","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28d5d2e8e21d45da5ee55c3fe69a7ddbf4840ad4","datavalue":{"value":"W44759527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505435$762BD228-C286-4484-A659-ACBE85E0CF1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f873c4fa6c09b28c724b78ca2774ca6eb3ed6728","datavalue":{"value":{"entity-type":"item","numeric-id":5901850,"id":"Q5901850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505435$E4751AB2-05D2-4760-81F4-9A758F1BA1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"215c24ea925c1d72b08f750cc9960d8b6c67b38f","datavalue":{"value":{"entity-type":"item","numeric-id":1899914,"id":"Q1899914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505435$EA0D6EF7-A89B-4A67-8237-5B1A88F4893B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846bd11e2686d660a49438abfbbd46392b179b05","datavalue":{"value":{"entity-type":"item","numeric-id":4535031,"id":"Q4535031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505435$CADB857C-05F1-4C51-991F-4AB864D2FE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740e35ec6a97dccfab3cea00fb5fb7d4602bef5d","datavalue":{"value":{"entity-type":"item","numeric-id":2842551,"id":"Q2842551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505435$AB5E0992-69B4-4120-A21C-01402CAA6CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2460002d0adbe8417dfc0562899200f110b197","datavalue":{"value":{"entity-type":"item","numeric-id":4371690,"id":"Q4371690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505435$6DDB7A62-95D3-4CF4-9AB5-2832EF8C3956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e910305139e3b0c5739eae6d1ad9548f45d6910","datavalue":{"value":{"entity-type":"item","numeric-id":1853593,"id":"Q1853593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505435$0D91C633-6AB7-4B43-9980-C044BB957D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fdf0fd443743e61bb3484b43f4300cab298e502","datavalue":{"value":{"entity-type":"item","numeric-id":5204359,"id":"Q5204359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505435$34FCC950-B7C7-4865-A3E6-782D50003E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfc5fb0376bd23f0d02b623cc2a25ba1ce77316d","datavalue":{"value":{"entity-type":"item","numeric-id":5705912,"id":"Q5705912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505435$0971E257-F111-44B3-8641-9B50424341E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f7f41066e9f4c31755bb0d6f58077d78d50178","datavalue":{"value":{"entity-type":"item","numeric-id":5898162,"id":"Q5898162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505435$CB9FB8CE-B802-4E7A-B1A6-CC128BE17503","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":"Q5505435$CB5CECAF-7297-43D8-B6E2-625200BAD2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a5be0c101b23bfa62ae4840034b8ca646534b1","datavalue":{"value":{"entity-type":"item","numeric-id":1079949,"id":"Q1079949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505435$B0F32BCC-D2CE-43CA-8B38-17BFBC152B9B","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":"Q5505435$AFEF608A-87D3-447F-8B2A-7BA781A15B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68cd30e72facb3a17c3ce130db42caf44e920c1f","datavalue":{"value":{"entity-type":"item","numeric-id":5458377,"id":"Q5458377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505435$09B5EE77-2165-4812-B646-828D7EDEEF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f25c3a754d4ba3631bc79a111d6fb32f5805b16e","datavalue":{"value":{"entity-type":"item","numeric-id":2946567,"id":"Q2946567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505435$E4019941-C70A-4AEA-84A2-A9B11C7F1193","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":"Q5505435$67262AAC-98DC-441B-A5BE-F76ED5A18928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505435$57094DD5-BEEC-406F-9C8F-91A5FCC67BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7aac5fc80d6b5dd2654373ac1513a53fac48bc","datavalue":{"value":{"entity-type":"item","numeric-id":4791270,"id":"Q4791270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505435$F0B0929D-A73C-466D-84D4-10A5CBABCF30","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":"Q5505435$00708E4D-7577-4BD3-8657-D1171D9A8C4E","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":"Q5505435$DE35BF36-27E4-46E4-AA12-A10C8C59DC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7f33ca20da467faef38d779155a5b2b594538c","datavalue":{"value":{"entity-type":"item","numeric-id":1878713,"id":"Q1878713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505435$9129E33C-A48A-458C-8D37-571E69F759CA","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":"Q5505435$5984CFE7-59BF-41F4-AD38-82349E340F26","rank":"normal"}],"P1643":[{"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":"fc45579b851694f5f5f66d82a4d000edff9c02ea","datavalue":{"value":{"amount":"+0.9727262854576112","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":"Q5505435$71E6E2AF-2AED-44C6-B884-2AD1BEC73A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27be90a18914037a481652af0d8a4ab64e2f109e","datavalue":{"value":{"entity-type":"item","numeric-id":1941884,"id":"Q1941884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e786045568f7620681165eec20f8684fc86467de","datavalue":{"value":{"amount":"+0.7754604816436768","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":"Q5505435$8534AC3E-0670-4888-A40C-E47515245DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa28cf266b343f5d69054f1fdc2cce485bea109","datavalue":{"value":{"entity-type":"item","numeric-id":5013870,"id":"Q5013870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45fba3d57f8433592a179e8a4212679b2f36853b","datavalue":{"value":{"amount":"+0.7693237662315369","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":"Q5505435$22EB42F0-8FC3-4F10-B73C-B868B52636A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef81862bca1afbd34a6a39bb10b75740caa503e","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f6ce11d27b2f0e382b170452dcf92baec05624","datavalue":{"value":{"amount":"+0.7561665177345276","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":"Q5505435$BCE94B9A-0E5D-409D-AA92-F06CAF0F2593","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":"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":"Q5505435$C4BBC8BA-EFD7-422A-9C29-EB982DF02783","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505435"}}}}}