{"entities":{"Q2828283":{"pageid":2839021,"ns":120,"title":"Item:Q2828283","lastrevid":52656326,"modified":"2026-01-23T05:06:56Z","type":"item","id":"Q2828283","labels":{"en":{"language":"en","value":"A program logic for concurrent objects under fair scheduling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642966"}},"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":"Q2828283$3BB8D959-57ED-45CE-A481-C0FDAF0F9E65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c06d6df735ea3ce89211fba342efe64b2d63d987","datavalue":{"value":{"text":"A program logic for concurrent objects under fair scheduling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828283$4689BAFD-8260-4AB7-8FD9-B6B846A89C53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f08b3c073fa187f60de1426430710b2cd31e522","datavalue":{"value":"1347.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828283$FF9A4183-481F-4CB1-8BB8-4FF1E0910F6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e15a4648c63996230f2d1ef1b3759c9ecb9afdfe","datavalue":{"value":"10.1145/2837614.2837635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828283$850BBA18-90DA-4727-B1CF-0CB6410C9162","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b32f143fc30683ab6d2543c8ee0cce3733dd89f","datavalue":{"value":{"entity-type":"item","numeric-id":1623167,"id":"Q1623167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828283$EFAB4016-8BE8-41A2-8ECE-41CF82A20394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6739f7a97d4add6d49f3f8d01bf9811924d5f8d3","datavalue":{"value":{"entity-type":"item","numeric-id":835762,"id":"Q835762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828283$46F3999F-2304-456C-A557-829C8D981863","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828283$18EA1EC6-58C3-44F8-837C-52A0B1E08A08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828283$0C1F5C6E-3DBF-4454-A66F-169F45BCF46D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828283$D32A5254-09BA-467D-9B75-62E356734EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828283$EB03DECE-EDC9-4771-AAAF-027CD2765EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828283$64A8C611-A3C3-44D3-8163-F1A3313A30F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828283$8174C7EF-F2E5-4E2F-A913-E59201EA97DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd121d3bbea79b143ce4b4d489f95740ed9a8492","datavalue":{"value":"6642966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828283$E7DE70EC-2882-40D3-B7F4-FDE02479B94E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828283$1FD30BF2-8725-43A2-ADC4-BAF9E06B1F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828283$D33542FE-FDC1-4D99-833F-FA02A6B49AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56dd37b947bda5a6427b7991d62f3e7539df1588","datavalue":{"value":"progress","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828283$6E38FAC2-010D-4446-BEE5-B484240FD703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828283$D5B7721F-9F76-43A8-8941-1B96D5C38254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e48457947aba6ceac7ea11158edf9a91373bc9b9","datavalue":{"value":"rely-guarantee reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828283$D9CA4CD2-6347-4861-B54A-482A5E43ACC9","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":"Q2828283$C762C7ED-E8B4-4921-9802-A49C95B9DAB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"676c82d3af2f03cb2bc687d455f186a08ba81af4","datavalue":{"value":"https://doi.org/10.1145/2837614.2837635","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828283$695D25B4-8E0B-4E32-A8F8-5219F8C99B33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d78a81d4c74e25c523def95bdf979081a68587d","datavalue":{"value":"W2236913981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828283$6DD4FE26-994A-4D40-9854-DE39A963D254","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"78bc1b012fd6fb984ad70eb8b5ccd9a50c63e1ae","datavalue":{"value":"Q130860114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828283$11684D63-78D9-4337-95D4-2A08D5F174C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01dce0ef2ed22b08810bd2b068ae6f0c5c4d2707","datavalue":{"value":{"entity-type":"item","numeric-id":2814127,"id":"Q2814127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"151c6e581a0a055365f745db084d5313a8f983f2","datavalue":{"value":{"amount":"+0.7699716091156006","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":"Q2828283$FAEDC2D0-D83A-4347-94F0-92485858D9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c332c68ce13f8a3f7c9c041b0f38523ca833cfc4","datavalue":{"value":{"entity-type":"item","numeric-id":2842110,"id":"Q2842110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c5c383eb14008314f9ea6ad3e8920edf78beee","datavalue":{"value":{"amount":"+0.7499856352806091","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":"Q2828283$5CFBB8E8-173E-4C54-8342-2971D0951F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1feb92b3d7582892c57b7e19e75b76900430287a","datavalue":{"value":{"entity-type":"item","numeric-id":2151272,"id":"Q2151272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f92dccee217c9d69bd7eda1d1d1cb0e3a18d8c6","datavalue":{"value":{"amount":"+0.7456359267234802","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":"Q2828283$7D0296EE-CC2D-456E-A139-167F5C5AD7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3490f34d0d6ba2f54fad3208ae926689909c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1664150,"id":"Q1664150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1dbf1db51dfdf51011c0355938689fbf51bce0b","datavalue":{"value":{"amount":"+0.7380226850509644","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":"Q2828283$1383B104-9BB1-4160-B750-32B70DA076EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7183d13e0e8c08a1dc5b130b37a855242e3ec775","datavalue":{"value":{"entity-type":"item","numeric-id":5111629,"id":"Q5111629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66eec3ebb6af797a28bcb75dfdae42acff5b3a92","datavalue":{"value":{"amount":"+0.7351807951927185","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":"Q2828283$D0E04A6C-B500-44B1-ADAB-9D478AFAA72C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828283"}}}}}