{"entities":{"Q2323998":{"pageid":2334741,"ns":120,"title":"Item:Q2323998","lastrevid":71843514,"modified":"2026-04-14T00:54:39Z","type":"item","id":"Q2323998","labels":{"en":{"language":"en","value":"Verified learning without regret. From algorithmic game theory to distributed systems with mechanized complexity guarantees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7104905"}},"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":"Q2323998$26B921B2-B462-438D-BE73-672B05798EB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"232cd2e3f71412e91b068836d99bd963b369a0a2","datavalue":{"value":{"text":"Verified learning without regret. From algorithmic game theory to distributed systems with mechanized complexity guarantees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2323998$55364CE5-78C8-4EED-80C5-4C2147ADAFFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a61221dbaaaee2802a34923f1926fdd3ed6824a","datavalue":{"value":"1418.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323998$3C7C5863-3B24-4898-A0BB-E9A67AF32142","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bf56513ef9f016969ee20972dbe1a0e90322d37","datavalue":{"value":"10.1007/978-3-319-89884-1_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323998$E30463BA-F027-4DE9-B86D-E19EE68A4AC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4342222848c4ed31e753af12f0434670063624fe","datavalue":{"value":{"entity-type":"item","numeric-id":2323995,"id":"Q2323995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323998$D2EC855C-4CCD-4E58-94A9-566A7C224D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5280aeeb7c584b1132898dec9667b26a07ffb2f0","datavalue":{"value":{"entity-type":"item","numeric-id":2323996,"id":"Q2323996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323998$73F8ADFD-D52E-49B4-9A7B-7745F444E13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7db3f3cfd4eb1160cff340fdb86fde1f1f1faa6b","datavalue":{"value":{"entity-type":"item","numeric-id":2323997,"id":"Q2323997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323998$B17C8E6A-38CE-4FA7-A5C0-D962A7A103F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e58c5ec13ac9ff2a0c2a7ef47523e32b869731b7","datavalue":{"value":{"time":"+2019-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2323998$8A4A1DFD-7762-418C-8812-C3A6BDCFAF1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323998$A1A6D037-52F8-4B99-A2DF-F19090AAB160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323998$39BBD4EA-F4D8-4A04-8513-7CDACCAEB02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323998$AEA01256-2FF5-4F82-A99E-ED46047915E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a7dd7003e1269b5b10ff3f935da8af9e44f172f","datavalue":{"value":"91A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323998$A3181876-875E-46F6-A6E0-DE9DFE2ECCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323998$129180B7-BA46-47C8-BD53-E4A5C9E64439","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de958270427261160395c2751b01c93408d5ef7d","datavalue":{"value":"7104905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323998$C54DA935-0548-4608-8525-2CEDF8D991D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3ee062addc73ba3d95ae0508e1b43a639bc7501","datavalue":{"value":"multiplicative weights","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323998$C1D3BE8D-56D3-43E9-9095-6E45210E8FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d2b1fbb53d7d0980fc13547375d10c4bbcfdd3","datavalue":{"value":"algorithmic game theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323998$F28E7A04-9472-41EE-B251-2D89370EAEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79ab39c070fde8f6d08d711a78164a3012ef2349","datavalue":{"value":"smooth games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323998$B68D3C2E-B261-42DB-AD76-9D604B7FD90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323998$41447FF8-15A1-403B-BDF6-41C43678B708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323998$0F7C2E2B-B25A-4851-8730-4A4510EC7ED1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323998$7155BDA7-5FDD-46F5-851D-47EB6113343B","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":"Q2323998$3B693906-7301-4EBE-B4C7-77EF572AA49F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"562efaee69aa3c34cbc91f728021aa10cc854b44","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89884-1_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2323998$63450037-A5B6-4EA1-9AA3-C6FA03BC8A60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfd674fff9c6a0d29708efb6638fc2859a414213","datavalue":{"value":"W2796887694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323998$76CAB4CC-5AFE-433A-8420-F1BF94395D1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6c8313cceee6390e5d6d80227d272f73cd57d3","datavalue":{"value":{"entity-type":"item","numeric-id":5305837,"id":"Q5305837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d65d2d5763a90a9ddd5dee92cf7e566c688a9dc5","datavalue":{"value":{"amount":"+0.8611884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2323998$397DF7F6-E571-4A14-AAE7-D81CF5EE5802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"090980974ef51bff852c124a3a2d1c31664b04e1","datavalue":{"value":{"entity-type":"item","numeric-id":423765,"id":"Q423765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a0908fef945903355e5fd9741866aa9b8f33f2","datavalue":{"value":{"amount":"+0.8570941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2323998$11ECA13E-2E70-498D-B0B8-BFE686F77FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99dd86d39c7460f441afdb081eb64922505981ac","datavalue":{"value":{"entity-type":"item","numeric-id":5261296,"id":"Q5261296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ced9fcd43d136270c07b8d76c2ca13c974ba59","datavalue":{"value":{"amount":"+0.8562816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2323998$8AB5B70F-E077-46CE-8863-8FEFB855CBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd6b9cfdbe91896ae05d059802c45e53432f61e2","datavalue":{"value":{"entity-type":"item","numeric-id":5853823,"id":"Q5853823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c565d474a77aa9ec37d06006a20281e8be4d3a","datavalue":{"value":{"amount":"+0.85345477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2323998$55A82B02-DA17-4773-B342-EBDA17BC567F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cbc4f0a20e02f538c41215646d230e44f8fb821","datavalue":{"value":{"entity-type":"item","numeric-id":5892607,"id":"Q5892607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e367e6ee44e5264bdbadea78dfd4bd471d34e4","datavalue":{"value":{"amount":"+0.85298336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2323998$ABFE143C-1CBA-415A-B98B-6CC970FCAF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ec7f2981c5612b954c6b02788c629479da34b31","datavalue":{"value":{"entity-type":"item","numeric-id":5892194,"id":"Q5892194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e367e6ee44e5264bdbadea78dfd4bd471d34e4","datavalue":{"value":{"amount":"+0.85298336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2323998$DD340153-445F-4092-B5D4-A1905FB08491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac50f4c79651a7e165c2f92c55f4135b4be0247","datavalue":{"value":{"entity-type":"item","numeric-id":1322380,"id":"Q1322380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6994d0bcb84ca56b0c65d108897c7be8d7c2062","datavalue":{"value":{"amount":"+0.8479896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2323998$3D2D98F9-504B-493A-B747-86E98D9D8312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"510db033dbf178cb2c9ec86fd847f725ec650203","datavalue":{"value":{"entity-type":"item","numeric-id":4580271,"id":"Q4580271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6f8f1e6e03ed97f73abd28d2cd85c2b89209f3","datavalue":{"value":{"amount":"+0.8475397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2323998$3017BE37-CCBC-43F8-8D1F-113EC03D2C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85f8fd11c67378ec6c85c05e4c7b6803805ca4e2","datavalue":{"value":{"entity-type":"item","numeric-id":4978559,"id":"Q4978559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb0439327133e6fd2b0cc82817860e84a84a530","datavalue":{"value":{"amount":"+0.8423353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2323998$61AEF53F-7615-4BBF-863C-2D7C40B543B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424307765c8447ce2045beb8aaea488784768bf7","datavalue":{"value":{"entity-type":"item","numeric-id":5452608,"id":"Q5452608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0665098bfaf4d2f7bc407dccaf2fdbe6d075d65a","datavalue":{"value":{"amount":"+0.8419925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2323998$67922022-87FB-4655-8CEE-06B177C5E032","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":"Q2323998$15896E41-71E3-49E6-ADA0-A0E5735AD80B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verified learning without regret. From algorithmic game theory to distributed systems with mechanized complexity guarantees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verified_learning_without_regret._From_algorithmic_game_theory_to_distributed_systems_with_mechanized_complexity_guarantees"}}}}}