{"entities":{"Q6535458":{"pageid":14146601,"ns":120,"title":"Item:Q6535458","lastrevid":55544908,"modified":"2026-02-17T18:34:15Z","type":"item","id":"Q6535458","labels":{"en":{"language":"en","value":"Towards an automatic proof of the bakery algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7786539"}},"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":"Q6535458$59533107-69FA-4329-96D3-FFEAE704D61F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c1ef1331529ceca0d918f58a3fc85cdaee0f55f","datavalue":{"value":{"text":"Towards an automatic proof of the bakery algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535458$12A66FF4-220F-45E5-B1AC-CD44221E3EAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47fa09745581a5fdb86b24faf3d648323a98aebb","datavalue":{"value":"1543.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535458$129CEF63-4DC6-4D8B-9D44-4E987193DF33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61f7543659e11baf3e468168ebce000f9c36c82c","datavalue":{"value":"10.1007/978-3-031-35355-0_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535458$2A394818-0EE2-4657-931B-C981C6F9B71E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c44aef8abadfb5bd70c8fb82b260b3455ee6259a","datavalue":{"value":{"entity-type":"item","numeric-id":6535456,"id":"Q6535456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535458$6935691F-D2C7-4252-9DF6-DA9212FD6241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"921d74753f8adf71fb4bd3494ff70e443dff0681","datavalue":{"value":{"entity-type":"item","numeric-id":6535457,"id":"Q6535457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535458$CB817E55-526E-4247-90A2-83F0D9C2DFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8013d305b47d697f8601f0132fb4d3c53591069c","datavalue":{"value":{"entity-type":"item","numeric-id":976992,"id":"Q976992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535458$109A23C0-6868-4658-B537-084190E54BBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1803be4dcfbfdb07a022d0aa018505d9d97abab","datavalue":{"value":{"time":"+2024-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535458$7DA47005-CD04-4794-841C-44DE43D4AE44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535458$594B8B68-F6B2-49FC-BB6C-6468B0E7EDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535458$0DF5CAC2-01FE-4C58-B2E4-3C68310E0CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535458$747AE9F3-A81E-4089-9B2A-2BF449E00D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535458$67065E84-84C2-4A1F-9D07-1146A00BA117","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62766b06788572c469e6cbc167ea6ece0c32cc1e","datavalue":{"value":"7786539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535458$A5908BCD-DAED-4FB7-B3CE-5772012EA138","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535458$8B45293F-FBCA-447E-99E0-44CB0382FA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"995b00cc7d69ee07cf24da51a3a5485ed2bb2d30","datavalue":{"value":"mutual exclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535458$90F989CE-2242-4F37-A700-D0CF996954A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"932e829a19a15e625f957c0ec94c3ca05aae1ad1","datavalue":{"value":"inductive invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535458$B97AF865-B4A5-49BC-808E-C2ABD070E3AB","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":"Q6535458$C9934ED0-9964-41FE-B87B-22F38A135BA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535458$7B0DB81A-3720-4E66-A8D4-91C6A6FA1040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535458$206667BB-1F25-4ED0-995A-DA6D7EE68509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead9660cd33cf6b597620bdfac44264e0480c8c3","datavalue":{"value":{"entity-type":"item","numeric-id":4647839,"id":"Q4647839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535458$47E05B91-DCAD-4921-A3E1-A7517E4555EB","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":"Q6535458$CD33791E-9AFB-4DE4-BF99-52846C9B2280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535458$48327A0F-04A8-4487-988A-6956D10040CD","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":"Q6535458$68B4740C-D01D-4A57-8427-6E8CA05DD70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c625dcf0809403f5b84f6d7cdfc8c33766e0658","datavalue":{"value":{"entity-type":"item","numeric-id":2471741,"id":"Q2471741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535458$5EE7AE85-56CF-41EB-B3D5-74B11157476D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b13d986e097279f9a44017925a5d268b16d0288","datavalue":{"value":{"entity-type":"item","numeric-id":766163,"id":"Q766163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6bc239cf57f4a48b364be56f9464aefa545cdac","datavalue":{"value":{"amount":"+0.7873732447624207","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":"Q6535458$735EF370-699C-46F9-9FC2-6ED621940B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"788b8a313a2b06bc9944d6f8b70c84a4b266e4cb","datavalue":{"value":{"entity-type":"item","numeric-id":736464,"id":"Q736464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f90df7675f93967b1ef045ad6fe4eb05a5725273","datavalue":{"value":{"amount":"+0.7820216417312622","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":"Q6535458$1E10763D-35DF-4CBF-8442-B9E6A7F3A074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c60ff0d924f4370720e37fb5e3a021ae83c45a5d","datavalue":{"value":{"entity-type":"item","numeric-id":4873992,"id":"Q4873992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1756e5d1baf4f9d7b738bdb988d25effc0272db6","datavalue":{"value":{"amount":"+0.7759153842926025","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":"Q6535458$557E9CB9-80AF-48C4-AB23-DBE13A0BFFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de5de917a830f47e2341eeeeda49e313c5f94322","datavalue":{"value":{"entity-type":"item","numeric-id":4473994,"id":"Q4473994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c43e7c447f143c44e22c7eec3565903fb0f3f149","datavalue":{"value":{"amount":"+0.7702053785324097","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":"Q6535458$65960A52-DF5E-4511-95C5-5329954C16A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"511ed0e565d84805ee46b50c3bd94d282b80a022","datavalue":{"value":{"entity-type":"item","numeric-id":3460731,"id":"Q3460731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e7dedbaee6897d994dc2d30e7445df1e1f81e60","datavalue":{"value":{"amount":"+0.7438768148422241","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":"Q6535458$3D68025E-1A9E-4181-BF37-F9126BAB1DF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535458"}}}}}