{"entities":{"Q1350927":{"pageid":1361666,"ns":120,"title":"Item:Q1350927","lastrevid":68531367,"modified":"2026-04-13T00:20:24Z","type":"item","id":"Q1350927","labels":{"en":{"language":"en","value":"Procedures and atomicity refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984203"}},"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":"Q1350927$65A22C74-7A34-440D-82D5-2E10DC1EBFFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fb4e9864b7528925c2cc90c198ded4e09bf9f8e","datavalue":{"value":{"text":"Procedures and atomicity refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1350927$C258F094-EABE-45D4-9C44-D01A3059815A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"668d3da6564390d56f0a5bcdd4cfc4ed231ed024","datavalue":{"value":"0875.68275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350927$0EB3A9E2-E794-47F5-ACAF-DD53F146FDF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c33a060d527214603fd2d96fe3324d90ae78552","datavalue":{"value":"10.1016/S0020-0190(96)00142-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350927$7243641E-2F1F-43F6-85AE-2875E9BF7A56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350927$04BE0A06-5FB9-400F-97DE-04F25A019112","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1350927$D7863942-46D4-48A0-9477-CDF4480CA9BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350927$4A32190E-C96E-434A-AB2D-1E9E9C1FA132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350927$188B64FD-B01A-4D62-B179-9371F8F1B264","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"815deba318641feb175f606cd0c810519b000e66","datavalue":{"value":"984203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350927$5377DE9A-21DD-4ADF-BC32-80297B1270DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"690bf2527396c5365464a2f5c7cf7ed252dbfad1","datavalue":{"value":"Program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350927$B056861E-EB65-4856-B9A2-1EACDF52CE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bd937c78d94a6ffa9d319a2cf2f4bc8dc86f02a","datavalue":{"value":"Distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350927$D32E1BEB-7DD7-4759-A67C-152FAE114F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58087a1da1e81534fe07a51543c830748c9ca3b6","datavalue":{"value":"Program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350927$46E9EB0F-7F37-4207-9595-72C24E91B816","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d278fd67d09f86bc1ab493525cdc641c0299f77","datavalue":{"value":{"entity-type":"item","numeric-id":172356,"id":"Q172356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350927$CE8AD75B-9630-433B-88C3-E270A2267C2B","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":"Q1350927$79D38060-F790-4CD4-89E0-49926B4E28DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"37cd177f187b6c98ca780d7a64ba45dfc091b14a","datavalue":{"value":{"entity-type":"item","numeric-id":3888507,"id":"Q3888507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350927$E0786083-44D5-4A6D-A472-9E85DC158BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ffd403e24d1010da4c87211ba27f91cf64973d","datavalue":{"value":{"entity-type":"item","numeric-id":3878739,"id":"Q3878739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350927$C8B2D7EE-E366-486D-A7B7-67CDBCFC0611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7d6efd8149a9e3cad7d938b9ffbf4bd4b258d3","datavalue":{"value":{"entity-type":"item","numeric-id":1916360,"id":"Q1916360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350927$046BE34F-9C53-4260-BD59-BB4E7B8E885F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2ad74d59ba7f7f79caac5dc6c1697e36f2ed64","datavalue":{"value":{"entity-type":"item","numeric-id":1918935,"id":"Q1918935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350927$9725E450-ED58-47FE-9BB1-18AB93C5BD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350927$B63583F1-8B62-48D9-8CAC-1C361CE9AB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05656618a7fbd87833428b51ffbb73b7b47e20fc","datavalue":{"value":{"entity-type":"item","numeric-id":4077431,"id":"Q4077431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350927$5A6756E9-06CF-4545-AFC6-B525139B3A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30331b0843d8fad412757315603331be3191b0d9","datavalue":{"value":{"entity-type":"item","numeric-id":4711615,"id":"Q4711615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350927$37470377-D5A7-4BF1-A89F-015ABB7A6CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db45f234f354c516e6967660fb11814401792350","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350927$D3C1602D-CD7F-4B5C-8C9F-30098C692C4D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a5066b094de2dafcac978ae6daa512530721cf4e","datavalue":{"value":"Q126531583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350927$2BFA3B30-29DB-4C87-A4A2-EB9563A73A19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a459c48e17c0c70f7653052fd4215c56632cd42","datavalue":{"value":{"entity-type":"item","numeric-id":5930074,"id":"Q5930074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa8d6c2d7274ba472cbfe47d000d2a31eed18fb","datavalue":{"value":{"amount":"+0.7964197993278503","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":"Q1350927$B6D7D21D-9CBC-4E00-8444-86A0641A724A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f54a97d92d184ea8197e9ed9e76ab9cbf09ece","datavalue":{"value":{"entity-type":"item","numeric-id":4522244,"id":"Q4522244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bece994c61d5da34546b9cbb6ea377a123ee375","datavalue":{"value":{"amount":"+0.7323910593986511","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":"Q1350927$7F86D487-8331-4FB7-9CD3-029B58FEC93C","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":"7bece994c61d5da34546b9cbb6ea377a123ee375","datavalue":{"value":{"amount":"+0.7323910593986511","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":"Q1350927$55BB30AB-9E73-4612-864F-81D0ADF68FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a8f128376965d47407ab827a33e097d7c01e7d","datavalue":{"value":{"entity-type":"item","numeric-id":918204,"id":"Q918204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed4bc43f8675b81a58bf5918093ff8f1463d192","datavalue":{"value":{"amount":"+0.7011035680770874","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":"Q1350927$2A569796-B491-4F9F-B64D-50DDC59376DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe6649fbe2ea472cfc9622e11ca47160c4fd5c7","datavalue":{"value":{"entity-type":"item","numeric-id":4534708,"id":"Q4534708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"911c24753a9c6e47ad53c3ef51a56a5dcac92917","datavalue":{"value":{"amount":"+0.6864832639694214","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":"Q1350927$BC292C54-B77E-4C55-B53F-5B84F53FE54E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Procedures and atomicity refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Procedures_and_atomicity_refinement"}}}}}