{"entities":{"Q4559043":{"pageid":6588634,"ns":120,"title":"Item:Q4559043","lastrevid":53293127,"modified":"2026-01-24T16:08:04Z","type":"item","id":"Q4559043","labels":{"en":{"language":"en","value":"Some atomic operator's semantics in IPCL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6987436"}},"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":"Q4559043$76BC3318-1DF5-4EFC-80AE-8D18F28EF46D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8369495b1a5257a47b071050b9cdce849fc0534","datavalue":{"value":"1413.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559043$FDF073A8-B08A-47A7-8195-64E4678DADF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0c6ad77ea1379ced26f8a61f0625ff1675f19cb","datavalue":{"value":{"entity-type":"item","numeric-id":2819045,"id":"Q2819045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559043$A49BF58F-E2ED-47D7-AEDC-405FB4AB80E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"272a15ab0c94c839ab2b5edaf5c216ab81a36175","datavalue":{"value":{"time":"+2018-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4559043$EE67C15F-7139-4CE5-A42A-66216D746C57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559043$6881BEC3-3C35-480D-8C3B-C792DD25807B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdf2938e013fd09532f98b05f72be82ba2ada0c3","datavalue":{"value":"6987436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559043$1D83AB56-A699-4B76-869C-D8C385F57BD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2c0bb024d15b2bee966e4fec4f0364d85c4c6bf","datavalue":{"value":"software correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559043$4862CA7A-3292-4D60-959F-6ECEAFBB4813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b032c8ae9a34a58a67e6b239c3cf1914149e7d","datavalue":{"value":"concurrent program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559043$22C024AD-B54B-4724-BC03-CFF79E593186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6da5ebc8fc8655620f91e101487fe4436f8fa2e","datavalue":{"value":"interleaving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559043$4C1BAA0B-65DE-4371-A3ED-82C024C2AE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcf976daf2723341ee071016cd687a4e1edd1875","datavalue":{"value":"IPCL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559043$C985B809-C0A1-416E-A0BF-BA88D7D6CD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea6ea97c658ea5d96b4d933f3edf39499a6b37ff","datavalue":{"value":"composition-nominative language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559043$DA1D69C8-DA74-418B-ACBB-6EE56A0A1E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a39cab68bbaf1aafd2178388c9dadf3b0761f8d5","datavalue":{"value":"atomic operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559043$03C07321-0D52-4A64-BE58-8A05FB7A3AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559043$5EA9868F-D93B-41B2-AFBA-E85A35A74CE1","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":"Q4559043$3A3959D2-895B-4F23-8267-4544980724A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4590de1924d6dcbdd3cdc0a995038a940b3e9025","datavalue":{"value":{"entity-type":"item","numeric-id":4559068,"id":"Q4559068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865f7bb82227438a739be17b04565261adf53746","datavalue":{"value":{"amount":"+0.7874584197998047","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":"Q4559043$6E4582D2-675C-45C5-AC9A-38B43A994F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b21998c8f8f036a8db25c1efd27d61c7ec86bd1","datavalue":{"value":{"entity-type":"item","numeric-id":1192605,"id":"Q1192605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e680566ff7c7612069e22dafc150bd25e9d4b07e","datavalue":{"value":{"amount":"+0.7175389528274536","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":"Q4559043$370257FD-7A28-4930-B82D-5471863AACF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc3b721af88b5d8b28d301c9024beb0ec57332a","datavalue":{"value":{"entity-type":"item","numeric-id":3792236,"id":"Q3792236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0bead5ecfd2be32417f2b20ec6310cd8c4bbdff","datavalue":{"value":{"amount":"+0.7162036895751953","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":"Q4559043$FD32CDB4-17EA-4F48-94FC-04AB6E25E57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae41be41fe3ad44e79dd8fbde764a083b866338","datavalue":{"value":{"entity-type":"item","numeric-id":1124366,"id":"Q1124366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b15f92abf27c445d503dffa911c3f0cb4dc6fcf","datavalue":{"value":{"amount":"+0.7114608883857727","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":"Q4559043$223D42B6-31E5-4210-B8A2-6EA651A27863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e00491b64e64f8bf02c6009898e1a7dff9b78874","datavalue":{"value":{"entity-type":"item","numeric-id":4734781,"id":"Q4734781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2110b817916eb0cf0a5235c07293df3dd4363ad","datavalue":{"value":{"amount":"+0.7106517553329468","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":"Q4559043$1CB0D890-1CE0-4D70-8EB0-E3F066F1BC49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4559043","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4559043"}}}}}