{"entities":{"Q2364696":{"pageid":2375439,"ns":120,"title":"Item:Q2364696","lastrevid":52864751,"modified":"2026-01-23T16:23:56Z","type":"item","id":"Q2364696","labels":{"en":{"language":"en","value":"The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751332"}},"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":"Q2364696$2BAAD531-FAA9-4976-BAE1-32919C93C744","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff7589d610b9e0297966d17dabf06fee097ae6da","datavalue":{"value":{"text":"The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2364696$2FE7C89B-AD64-4D38-ADE8-E3196457A6EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f769058eb6a10d1861c993069d5e6ffb699757c","datavalue":{"value":"1367.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364696$2E0707E6-E5E5-4A43-8B80-96BA52C80FDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5ed022a37f52cdffffad02a81bb5f28cc0803b9","datavalue":{"value":"10.1007/978-3-319-62075-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364696$486954E8-A4EA-42CF-B5E5-75531BA2367F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89aeebbd519907b23fa0a230e61b08e676dd99f3","datavalue":{"value":{"entity-type":"item","numeric-id":1798966,"id":"Q1798966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364696$10613C4F-066D-433E-AB22-3B6C99EB8156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b050b9c871ba52ecd53588adcdf2650a7e82b19","datavalue":{"value":{"entity-type":"item","numeric-id":865645,"id":"Q865645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364696$D2A0C5FC-D1A5-482E-831B-44B7DD7D0AB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2364696$FC25CE18-2E2D-4B85-846D-8CB7588E22CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364696$D5D5E2AF-E08D-4A14-80A4-7FF9A08AD0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e419163fd9b5f210c8c0c28cdb07c2197a2bcac","datavalue":{"value":"91B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364696$96683CDE-967E-4D87-B3EE-775E60398D0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33472e8ee005d86f78b91a9ecd87f2a989217d7e","datavalue":{"value":"6751332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364696$99969CBC-0CC6-4B7E-B588-AAC4364398DF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"34fa31a793782e1d3d781b08013aea3c1cdc8586","datavalue":{"value":{"entity-type":"item","numeric-id":43924,"id":"Q43924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364696$53CD88D3-BAC5-426A-BA66-9AA99CDCCCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364696$F6894A91-F69C-4F88-8C31-839129D9DECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364696$8049D5E9-3D24-479C-902E-08F0282AB13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364696$A7CA71D3-3F68-4FA4-A9F9-99E2C780478B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80ad234dc0924dda60983aa70fc106cb35f3b96e","datavalue":{"value":{"entity-type":"item","numeric-id":19080,"id":"Q19080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364696$3757A24F-D8DE-44F0-944F-3181B2AB38D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364696$F5349CBA-A63B-4410-B373-AE204EBB7217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364696$B095631F-47E5-4E2E-B301-E32465C29E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364696$409CF2F4-0B66-4CD0-8240-B26C200A18EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364696$8603812F-61F5-4A00-BC04-CF474E6CC467","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":"Q2364696$4E94606A-2BA6-43C8-8601-19A60003F3C0","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":"Q2364696$FCE5EB51-A197-4F80-A309-45EFB71D6C27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f89cb15a47dded2b33be26c9b9b84a98bee2895","datavalue":{"value":"https://doi.org/10.1007/978-3-319-62075-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2364696$3E43A28D-3F17-4A62-90F8-EFCBAFBECCCF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cae0004c160a95e9e38eae56c0fc14a0f8915ac9","datavalue":{"value":"W2729182356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364696$D8AD64B6-A954-4D9F-886C-0E0782B3B57D","rank":"normal"}],"P223":[{"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":"Q2364696$7016529F-F5FE-41FF-91CF-9735CC78FB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bab11b75e766c233c3a1b9a3682b90b0e288d","datavalue":{"value":{"entity-type":"item","numeric-id":3075247,"id":"Q3075247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364696$D95FC450-368A-478F-95EB-BD2903FDBBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a5ab773db93124f515ae36ae3145eaec6e9a0a","datavalue":{"value":{"entity-type":"item","numeric-id":2843015,"id":"Q2843015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364696$1A8E4392-B4A7-4AC6-B02F-9D28CBA66AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2bd5dfde33c204425a9e9ed207d100bf52856ff","datavalue":{"value":{"entity-type":"item","numeric-id":4680193,"id":"Q4680193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364696$8030513B-8115-4C16-9F55-E0703FF6F77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364696$0B42FAF0-A6D3-4FE6-BCEF-A6FE46BFC78A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a59ea3e4606aafb1485217b74218d2d1b034d01","datavalue":{"value":{"entity-type":"item","numeric-id":2843015,"id":"Q2843015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"802dd9eb8d89af64f221e27ab9d6de25316e7514","datavalue":{"value":{"amount":"+0.8512469530105591","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":"Q2364696$BB1DBFEC-5211-4664-99A5-569D2A10B1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fc240dff9d2a908383b2bd91dd3f4afbbd6a1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5495927,"id":"Q5495927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"951804cf757d32cdef55e3b75fb19f1760645b7b","datavalue":{"value":{"amount":"+0.7178828716278076","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":"Q2364696$4E68B892-8509-4443-8781-5DD5D30857D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"054cc6af742df55f201f671c103bbb97eba4cf26","datavalue":{"value":{"entity-type":"item","numeric-id":5200108,"id":"Q5200108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8ae6d6f79e453dc4e1b9daf15faef0b084db386","datavalue":{"value":{"amount":"+0.6943634152412415","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":"Q2364696$383ECFD9-02D3-468E-956A-CDE796178839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f505eba0057360ff6fbf4efa07caffda762c27db","datavalue":{"value":{"entity-type":"item","numeric-id":504394,"id":"Q504394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a6ba260553b6d0db396ed6ca34622985a8a5c9","datavalue":{"value":{"amount":"+0.6815719604492188","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":"Q2364696$E613906C-2391-4092-B687-96257B9D26EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9224dc4967c90c9c272c1b8ae4cc85ee6cf821b5","datavalue":{"value":{"entity-type":"item","numeric-id":1040010,"id":"Q1040010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c18d7c3fc34ce2b2548bc4d85f11c8a820966b50","datavalue":{"value":{"amount":"+0.6804771423339844","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":"Q2364696$0AAF8ED5-71A7-43ED-891A-C988373D5169","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2364696","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2364696"}}}}}