{"entities":{"Q4972154":{"pageid":7001733,"ns":120,"title":"Item:Q4972154","lastrevid":53600837,"modified":"2026-01-25T09:52:09Z","type":"item","id":"Q4972154","labels":{"en":{"language":"en","value":"On the verification of livelock-freedom and self-stabilization on parameterized rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135654"}},"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":"Q4972154$F1EA1560-CDEB-428C-BE4C-DFC22B624154","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"068dad9f089345888d334aea63ff490d5b522a61","datavalue":{"value":{"text":"On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4972154$04C0B39D-3A56-4576-955B-935263C91528","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c289f476d91164968edf30666ebf3c641bf2fa5b","datavalue":{"value":"1433.68254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972154$3AD55320-8E81-448C-9EDF-7667CCF8B623","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41c6f2680c2fc4688a7129b9de517eb99b61c034","datavalue":{"value":"10.1145/3326456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972154$B5D26A89-C5DD-4A78-B19A-3F7A97E50865","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db9456759275a6613c39842194a417f9ee3e3271","datavalue":{"value":{"entity-type":"item","numeric-id":2948234,"id":"Q2948234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972154$429D67DD-37F2-4E1E-8E75-09054AD04F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa207266e9a1fba532940699003e04a80bb790fe","datavalue":{"value":{"entity-type":"item","numeric-id":391250,"id":"Q391250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972154$7948DD3E-B438-4396-AF8F-88FFCC5C3B93","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":"Q4972154$A2BDE330-FCBB-401D-8325-E6942D2DC854","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4972154$D9F48955-F7F5-4209-A5BD-7725A5D64D6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972154$B1492200-D082-48A9-B6D2-58DD329F7810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972154$8D3EF0BE-30DB-4EAD-93A2-AFE87CC1434F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972154$EEBF877F-34E0-4F8C-9127-087AAD915F14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74a497ba25a1215e08ae76bf0e1a260dc3dc1ca2","datavalue":{"value":"7135654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972154$B91F45FC-F135-4E60-81E3-3131591D9556","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5037dad296a241cfa4d4139d1f63309727fd86f","datavalue":{"value":"self-stabilization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972154$628E3232-CD27-466F-92FB-6D5A759CD9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1354c1fd804999f86e0101fe11e7b19e7f70e5f2","datavalue":{"value":"distributed programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972154$E6606A5D-A90E-454E-A15D-6F361AC1102D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5a9a46cb56e0d008cd5f36093b01f2579c6e36","datavalue":{"value":"parameterized systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972154$13763BCE-D7D3-410F-8341-5E4B1884FA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972154$C04FF27E-5045-42C6-89B3-0E25CF820A49","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":"Q4972154$AEEDF780-9FDC-4D5D-BA49-748C91961DD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d6f2ebdc26587520a46687b1267d06f63f905e8","datavalue":{"value":"https://doi.org/10.1145/3326456","type":"string"},"datatype":"url"},"type":"statement","id":"Q4972154$3B717203-6ADE-4784-A16B-CE6B8D220F1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3fa328b7587a44005916237625bf952499eb839","datavalue":{"value":"W2951238781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972154$25DC8DAF-3D80-4E92-9D91-0E4B8E12D94C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a11a9db60d81afb83f2bd9964b41f07e056fe5a2","datavalue":{"value":"Q127779377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972154$AD02C689-AEF8-45E2-BE6E-EC1D2D9AA1BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4625cce056a64294ab368f46a78587c0403834b7","datavalue":{"value":{"entity-type":"item","numeric-id":2949709,"id":"Q2949709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5ebacb565a9986c4a92acc3a543a83f3843296","datavalue":{"value":{"amount":"+0.7094317674636841","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":"Q4972154$2718B3D1-0FCE-4406-8B8E-A09824954671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da28326d8fa0e5b206d3557bdcdab8bd1f6c8142","datavalue":{"value":{"entity-type":"item","numeric-id":2498278,"id":"Q2498278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53cc9f38caf00dc534e8077a780b17c16166630a","datavalue":{"value":{"amount":"+0.6974040865898132","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":"Q4972154$7A5E152A-761B-4550-9B3F-095820F9263E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af53033f2ed04a6f7f1b9d859620013b091db29","datavalue":{"value":{"entity-type":"item","numeric-id":2754094,"id":"Q2754094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09af8fdd0359fbe37a407ef100dbd78978b3519d","datavalue":{"value":{"amount":"+0.6969694495201111","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":"Q4972154$15CB2A35-0AA0-4F9A-A805-684DFEEDA000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4334adc3bdc9cba5c11300bca11ac7499fb609e","datavalue":{"value":{"entity-type":"item","numeric-id":5899051,"id":"Q5899051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09af8fdd0359fbe37a407ef100dbd78978b3519d","datavalue":{"value":{"amount":"+0.6969694495201111","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":"Q4972154$0CD69A8A-E95B-4E30-9A27-6BBA2789E668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ce7fa082576060cc4f0d46ccbec0ec67445819f","datavalue":{"value":{"entity-type":"item","numeric-id":4791851,"id":"Q4791851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f32e3efc67992a307c05dbd59c1e59de73740cf","datavalue":{"value":{"amount":"+0.6887677907943726","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":"Q4972154$1FCA7F4F-7B58-424D-99A9-472A05A9D558","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4972154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4972154"}}}}}