{"entities":{"Q7310288":{"pageid":31275424,"ns":120,"title":"Item:Q7310288","lastrevid":105090700,"modified":"2026-09-16T15:19:05Z","type":"item","id":"Q7310288","labels":{"en":{"language":"en","value":"Just verification of mutual exclusion algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8236351"}},"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":"Q7310288$C6C11EAD-C637-443B-9D8A-C3FE798B0605","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af8e6da8dfdd6c8c58cfcc9b0759bc1a2eff753f","datavalue":{"value":{"text":"Just verification of mutual exclusion algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7310288$086FD2A5-9D4E-4B5D-8493-1310A244332F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e064f72a43a766d40e6c4dd972dd0a85cbc0662a","datavalue":{"value":"10.4230/LIPICS.CONCUR.2025.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310288$2C43ED10-3066-46AD-821E-FDA69EECD7C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$EDE8C983-0A16-47B6-BD3F-CEC36717B45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a961fe9dae5f000974fac5f5d2491a29810f20","datavalue":{"value":{"entity-type":"item","numeric-id":393089,"id":"Q393089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$3EA543E8-A3E7-4411-A91D-ACE45762CCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"488a19754b8f2a87b6fb154079fcededb4dea170","datavalue":{"value":{"entity-type":"item","numeric-id":6859907,"id":"Q6859907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$5B94923A-F4FD-4C34-B599-98C1CC959630","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d490a277979be2253fe548317caa03f890fc8363","datavalue":{"value":{"time":"+2026-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7310288$DB295A33-F8E6-46E7-9A50-0483EC1DA0F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310288$29A9C6E6-8D24-4C7F-B9CB-0EF5B2FCB9A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"622a35649f89d21772376cd1fc131ce069fc5402","datavalue":{"value":"8236351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310288$EC7D90FF-2C88-4FA4-9F97-1E4056A4E688","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$C9C58A9B-C226-44CB-B7F0-D2F986E595CA","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":"Q7310288$688B663F-1D85-449E-83A3-B96B5070230B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55eea6aa154720544f17d8dfaf45eef03a98a8aa","datavalue":{"value":{"entity-type":"item","numeric-id":5452704,"id":"Q5452704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$7B89A249-A006-48E2-9214-2353F6012487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70da1147bcb0050789e43b01aeabacadb0a230cd","datavalue":{"value":{"entity-type":"item","numeric-id":1323338,"id":"Q1323338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$A6640E22-C66B-457F-BD92-09A61D9AC945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3ed42e6afa67e0a876b228125ab53413fe2a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1050109,"id":"Q1050109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$DD297F4F-2E14-4E17-8417-0D26AF23E612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7386bd70159c546077122ae79d9d54797633ac","datavalue":{"value":{"entity-type":"item","numeric-id":766163,"id":"Q766163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$97A4197A-639F-44B8-922B-E1E15CBFF69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f7161451bd14a497aae5dae4a228a2ae828510","datavalue":{"value":{"entity-type":"item","numeric-id":5408568,"id":"Q5408568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$2841BC9A-904D-4EBB-BF10-FAB69C6D7D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$68B13A6D-07DC-468F-8DB0-AB7D3B70BEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d52ac13fddfe2dc0c6676e5b4f8c299aff04944","datavalue":{"value":{"entity-type":"item","numeric-id":5452300,"id":"Q5452300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$C6AD0CB1-B0DF-4191-BBBF-71A94E5D0846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$2FABC95C-D4A5-4CB2-B98B-07F1BB73361A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"240d02459ac45fced65ee4bfa11fa80e224695f1","datavalue":{"value":{"entity-type":"item","numeric-id":2182670,"id":"Q2182670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$8358516E-53F2-4102-83F3-F6CB1A5647DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64297cfe0255721abddc8750478d4772af1a6730","datavalue":{"value":{"entity-type":"item","numeric-id":1317423,"id":"Q1317423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$7126AD2B-DE1B-4520-8042-5510C6165AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55e42a7ce2b2d8e8112abdc0e09ac585d85981c","datavalue":{"value":{"entity-type":"item","numeric-id":3599073,"id":"Q3599073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$A7576C66-CA55-452C-91A2-67F3107679D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96c29773e6fb774c0c921cb343c7c3bf1c29baee","datavalue":{"value":{"entity-type":"item","numeric-id":5014797,"id":"Q5014797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$7ED5869F-9FBF-4E45-9521-182E40CB5ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c5fa7f8966f430b51e2a366e8bc01608e75588","datavalue":{"value":{"entity-type":"item","numeric-id":4474215,"id":"Q4474215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$CA926214-D983-48F3-9AD5-9D26B226B160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60c98f07a910f52803118e3f822afc04cb2c7614","datavalue":{"value":{"entity-type":"item","numeric-id":2289100,"id":"Q2289100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$4A4AA67B-8816-4ECA-A388-3E92472D8630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8d672073ef872c6d81a40e4b50aa086fd9cff6","datavalue":{"value":{"entity-type":"item","numeric-id":6053409,"id":"Q6053409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$E127A901-D972-4563-8CA6-BF2442B62611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a266e0e9078f4d9f3bb78cbcbf63c2d0f70b33","datavalue":{"value":{"entity-type":"item","numeric-id":3191614,"id":"Q3191614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$977DDFA4-FB56-4846-AF12-D25F6EA1E53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$288D8548-39A0-4026-889B-1029BFFB9B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e44ecc6445a35b69440dcfbc7d20c50dda9e60","datavalue":{"value":{"entity-type":"item","numeric-id":1156675,"id":"Q1156675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$9BCA836B-B1A8-4EC4-8F79-0944AC0796DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79edf1b0816517e52312ed99658f13273c3bc91","datavalue":{"value":{"entity-type":"item","numeric-id":4766565,"id":"Q4766565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$FC601BA8-EDB4-4A0C-BD7B-0C8050F787C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1f030dead697569038cbcf88960b24e27f170f","datavalue":{"value":{"entity-type":"item","numeric-id":5903449,"id":"Q5903449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$35209CD5-4824-4C78-B9D0-F74D56473099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d51e1c3483c4990b2154edbc34cd5e8724187d","datavalue":{"value":{"entity-type":"item","numeric-id":5903450,"id":"Q5903450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$CEEAFAC0-4E26-4C4C-BDE7-89A8CFAB3131","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":"Q7310288$8F0F5C80-7EDE-4D24-BB3C-6D7938336AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751bc9c0f31bcc962492231f0ab0272f6e6e3743","datavalue":{"value":{"entity-type":"item","numeric-id":1079946,"id":"Q1079946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$FD3BC846-B188-4F1F-B122-3C9557ACA001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$98CB6E63-BFD3-4B2E-A963-469183AB7F28","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":"Q7310288$E9FD6C4D-A241-4B56-9E01-BCF3F34B423A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3792175673592284d69b20af6976329351f787b","datavalue":{"value":{"entity-type":"item","numeric-id":3964004,"id":"Q3964004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$AF37E573-FCD7-4B5A-85B0-D0B457C3CB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08333a67f5ca89a508753469820e4a652474e20a","datavalue":{"value":{"entity-type":"item","numeric-id":3166386,"id":"Q3166386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$26817D02-FEA3-42C2-AFC8-B140C11FF3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5054b47262d446144e4a5e2d4b390890c7775c52","datavalue":{"value":{"entity-type":"item","numeric-id":2999853,"id":"Q2999853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$91F7B1B4-9C60-4275-8E17-28715B526148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb24d1493092cc9ed92a3e480ae1b3241768f8dd","datavalue":{"value":{"entity-type":"item","numeric-id":6967344,"id":"Q6967344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$0BF95D85-A446-491E-9152-EA1EB73CEEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6ce544f67f354cc0bdb7fc26292f002b345199c","datavalue":{"value":{"entity-type":"item","numeric-id":6859908,"id":"Q6859908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$0B1FECBD-3BBF-42CE-A995-0C5AEC07871C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567fcd1c261f6a4df3dd5aad2c8976d4ea228e34","datavalue":{"value":{"entity-type":"item","numeric-id":1886449,"id":"Q1886449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310288$025AB09F-68CE-47F2-BFC5-46626E7E2607","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Just verification of mutual exclusion algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Just_verification_of_mutual_exclusion_algorithms"}}}}}