{"entities":{"Q418153":{"pageid":419920,"ns":120,"title":"Item:Q418153","lastrevid":51474737,"modified":"2026-01-18T10:28:23Z","type":"item","id":"Q418153","labels":{"en":{"language":"en","value":"An algebra of behavioural types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6038300"}},"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":"Q418153$5346613F-FD79-4358-8C32-445E54A04E9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7c00b109a2a4254d1d961d4c3e349617d6698f2","datavalue":{"value":{"text":"An algebra of behavioural types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q418153$80FF8F05-5CA0-4FB0-A63B-956EA28494BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b26b980739c45cd29cf3032a819a38baf62cd8d","datavalue":{"value":"1260.68277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418153$CB919B20-DF96-4EB7-A0DA-39D0FA9806F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"795f48b4ae9178d57242a9f07437351885d44244","datavalue":{"value":{"entity-type":"item","numeric-id":418151,"id":"Q418151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$0872841E-5C09-4220-B577-023441BB6F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e218cc716c0ea95cac5bc203e535266b316ed8d5","datavalue":{"value":{"entity-type":"item","numeric-id":284645,"id":"Q284645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$CBB6307D-D24F-4111-82FF-6EEB31563BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e24206e48bfa64d206114cfb99aae3b6caf361","datavalue":{"value":{"entity-type":"item","numeric-id":1352124,"id":"Q1352124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$938050D9-A46E-4986-B68F-451D37B3E910","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$F0FDB9CE-9C48-4A25-A1F8-1F3C6B7DC123","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dd357d987d60d499edfc98e682fe931160623b6","datavalue":{"value":{"time":"+2012-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q418153$4642CD17-8336-4844-861A-53F8C144B51A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2ca2c5c20765314e3b22ff24f27eeba22e41e8a7","datavalue":{"value":"The paper is concerned with type systems for concurrent objects. Typically, a type system is a set of axioms and inference rules which act as an abstract proof system aimed at guaranteeing, for example, that a function is always called with the right number of arguments. In the case of concurrent objects, static typing with interfaces-as-types is not sufficient when it comes to dealing with dynamic changes of the interface (the set of currently enabled methods). To address this problem, the paper introduces the simple algebra of behavioural types (ABT), inspired by CCS-like process algebraic models. ADT terms are meant to characterise life cycles of concurrent objects. As the corresponding states represent changing interfaces, such terms describe sequences of methods being offered, and can be used for typing concurrent objects as well as reasoning about their behavioural correctness. The development of ADT induces in a natural way a novel notion of behavioural equivalence which is investigated in depth. In particular, the paper proposes its axiomatisation which is shown to be sound for general terms, and also complete in the case of a sublanguage of sequential image-finite expressions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q418153$75776782-1C62-4777-A439-22C41AE438AA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a5279059fc6d20bb27ba5bbae128acca6e980d64","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$00A46FA5-5F8B-4276-9AEC-4AE115592613","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418153$A40986C6-7929-4190-B392-120C5C1B3451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418153$77832A29-2AB1-492B-9B6C-966F38D08040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418153$9C40873E-73D9-44CF-9EA3-EB5C888D7028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418153$6B97E092-8F03-4774-B9C8-3D25CB9B2103","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b86d50b07ce8ca4db7d79134092be3361f38fe9","datavalue":{"value":"6038300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418153$B64E90B2-3A91-4F2B-88F4-900C73082ADB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q418153$4CD4D5B8-5A32-462C-AA2C-672C3954C2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q418153$123D763D-07BF-4D59-BAC0-769E1FA47EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07fca1f0a181bd766ff714379408f06e08b646f8","datavalue":{"value":"concurrent object","type":"string"},"datatype":"string"},"type":"statement","id":"Q418153$02A04EA9-7532-4272-BFB7-4F3E0A407DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07545e3190c10d222c4524317f97cc37cdf2b23f","datavalue":{"value":"behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q418153$94BBA7AB-6A24-4ADB-BC97-A2255E394DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66278a5c931b890ca2a4eaf95c16a94ffb623e60","datavalue":{"value":"axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q418153$BA6EC1BD-1B45-4714-98D6-31938DFE978E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q418153$E49764C7-205D-4364-A6E6-503C492DBBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q418153$5C212834-6A1B-4E6B-98C8-0825C98F43D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a557776217bf8c27ff1474396465b9e88385161c","datavalue":{"value":{"entity-type":"item","numeric-id":23420,"id":"Q23420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$182DE940-EF77-4AA2-AB36-50A4A93FE652","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":"Q418153$745C83EA-4ACB-4D72-BCBB-0CAAA20457D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bab6a3c899680f64ba26349d0ebedb32a7f15c36","datavalue":{"value":"https://doi.org/10.1016/j.ic.2011.12.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q418153$8D7D7BBF-56AE-4CFD-9DC8-75E7901A720C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c242cacc3cc329c8f043eaebd887af7ffeca5be","datavalue":{"value":"W1990799174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418153$0E343789-1E5D-446F-A1AB-03371890BA6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c268d979d3636a6f9a3b6df521bac25b150b21b","datavalue":{"value":{"entity-type":"item","numeric-id":1959478,"id":"Q1959478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$E5BDCC80-211E-42D6-9A9C-F6586434860F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a5fb5fbffea037d21a74110d86acc10df1cb367","datavalue":{"value":{"entity-type":"item","numeric-id":1090103,"id":"Q1090103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$CA8B743F-AF7F-47EA-AE2E-712A5EA52516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$3CB6EF2D-37A7-482E-8348-36CDEF0DFF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$D6BDF854-36DA-41A5-9B87-BFE68F689E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61aa7879136703bda5e59295720a93ade832ab4f","datavalue":{"value":{"entity-type":"item","numeric-id":1310285,"id":"Q1310285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$B0437809-5F27-4819-8BC0-712EC94F56E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2795f8b4aad8437cfe26e1399a11aa30e3d8e3c","datavalue":{"value":{"entity-type":"item","numeric-id":4370350,"id":"Q4370350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$31E7ED7E-FA25-4A16-9CEC-0AA64A662E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599958f2e9ba27ac792764284a326d4daac4c4f5","datavalue":{"value":{"entity-type":"item","numeric-id":1290334,"id":"Q1290334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$BDDCE8C5-9B4C-470C-9B8D-EFEDC0A6B71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf767f7e721efe5ccbff221144b9c1341cc71980","datavalue":{"value":{"entity-type":"item","numeric-id":4355677,"id":"Q4355677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$E9283B35-C0D0-46C7-B6D1-332E57F0504E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51dc08ebf63cb980ff38c6a8655ca9339e988d9a","datavalue":{"value":{"entity-type":"item","numeric-id":3612481,"id":"Q3612481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$83EE7632-E074-42C6-9AC4-3D8610B3FC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e675c984c3148c28f1bb3ca99bbdc1b208c3bb6","datavalue":{"value":{"entity-type":"item","numeric-id":615952,"id":"Q615952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$DC1A03F9-9DA8-4003-BE2E-5947960AD690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd887abcf3ca35cae9e79acb86dc1203d0dca77","datavalue":{"value":{"entity-type":"item","numeric-id":5178897,"id":"Q5178897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$EE9C2539-FDEC-417E-9127-D7557A9E5291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ae6ed760781d3b49742d7b716b0a26662372ea","datavalue":{"value":{"entity-type":"item","numeric-id":3142557,"id":"Q3142557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$9FC842EF-FA33-465A-B4A8-9C09D854FA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5142c6ec67e82aa4ab1465a9835a95c76bf8758","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$388BAF50-A3B1-4908-981C-A6A012DA0377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a2fff1aa5885a218f51bcefba885f80b029aa8","datavalue":{"value":{"entity-type":"item","numeric-id":1286077,"id":"Q1286077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$ED2BCAAC-B165-421A-A860-4B9AFD956FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$74394C4C-D939-4235-AFFA-D400EF8E384C","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":"Q418153$70CD04F8-BD22-44DB-84CE-136A1D50FDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$A42B6B1C-32E9-442D-AFB7-3560CEEC764D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839106cc0df8f163c5ff9c22a74ac51bd98acd8c","datavalue":{"value":{"entity-type":"item","numeric-id":4222868,"id":"Q4222868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$F1AE0447-93AF-486C-AC01-E8C78505B0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce6ec21fbe747f2d41af1ffc8ef5c6fc6065340","datavalue":{"value":{"entity-type":"item","numeric-id":1884932,"id":"Q1884932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$9F2AE693-C5FD-46F8-ADA2-E2AAE23CB65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359379e6c15377aa22627fdf8df4d247e89ad237","datavalue":{"value":{"entity-type":"item","numeric-id":4536437,"id":"Q4536437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$D0E3934D-0DE7-4F3A-A845-4B723184B3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50cd725fdfb06489aa9a045bf3a0ad88b009f0d1","datavalue":{"value":{"entity-type":"item","numeric-id":4536623,"id":"Q4536623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$20282732-BF6C-4C96-8284-EF2E28C493AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$96B19AA9-00B2-468C-872F-AEAD64254305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0dd1bf18245238ae3e17499871c7b9d4f066773","datavalue":{"value":{"entity-type":"item","numeric-id":2852014,"id":"Q2852014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$9C1DA34A-4EDD-405A-9AB2-77A85E0FD8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e98f322680a32cb9958826de3f407d1215106b","datavalue":{"value":{"entity-type":"item","numeric-id":1854328,"id":"Q1854328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$A05BFA6A-3B05-4BE2-A5D8-06C4D8CBBCC0","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":"Q418153$2DC1294A-4BCD-414D-9ED5-77603AD2FF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$9BE5C6D0-A7B2-46E0-B928-30FBB73F0355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$8AFFD5E3-8BB7-45C8-B9E1-58805C12780A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d7d93a9512ab236f4772935e1df8ec2aa25fe5","datavalue":{"value":{"entity-type":"item","numeric-id":6104374,"id":"Q6104374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$B318CC1F-FF2F-422B-B2F4-D0932F677878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a024d6fe2e8f5dc23a3aac7897d4d61e4e233f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4018066,"id":"Q4018066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$4C758D50-15A7-4828-847D-976493A4A651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85ca6904686d552b084d44f610a25e219134d7bd","datavalue":{"value":{"entity-type":"item","numeric-id":4942014,"id":"Q4942014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$CED7C767-76BE-4B23-9888-C07F4C088624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51bdde1a71ae4bdc7ff6dd9a903271e31618cc4f","datavalue":{"value":{"entity-type":"item","numeric-id":4251124,"id":"Q4251124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$B89194F5-EC29-4EAD-B3E4-EE20728EA841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c4d1255450b605c6ca9f98e23e4e136f7353a7","datavalue":{"value":{"entity-type":"item","numeric-id":4222938,"id":"Q4222938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$8862071F-1C9C-4444-8515-98737960F7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1b4cbf3e10a3da8520417e8d191cf55c271008","datavalue":{"value":{"entity-type":"item","numeric-id":5691098,"id":"Q5691098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$AB191695-3EE3-421D-BD7B-619D90D63CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$489FB3D6-ED6C-4E53-815A-A745BDBEFCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65ad711d725f7c7ce38cb04914fbe94f61b532","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$B291A29B-6E0A-47DA-94E2-FBCB9E664AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"934318b949d18290f8d027c34f0579a9f1f95e76","datavalue":{"value":{"entity-type":"item","numeric-id":4790922,"id":"Q4790922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$D62DDE5B-5B87-4D09-988C-CC01F62A7C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5991e409694f16e481a5050341ade9dfdab490f","datavalue":{"value":{"entity-type":"item","numeric-id":4329488,"id":"Q4329488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$C0FC3810-2DC5-478C-82B8-24A9FBEB0D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75f7caf1890d30989ae104791e17b958e9343eb","datavalue":{"value":{"entity-type":"item","numeric-id":4329009,"id":"Q4329009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$76C324E8-D11B-4440-B23D-7345F8E90EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1f55dcd9a4e7445a5e36dc2a9f92fb56df8dc9","datavalue":{"value":{"entity-type":"item","numeric-id":4778708,"id":"Q4778708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$59B3D21A-7530-47CE-BF5E-4266B312FFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab6382b8032d8156a2b1532dd248d2d09b48a6c","datavalue":{"value":{"entity-type":"item","numeric-id":4536621,"id":"Q4536621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$C3F5280A-B060-4F0F-9D2B-EECA8BB2F187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c57ff1f34fa8d12a81817f290f4b8a623d3fabf","datavalue":{"value":{"entity-type":"item","numeric-id":418153,"id":"Q418153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$CEB6AB99-4D82-486E-BC20-92E6BDEC0E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2fef7a5f3f2451e4133a48823217736cb7d413","datavalue":{"value":{"entity-type":"item","numeric-id":1854331,"id":"Q1854331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$DDF73531-2FF5-4120-AB39-99EF36FD44C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65a9ab5889d6c0132bb8bdfa24feb77331159fdb","datavalue":{"value":{"entity-type":"item","numeric-id":1271311,"id":"Q1271311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$B8E20549-83F3-47FD-BED8-F47941E90D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d43e531d910d44f802e7bb01f1e63c9c651da6","datavalue":{"value":{"entity-type":"item","numeric-id":4941915,"id":"Q4941915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$CECFD5FA-1D80-4654-9B53-C86D829E0AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccb5cfdd478327a0edd7de22de0cfaf0e52337c","datavalue":{"value":{"entity-type":"item","numeric-id":1327400,"id":"Q1327400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$CBE357E1-F18E-439A-8A3D-8031472EB75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96dc17d7202ab11ced7c513880be8380bb198fb","datavalue":{"value":{"entity-type":"item","numeric-id":1285667,"id":"Q1285667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418153$66ED68A3-B3CE-44A1-AA7D-381A059958A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39cb1cf29b54f818710dc1568c35fe6c73aa4fd0","datavalue":{"value":"10.1016/J.IC.2011.12.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418153$09BD2D71-D6AE-48EF-9F1A-177359873726","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d70a779b46183ed28556aad915835357720c298","datavalue":{"value":{"entity-type":"item","numeric-id":4536990,"id":"Q4536990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1201ecbe44c10c547ca0b6a36ffbcc222ee51911","datavalue":{"value":{"amount":"+0.8227323293685913","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":"Q418153$C3FF4BD0-C28A-4F85-B709-CA73B08C70A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de6dfb0898a6edfb0a019ff04ac3e492b7bca39d","datavalue":{"value":{"entity-type":"item","numeric-id":2906949,"id":"Q2906949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8339f01b4a6ceba5d9f3348669accdd3fedca67a","datavalue":{"value":{"amount":"+0.7944814562797546","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":"Q418153$75782138-B7F5-496F-B230-1D7BFBC58FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d777af580a113c7dc57988ce30936e73a7185b75","datavalue":{"value":{"entity-type":"item","numeric-id":817843,"id":"Q817843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d194e9f421ff3dc615a06b84cef5c985294f788","datavalue":{"value":{"amount":"+0.782879650592804","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":"Q418153$7E350A16-2946-4375-8405-107EBB7C9358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f268907e46e52f67ff0aaa2565db237143a5289d","datavalue":{"value":{"entity-type":"item","numeric-id":4251096,"id":"Q4251096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5ebc563c58ac4640f7dbf2b7f87503e78c9d5ab","datavalue":{"value":{"amount":"+0.7814425230026245","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":"Q418153$49692127-922F-4499-8737-28F0A19615F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf4d327411c2cd9da8f44f5201afcb3013abb6b","datavalue":{"value":{"entity-type":"item","numeric-id":3400541,"id":"Q3400541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e47d0da4ee19dc1da9b531873e89b4455e52d4","datavalue":{"value":{"amount":"+0.7489246129989624","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":"Q418153$D18E4701-F8A4-4954-B6FD-59520565EA58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:418153","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:418153"}}}}}