{"entities":{"Q1838831":{"pageid":1849573,"ns":120,"title":"Item:Q1838831","lastrevid":70962903,"modified":"2026-04-13T18:31:57Z","type":"item","id":"Q1838831","labels":{"en":{"language":"en","value":"A formal model of atomicity in asynchronous systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3806939"}},"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":"Q1838831$5FC098AB-1A69-4D8E-B592-2EC0356DBE46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6fe36a61999ee71ff41804769859402f3526c83","datavalue":{"value":{"text":"A formal model of atomicity in asynchronous systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1838831$6A745C6A-E408-45F0-838C-B64B36E1B9DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7804237207008aa04ac1a2c99eda78b6ae46f6c0","datavalue":{"value":"0511.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838831$511167D8-AA9C-4FBA-8380-8C870BF1D289","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f81f50326bc079425a37e222d14c87adb1c31f07","datavalue":{"value":"10.1007/BF00289593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838831$E484054B-6BF2-4742-85F2-23E9A2F974EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4c9bd5e841d4bab29501a8da2aade8a8cab81a9","datavalue":{"value":{"entity-type":"item","numeric-id":218983,"id":"Q218983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838831$488BA845-83CF-4F7F-A394-BA81317CBDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7703d1fc22e27ee798b5a6d5dfd589d0822f5278","datavalue":{"value":{"entity-type":"item","numeric-id":1838830,"id":"Q1838830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838831$00BBF9B9-E6A5-4A4B-84C0-F2C2D5EF10D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838831$65A8C64E-4071-4AA5-B214-C3BFDAA9068B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1838831$15F885EF-27FC-41D7-BAEB-DAA2778F3ADE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838831$BA591CC6-6CA2-4ED8-8E7F-D7155E76A2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838831$FA532CD2-7ABA-4C92-A6DE-6346740F9DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e35cfda1c439de499de525a8a9009114d934bb37","datavalue":{"value":"05C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838831$74B69DEC-30EA-4317-A1EC-AD9631008B05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aefa1ebe4a301ef8cf6dab4bc978661ae83b7466","datavalue":{"value":"3806939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838831$1258E7CA-7F20-42BE-9BB8-97020FBBCAB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b99ae733070d3d1855ae2b169bdb873a71f7e3","datavalue":{"value":"concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838831$1754C396-FE10-4110-8ED9-ABD6EB634F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4db4095ca58c55832df8114af54b4f3de253b3d3","datavalue":{"value":"cycle-freeness of graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838831$8F45D8AC-7F7A-4BA5-A52C-0EEC28933A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6376dd51a0395f0f3d448c401eceaa1fd80fd84c","datavalue":{"value":"generalisation of occurrence graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838831$12DF89BE-67DF-42EE-AA29-3D35FE05471F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc03519db1b6bc9d7dcda168d8a2892936fc9762","datavalue":{"value":"formal model of computational structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838831$8111069E-5E70-4DC9-82C4-09BE9B713815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c29ed9b8c58912032d5f2c744cf04757aa8141ee","datavalue":{"value":"atomic occurrence of a program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838831$C8441582-F4DC-47FC-9460-2D77C774BEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b77fd38ef3a0f183389fe406066c27079da187","datavalue":{"value":"interference freeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838831$FF820C3D-EC71-44C2-A65A-16A63B340EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10318e9bdeb4646a4b0ff052e4b1a1af510a2f67","datavalue":{"value":"error recovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838831$D2E96B83-FB2F-4534-A3A1-F10E24665D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7527585ac0a65a296a9112c589948765025f98e4","datavalue":{"value":"decentralised system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838831$8CBCBBD4-B32F-44BF-A362-386D385B4E5A","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":"Q1838831$88A69453-487D-412E-886C-301F205006FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8508d674d2da87889e594086d906ddc3d486b8","datavalue":{"value":{"entity-type":"item","numeric-id":3893325,"id":"Q3893325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838831$4FF3ED26-C965-4C00-B7F0-ADF7E6E14C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607ab7a4e617a8478d545e8ea73055518f290aca","datavalue":{"value":{"entity-type":"item","numeric-id":3867160,"id":"Q3867160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838831$8DC721B8-F329-4A8B-8717-807A00DFF0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f50e4e3217f5ae81e8697e0c7dac217fdf7a946","datavalue":{"value":{"entity-type":"item","numeric-id":4167545,"id":"Q4167545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838831$CBEFC643-87EC-4157-814E-61A9FBC195FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d971a8fb3bf11dfa7d1edd1cf7cdb1f2279f5e0c","datavalue":{"value":{"entity-type":"item","numeric-id":4109287,"id":"Q4109287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838831$05E76C3E-C40E-4330-9C56-3FC2F7EF0D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838831$3C73930B-CE87-4615-95AC-337D86363EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838831$34C945DC-7C94-4498-A797-2BE262FDE2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f88392e2d96e6b20b42940bf56c1735eaf4e5420","datavalue":{"value":{"entity-type":"item","numeric-id":3291034,"id":"Q3291034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838831$D9A5FB55-0E2B-4E6D-A03D-247D1E853DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838831$FB3AB276-18DC-45E0-9DBD-A4F3515659DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a6bdb1bc7f6274de02514d257e8687c0fe53a2","datavalue":{"value":{"entity-type":"item","numeric-id":4155798,"id":"Q4155798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838831$6719B3C5-4C9F-4BB4-8374-B36FE18834D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2015979c776d8731b3e696520ffd11204cb00080","datavalue":{"value":{"entity-type":"item","numeric-id":3867168,"id":"Q3867168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838831$D2ECD32C-8631-4D55-8DE9-755A61FDEFEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal model of atomicity in asynchronous systems","badges":[]}}}}}