{"entities":{"Q271900":{"pageid":273667,"ns":120,"title":"Item:Q271900","lastrevid":60637386,"modified":"2026-04-10T18:12:54Z","type":"item","id":"Q271900","labels":{"en":{"language":"en","value":"Event-based proof of the mutual exclusion property of Peterson's algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6570928"}},"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":"Q271900$907E2C15-FABA-4C49-B8E4-6C9F7C76C460","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a928f0972c1b498b788ff233bd636b9aa4876a1","datavalue":{"value":{"text":"Event-based proof of the mutual exclusion property of Peterson's algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q271900$B07B36F8-595B-4B89-A156-7E1FF44D2D90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e135e1130ea6679608322e05627b2d90ac116c9","datavalue":{"value":"1334.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271900$4186992D-0159-4AE2-8E12-E590BC18A6A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e5a0a219ac98a153cde5448dff95be1f29ecc27","datavalue":{"value":{"entity-type":"item","numeric-id":271898,"id":"Q271898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271900$C3896BD4-8382-49D7-BC4A-375B7A642B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5736b10882fcd248ee7728f1c7c88885067ebad5","datavalue":{"value":{"entity-type":"item","numeric-id":271899,"id":"Q271899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271900$90395633-70F1-4D42-8107-3E00D082265E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd3a8a0ef7c0c8d4c0d1181c361db30c054bb33e","datavalue":{"value":{"entity-type":"item","numeric-id":193710,"id":"Q193710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271900$E7534666-3389-4627-A4DC-8C95A72A75D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271900$ADC4A234-DC16-4F6A-B431-7B6BF667FBBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"005b756eceec3cfac748c1a4360caa386d165ffc","datavalue":{"value":{"time":"+2016-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q271900$6656B934-643E-4E80-BA13-195104E31A0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271900$64204F11-D3D3-44CC-B57C-E37C757854B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271900$BE96EA6C-F027-4C1A-8BDE-FCB31A1EBFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271900$8053F09B-C402-4EB1-9574-741C59FF4824","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2427272ed1b0681bcc7b27d915fa888b6b90a890","datavalue":{"value":"6570928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271900$CD9A40C7-6891-4AA9-978A-E8743699F3D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e225ac4aec700ae2c67cab0cb7802b0627e7a3da","datavalue":{"value":"distributed system","type":"string"},"datatype":"string"},"type":"statement","id":"Q271900$3043DCE4-F729-4BDD-A5BA-8E4DBBD394FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e53027033cae6fbc26744a05040eb76af38465e6","datavalue":{"value":"parallel computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q271900$6A4FE41E-DA3A-4EFE-8DE4-51F61F574B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q271900$4DDDF307-4AD6-437E-BE74-628CCEEFCC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q271900$3016CF70-DD62-40C9-AE35-67823F3522E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0ae5fd97c037b5dcb47420a32805e4e4806bced","datavalue":{"value":"mathematical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q271900$FA4DE960-98BE-42AF-B971-7719FD16903E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271900$01F159FF-0FDE-471F-901E-57A9414F5F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271900$5FFB83AF-A5E0-456C-A8FD-57581AD401DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271900$F5A0BB81-5727-4AAB-BAB0-4482C8AA84D3","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":"Q271900$9E587460-9A03-41E7-AFF5-C5875D5AE1C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0cb3b6d8a3b134ec9af1c91ba23f381ac1b11ed","datavalue":{"value":"https://doi.org/10.1515/forma-2015-0026","type":"string"},"datatype":"url"},"type":"statement","id":"Q271900$5F8C6EF7-9C36-43B9-9972-AA00DFC7A07D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"245bdb52102fc341dd09c7632d993f4eaa14cd54","datavalue":{"value":"W2313864317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271900$E561C9C5-441F-48D2-BB53-E4EC65B5876B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd5f4b651497a80900601b608b0f34afb05e6d6","datavalue":{"value":{"entity-type":"item","numeric-id":4256353,"id":"Q4256353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271900$BC3B28BE-FCC0-4009-9BFA-422D309AEF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5552c73af9ffa4d08773105bfa675feb6642eb2e","datavalue":{"value":{"entity-type":"item","numeric-id":3453119,"id":"Q3453119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271900$F610368A-8F80-4438-9458-BF9BB21328C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271900$AE709FA7-568D-46C5-8491-2D9D9DEF62E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7144f88f122b714c4fda43fd422fea6acbf99688","datavalue":{"value":{"entity-type":"item","numeric-id":1079945,"id":"Q1079945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271900$FF247931-136E-4741-B968-F97C4F748085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271900$F1F168F4-D205-44C9-83C1-818A10AFC363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271900$15D88DC4-CF27-4C98-9550-8288448DA0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcdbdfc65f42d21f1674991e9768085a137ad17b","datavalue":{"value":{"entity-type":"item","numeric-id":3523182,"id":"Q3523182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271900$9E5BAE60-CEA4-4CD1-B7CF-73AD03FE4554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364dba239c868c1d3ec34e13f65646435c2b2517","datavalue":{"value":{"entity-type":"item","numeric-id":5203581,"id":"Q5203581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271900$A9B727AA-42E3-45A6-8BE1-3B6698AD8AF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a12cba75013ac74aeb8709bbfb0e004d8525226a","datavalue":{"value":"10.1515/FORMA-2015-0026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271900$0F72D515-B432-4818-9B2C-BC9260D54F08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b4498fcf66a959ed0078105ab0e5403b14f82e","datavalue":{"value":{"entity-type":"item","numeric-id":5703822,"id":"Q5703822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c93d7647af9e8be8ebbe99364c7db4db74f55b77","datavalue":{"value":{"amount":"+0.7916958928108215","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":"Q271900$A0CA8554-2A46-45AC-A295-9F90713E8006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c88f61161092ca388ec39baaca10007927b63b","datavalue":{"value":{"entity-type":"item","numeric-id":1370158,"id":"Q1370158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c545a69c47c0c6672742e616339cbb23f3f323","datavalue":{"value":{"amount":"+0.7509014010429382","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":"Q271900$5D3347D7-4AB6-45A9-BFDA-DEECD7027447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bfcae156117daab6220d31708ed301a841bc46","datavalue":{"value":{"entity-type":"item","numeric-id":4904146,"id":"Q4904146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"849fd311c98c80b83c7818b401ab023594dad759","datavalue":{"value":{"amount":"+0.7445085644721985","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":"Q271900$5218C038-E844-4BFA-A2AF-9C52340888B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb030604e2dcc36e7ac154665c4ea77439dcdd7c","datavalue":{"value":{"entity-type":"item","numeric-id":4737361,"id":"Q4737361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90ab17f1e0021c58effa469ccf4ffd5028e21743","datavalue":{"value":{"amount":"+0.7304150462150574","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":"Q271900$D042EF2A-8C7F-487B-B469-03133E355288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dc6e5242afd690702e55e160f12b2b63c5729a6","datavalue":{"value":{"entity-type":"item","numeric-id":4790352,"id":"Q4790352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8b87f3c54ad7650fa14038d5f6ad2614680727","datavalue":{"value":{"amount":"+0.7212181091308594","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":"Q271900$499B6376-E915-48C4-8F27-9EA3A58E4F39","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"f2084050eadadc911e1935c85cd34c25c682b82c","datavalue":{"value":{"entity-type":"item","numeric-id":57029,"id":"Q57029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271900$B3B0FDFC-8DDF-48F1-8B27-B5F9A45D3EC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Event-based proof of the mutual exclusion property of Peterson's algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Event-based_proof_of_the_mutual_exclusion_property_of_Peterson%27s_algorithm"}}}}}