{"entities":{"Q5277808":{"pageid":7307383,"ns":120,"title":"Item:Q5277808","lastrevid":52850714,"modified":"2026-01-23T15:42:33Z","type":"item","id":"Q5277808","labels":{"en":{"language":"en","value":"Abstract state machines capture parallel algorithms: correction and extension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744059"}},"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":"Q5277808$14C1E8FA-65CC-4DC6-BDD3-F4AB3E81CB64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"440c2ca8d9d7eb73ae5452970fa5842ef46f3226","datavalue":{"value":{"text":"Abstract state machines capture parallel algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277808$F9389ADC-456E-44DA-840C-AE604E43E473","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"422aa3b350dc3328c82f15b9586b55598054d1d1","datavalue":{"value":"1367.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277808$181293C4-00B0-44DF-8681-4439FC91DA0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91ccdd81987972140d642346c39d07c686c4b0d0","datavalue":{"value":"10.1145/1352582.1352587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277808$54688167-8A86-4F1A-8C12-DCFFA8567EAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277808$2BB30EFC-53A6-4F6E-997E-9FF8D484DD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277808$86D218B7-C8A8-4DB3-85CF-92D7898F188A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277808$3F835690-B1D3-4467-AC7D-7D24F521E1B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277808$BAFAD5FC-D987-4567-ACC3-3FA431AD0C51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277808$B43EE66F-FD55-49FC-9C03-9EA0B3404351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277808$F9B32AB2-3655-40EE-8BD5-546DB61378A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277808$F9D05D8C-B4D3-477A-8599-DA5D8BE89154","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67d54556cc88b2c9af6e5124885e8aa1b26269bc","datavalue":{"value":"6744059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277808$161417B8-E047-4C21-A83E-A9E7F7B7D092","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cf2ebd08131e1b676f7af2237efe30092667e09","datavalue":{"value":"ASM thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277808$2D554D51-325C-4F44-A181-3E9C9BF537C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0967c5f93d36d6aa18ee008d77ee288965d952b9","datavalue":{"value":"parallel algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277808$8234B6CF-CA1A-4A4F-A1CE-0091746554A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf00e43fd6ab092796109964f1a55fca40cc53e","datavalue":{"value":"abstract state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277808$3AD6373F-875B-4446-846F-E0C4D433CE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a3856f0f5f3d8506ff2d5fea6957010c25b70b7","datavalue":{"value":"parallel programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277808$674DDEAB-7859-48A7-8420-FF850261787A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3cf1523a38aa6eec04f8773993429c725466c50","datavalue":{"value":"postulates for parallel computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277808$33D8BF7E-64D6-4866-B5D2-252D80BE488E","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":"Q5277808$F2F55938-2B94-4BE5-9331-8FA1D19F82A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0140f934970ac67e93da218718d42adfb8d60c6d","datavalue":{"value":"https://doi.org/10.1145/1352582.1352587","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277808$B3FD72AB-BF81-45BF-A2DA-EF77A95EF825","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"157e791f4a388927de366d0d61237de1cda5fe97","datavalue":{"value":"W2139801570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277808$3ED691AF-2274-42A7-8DA1-1FD794DCD23A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f34cd923a466f281d4e61edba9de0373a3e770","datavalue":{"value":{"entity-type":"item","numeric-id":5267442,"id":"Q5267442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f4a51086f059604d983baabd75256dfb90cd51d","datavalue":{"value":{"amount":"+0.8779951930046082","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":"Q5277808$7D05B0A7-84C5-4E8C-AB78-DED2C39641C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773e1cb88c86e20edff93e35e19fafc612d50c36","datavalue":{"value":{"entity-type":"item","numeric-id":313981,"id":"Q313981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a99457981f5b523daf9eeee8dfe049fa093e90","datavalue":{"value":{"amount":"+0.8591631650924683","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":"Q5277808$66EC69FB-7326-4587-B579-8AFE0176F2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc0608667f6a17dc78f8131d46fac1e000ff920","datavalue":{"value":{"entity-type":"item","numeric-id":303691,"id":"Q303691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3553fa30a12b1718778ded81c0b6b8d8ff3b746b","datavalue":{"value":{"amount":"+0.8262349367141724","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":"Q5277808$0ED1939F-14C0-48E5-9E6A-7230512CF395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315bfa0b31201a823935f320b55e73063b637302","datavalue":{"value":{"entity-type":"item","numeric-id":5277781,"id":"Q5277781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf2da5725db3aa955b8606aa890812556a4d71b","datavalue":{"value":{"amount":"+0.8154000043869019","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":"Q5277808$87FB14DB-AB3B-4766-94B6-64506E7CB1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"998afcf46c1e91da4a9fcff5d5b71de96ff2a84c","datavalue":{"value":{"entity-type":"item","numeric-id":5453497,"id":"Q5453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb54276b199928b6341b1ab917eff1b38b6244d","datavalue":{"value":{"amount":"+0.8138418793678284","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":"Q5277808$D7EF4635-8F11-4D3D-9112-44D12ACD3F12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277808","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277808"}}}}}