{"entities":{"Q2037954":{"pageid":2048696,"ns":120,"title":"Item:Q2037954","lastrevid":43487089,"modified":"2025-07-29T08:16:17Z","type":"item","id":"Q2037954","labels":{"en":{"language":"en","value":"Implementation correctness for replicated data types, categorically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7369994"}},"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":"Q2037954$CCBED5A0-8F28-40E8-A554-3AA190106F6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51c273aba5b8f53d04c7a1fbb6f8c7b73b206108","datavalue":{"value":{"text":"Implementation correctness for replicated data types, categorically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2037954$02E76798-5255-4387-9B39-158F90DB00FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb035c4b2744d1eab7c348ca8e011a95a0a67707","datavalue":{"value":"10.1007/978-3-030-64276-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037954$4282C800-7048-4BEF-9335-F4A9B3795FA0","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":"Q2037954$19E8988A-4EB1-4024-B9C4-C52AE1E0D630","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":"Q2037954$F4E72056-9D92-4BBC-B581-A0D23044476B","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":"Q2037954$7FA9A7C4-B9F3-4414-AFCD-34785ECFE3C2","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":"Q2037954$8B46252E-43B8-491A-905C-8A9DB1D7E453","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1926b5e5d0313a397a856b5060f2ee4412bba3","datavalue":{"value":{"time":"+2021-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2037954$3356D87F-86DD-4669-981C-0F04BFEB9520","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037954$951DF334-5926-4BDD-87DC-5AC5B7715A86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8813853af12a1bbabb49c9ac7b302a5f927b2dd","datavalue":{"value":"7369994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037954$17E06707-04E6-4F10-A023-52956FA6B742","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94c6b4eac617b0b46f69db2273f624c727ec916b","datavalue":{"value":"replicated data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037954$E665F9FE-D71C-432B-A1B4-70248043D290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037954$3B13C79C-B13E-487D-B9A3-2D0DD756C0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037954$AD15A086-C685-4E8C-80D0-579A233AAF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9071c3e6655e764506623c1ae73a69bf494a85e","datavalue":{"value":"functorial characterisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037954$455B9FEA-CDD7-408C-8617-382177406850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ff4dd1e1513a47ac6d8cff4866e44fea27fc673","datavalue":{"value":"implementation correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037954$C3EB5516-6087-48B3-B819-1B61F83BB3E5","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":"Q2037954$C7826872-0081-4414-AE64-EA0A9766C747","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"596495e25a369afb4dc96e1931a6c0ad6fc47b5f","datavalue":{"value":"https://doi.org/10.1007/978-3-030-64276-1_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2037954$D6156E64-921C-478B-AD59-EF05C6890919","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5331e61dc852a3ac21f9bb2aa6236f6e06a1ed3","datavalue":{"value":"W3110258303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037954$A7A4F6E8-E69A-4BB9-847C-1C90C29F8738","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2037954","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2037954"}}}}}