{"entities":{"Q2072069":{"pageid":2082811,"ns":120,"title":"Item:Q2072069","lastrevid":55398826,"modified":"2026-02-17T15:31:53Z","type":"item","id":"Q2072069","labels":{"en":{"language":"en","value":"Categorical specification and implementation of replicated data types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7467470"}},"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":"Q2072069$DC05A96D-40F5-4904-AC6D-11457E880305","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fc6e4bd582687d2ca6f96874dcfde4a07343761","datavalue":{"value":{"text":"Categorical specification and implementation of replicated data types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2072069$1A7C1AE6-8C60-4A55-ADDC-F46CC1840D6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3445d7abc4eee928243e03ab31bdb8317e366c","datavalue":{"value":{"entity-type":"item","numeric-id":344544,"id":"Q344544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$12F731F6-2216-4E8D-AA1D-3F90C5DEDA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e486ff16bd191aa095648f962c7d6d0234cad69","datavalue":{"value":{"entity-type":"item","numeric-id":2037952,"id":"Q2037952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$6195B8F5-C7FD-4418-8C58-0044DFDC629F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5def2e076fa9d9cf4aa0a24e4f65a217b7d5b48b","datavalue":{"value":{"entity-type":"item","numeric-id":2037953,"id":"Q2037953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$551D50D7-3401-4912-8FFA-144322503393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9153d687468caa848dd7d7aae8cfeaa8401f9f5e","datavalue":{"value":{"entity-type":"item","numeric-id":530840,"id":"Q530840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$E68EEBDC-8B46-42A5-9B66-E9A6A9779208","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$A56DAE95-1B5C-4F77-8A2E-B0F1C34300EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fa622351c9dbc7b7a891fa25d235c8f79af6e3a","datavalue":{"value":{"time":"+2022-02-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":"Q2072069$03D69DA6-5D8D-409E-883B-D20B0287777E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2072069$49BD4626-E67B-4FF4-87BE-DAAB16F10CA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"670e0cc4576d86af0ca5dbb446eea3607d0d6f6c","datavalue":{"value":"7467470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2072069$303877C3-3870-4FED-AD57-587822FD3F35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94c6b4eac617b0b46f69db2273f624c727ec916b","datavalue":{"value":"replicated data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2072069$45FE177B-875A-4D89-B640-94E9E59BF328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2072069$2D5BCC4C-C991-438D-8821-892B56E591B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2072069$AECCE33A-3BCE-45F2-8A71-BEB885F7C029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9071c3e6655e764506623c1ae73a69bf494a85e","datavalue":{"value":"functorial characterisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2072069$405522A3-AD07-426F-934D-599285B59DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ff4dd1e1513a47ac6d8cff4866e44fea27fc673","datavalue":{"value":"implementation correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2072069$8CD60CB8-AB34-439D-B494-CE31938462C5","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":"Q2072069$B62DEC4A-CE65-4D0F-9C6D-A19668FD9C51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2d0c115c170ac93af3628033d7c852b4022b2a0","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2021.12.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2072069$EB09F69B-6B84-45A8-90FB-9805A553A6CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59e2a6457a8c77fae27435d073492f19818cd5b8","datavalue":{"value":"W4200072206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2072069$1496E8F1-5BDA-42A6-BEC6-E9023D0363BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d5bdba10883b7fdb95457f9d0601b3e431492b4","datavalue":{"value":{"entity-type":"item","numeric-id":4967240,"id":"Q4967240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$DE19F68E-A9F4-4795-A9F4-524F083BA64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$AA203F9A-A90C-4732-B3C0-3CA4FA015FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a52cca5ac0709c5b605ee969be9c786a433fce0e","datavalue":{"value":{"entity-type":"item","numeric-id":2946747,"id":"Q2946747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$A8471CD8-8A84-46A6-8728-FF8950BDF51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f25f4fa6e916cb93bf1a44b3e4f581540d70e49f","datavalue":{"value":{"entity-type":"item","numeric-id":5408425,"id":"Q5408425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$63D70181-83A9-4A59-A7AF-CDBF08AA884A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4c5dcb2d36c74238f28ddd1fbfa66787d7bd3c","datavalue":{"value":{"entity-type":"item","numeric-id":5408424,"id":"Q5408424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$7F4C0C1E-0FB0-46D3-B29F-36036D142F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee087c71e54f07ecc28c923672081daf6396af9","datavalue":{"value":{"entity-type":"item","numeric-id":5357694,"id":"Q5357694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$56DE1E3D-70EF-4D6B-BCC7-522B27EA1B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea518496b73296b27d06f837b3058b705c18a58","datavalue":{"value":{"entity-type":"item","numeric-id":2037954,"id":"Q2037954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$B85ABF4A-EA16-4037-8F95-E6D8A478904B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f541c9c9abb0baf2e9aef317cac2362000fcede3","datavalue":{"value":{"entity-type":"item","numeric-id":5875678,"id":"Q5875678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$0D7C6250-93BB-4323-BD94-8C0F1DB766BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b881ebb5e69402776dec45b54b75d853b0f7607","datavalue":{"value":{"entity-type":"item","numeric-id":2802456,"id":"Q2802456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$6511291D-9D66-4E05-AAB1-74D2B6724F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e9f41322dc74c02b234e1f9a37d82ae80f8f26","datavalue":{"value":{"entity-type":"item","numeric-id":627133,"id":"Q627133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$AEDDD2DD-CE70-4449-A275-F126DD7E168E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b650e33a4a5c0e80e120de15fc90c4d08686c15b","datavalue":{"value":{"entity-type":"item","numeric-id":4536606,"id":"Q4536606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$3BE71C4D-6AA8-46CF-93C3-E2DF5751FCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$A175D937-D27E-4A7D-AD9F-D797F83BC3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$A99E3ADA-27E6-4E76-B455-4C136C9D8421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b961351448ae339d35d91c7e1441dcfbada5d4","datavalue":{"value":{"entity-type":"item","numeric-id":4904106,"id":"Q4904106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$88E6C3E9-0E50-4BE8-8052-8A0A381EC74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1b43206df452de3c5209da7f62d0f277f9ea2e","datavalue":{"value":{"entity-type":"item","numeric-id":2341703,"id":"Q2341703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$FEC9A1B0-BC18-45D4-8CC6-DF04A484D6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bfa5a24ce06b35d4ce477a40d374ff8aa46f5d7","datavalue":{"value":{"entity-type":"item","numeric-id":6487495,"id":"Q6487495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2072069$9DDED83F-19DA-41C7-8E54-CAEC0CCAF682","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bedba194afe0493fadbd1d80f2cf11843663af0","datavalue":{"value":"10.1016/J.TCS.2021.12.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2072069$F16CB3FD-661C-4184-8E33-BFE948C8F3B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3c0b5984736e188c1c87cfc6d3f51168cba5034","datavalue":{"value":{"entity-type":"item","numeric-id":5172652,"id":"Q5172652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"736713dee08fee886d7fe166d6d21703f0433b2d","datavalue":{"value":{"amount":"+0.7840839624404907","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":"Q2072069$F3CD5192-A668-452C-AF14-4C2F1B075E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34098b80fc7d578351b2d3cf20589c2fce4b8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":5408424,"id":"Q5408424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7baa845f490ffafac81f9ef541e4adc3c39c1c","datavalue":{"value":{"amount":"+0.7473207116127014","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":"Q2072069$F713E2A3-62FD-42E0-AF0F-5BEDE6FF1D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2b074729e580bd3e2d226bec5fe5808720287b3","datavalue":{"value":{"entity-type":"item","numeric-id":3460572,"id":"Q3460572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8f0d6484581b6254931f12ed5deddb1c2d0d70","datavalue":{"value":{"amount":"+0.7372444868087769","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":"Q2072069$73D79B2E-93F8-4D4A-A288-67708F43CAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19251c04886036887613e8c420ba3eb7783f0606","datavalue":{"value":{"entity-type":"item","numeric-id":4904106,"id":"Q4904106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8cd7c89e2950f0f2de79423ea07fae4b83e8bba","datavalue":{"value":{"amount":"+0.736876368522644","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":"Q2072069$1AB3816D-C0BB-4F9F-ADB5-86752AACDFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef884dff92dcd34ee2dc64c73bda08cb45cc0edb","datavalue":{"value":{"entity-type":"item","numeric-id":2802456,"id":"Q2802456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32268e62a5bab8d3a5198ee7a796e62c86bf447e","datavalue":{"value":{"amount":"+0.7293383479118347","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":"Q2072069$EED7AEDB-41A8-4AB8-8A4C-1C4406D7C121","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2072069","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2072069"}}}}}