{"entities":{"Q5267442":{"pageid":7297018,"ns":120,"title":"Item:Q5267442","lastrevid":52826981,"modified":"2026-01-23T14:25:38Z","type":"item","id":"Q5267442","labels":{"en":{"language":"en","value":"Abstract state machines capture parallel algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729819"}},"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":"Q5267442$FE811630-0243-4370-B22F-20D8D6D16ACF","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":"Q5267442$BC81D349-2D7F-4D24-A4BE-ED89A8F62454","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"805dc6629fb7c8870d0abd156bc59a03e939319f","datavalue":{"value":"1365.68253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267442$8C462684-7DDA-4216-8F26-5C8D938EE3E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34ab92013b55568c3e4550111bae90dbf5d56ecd","datavalue":{"value":"10.1145/937555.937561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267442$672F3534-8A74-403B-A7CF-633B06CC47A4","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":"Q5267442$8FBEE624-9DDE-44BD-BAC2-3D78DD0D1A5E","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":"Q5267442$F41B267F-DA43-43A1-8360-8448263AE502","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":"Q5267442$E956F027-FA85-4A20-88DD-084E7826A714","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5267442$E5FB317D-AC07-4C22-91AB-C02D10E5C864","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267442$57E192CA-41EA-4057-9171-09E8B47F2000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267442$1A38524A-D11D-4BCD-A08C-A83DC33B4ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267442$115A84EA-D9D6-4255-8B99-79CCC7CC0E97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8ca0716fda39576e168c80dacea0633ff74b35c","datavalue":{"value":"6729819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267442$F31C49FF-A793-41AB-8B9D-B2744BC70B00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cf2ebd08131e1b676f7af2237efe30092667e09","datavalue":{"value":"ASM thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267442$5374CC5A-AE9F-4A0A-9051-27BF8102E99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0967c5f93d36d6aa18ee008d77ee288965d952b9","datavalue":{"value":"parallel algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267442$7CDA4255-8C48-4CF4-8445-4CA032ABEE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf00e43fd6ab092796109964f1a55fca40cc53e","datavalue":{"value":"abstract state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267442$CD392F33-1B68-4C2D-8A8A-655DE1A52A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3cf1523a38aa6eec04f8773993429c725466c50","datavalue":{"value":"postulates for parallel computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267442$DD970A86-025F-4E75-84D4-59833D17B703","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":"Q5267442$1ADA77C1-06EB-4693-A81B-12BA280BE34E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc67e954af885154d7e60f45a6fd9fcdc91ef1fe","datavalue":{"value":"https://doi.org/10.1145/937555.937561","type":"string"},"datatype":"url"},"type":"statement","id":"Q5267442$91CB6006-F689-4629-AD9F-8812F6295D90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a482b594a2256c9187c8c7c25ac1a72e405a8b0","datavalue":{"value":"W2125522861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267442$2925E427-DB98-41A3-942F-95E1C1D058D9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ebdc04c3a7f5c6973c8eddbbc6cc241b1b801a44","datavalue":{"value":"Q130965820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267442$439560A6-60E8-40B5-A960-DDD8026C3C25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc3f66b9dd5e4a9c2890d7ae70e3df67fe2ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":5277808,"id":"Q5277808"},"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":"Q5267442$5CD0A515-7380-4437-BF2A-C4B4370E5CFA","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":"c8fc10cda68fcc5862eb9c08810884344c47b4fe","datavalue":{"value":{"amount":"+0.8112562894821167","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":"Q5267442$6AC753BF-DF95-4358-9946-50554EE615B8","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":"c4c33b2b94bdca0bca95a785bd71df0758921424","datavalue":{"value":{"amount":"+0.8106629252433777","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":"Q5267442$E3E7B757-8517-40F4-8F65-72BE403A4FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd0c46d24ad26877ce3cb4dba115b30f9137261","datavalue":{"value":{"entity-type":"item","numeric-id":5738899,"id":"Q5738899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ab6a4a45916d7e60f45ee436787e056e80700c","datavalue":{"value":{"amount":"+0.8098568320274353","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":"Q5267442$8E707EC0-5EE6-4759-BA20-043B2E66CC35","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":"094adc03aaa1563ebdd8949b9bea467ca7f48d28","datavalue":{"value":{"amount":"+0.8059567809104919","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":"Q5267442$A6CEFE73-4624-434E-A620-3E519E9E711C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5267442","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5267442"}}}}}