{"entities":{"Q7361633":{"pageid":31520438,"ns":120,"title":"Item:Q7361633","lastrevid":105367826,"modified":"2026-10-07T13:37:17Z","type":"item","id":"Q7361633","labels":{"en":{"language":"en","value":"Microeconomics and the First Welfare Theorem"}},"descriptions":{"en":{"language":"en","value":"AFP entry First_Welfare_Theorem"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83b41ac94f8fb29feccd22cc5869f11d73f1f157","datavalue":{"value":"https://isa-afp.org/entries/First_Welfare_Theorem.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361633$4A3604C9-BC18-46F1-9AAF-E1DAB737A159","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11b7ded03a62119e08d2bb1a7f984b25c06e7862","datavalue":{"value":{"time":"+2017-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361633$C8B680C5-81B0-43F8-892B-48C44FBAC881","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"92d31d0983042c049b2553bf3daa14ab682a0157","datavalue":{"value":"Julian Parsert","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361633$7435433E-0EC0-4D9E-8748-196679A5F487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"24ecedfcd986881afa2237d024b26ac8d56865f3","datavalue":{"value":"Cezary Kaliszyk","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361633$DAC55F71-1F8F-492C-9DCA-EA3C671CFBE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb6bffe2cba6588b02ccc85abd2a20caa1ac473c","datavalue":{"value":{"text":"Microeconomics and the First Welfare Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361633$1996BE8E-5FA6-433B-9194-AE2327449711","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"09abc92880a0248988fbb8ef2b28fcc92800a595","datavalue":{"value":"Economic activity has always been a fundamental part of society. Due to modern day politics, economic theory has gained even more influence on our lives. Thus we want models and theories to be as precise as possible. This can be achieved using certification with the help of formal proof technology. Hence we will use Isabelle/HOL to construct two economic models, that of the the pure exchange economy and a version of the Arrow-Debreu Model. We will prove that the First Theorem of Welfare Economics holds within both. The theorem is the mathematical formulation of Adam Smith's famous invisible hand and states that a group of self-interested and rational actors will eventually achieve an efficient allocation of goods and services.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361633$171A8C00-A532-43C4-AF2E-CE3CC9D405D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c33606efc5c6a91b75e2205fe380f563eff2c54","datavalue":{"value":{"entity-type":"item","numeric-id":5827435,"id":"Q5827435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$AE00616A-09D1-48D2-A8C5-4FCD31A81885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba16d3643e7f45b2a6fcdd3509fdca985c4702c9","datavalue":{"value":{"entity-type":"item","numeric-id":2589521,"id":"Q2589521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$DACAED31-09A8-4D10-BB50-8707C0EEB552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cbe4b1021dd4f57b758ed6ba0e5f7ceae48574","datavalue":{"value":{"entity-type":"item","numeric-id":2382312,"id":"Q2382312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$263CAB1A-F6CC-4755-830A-F778D18D3571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90cee0ba89a94dbb22d64ed5203fa021a18deb09","datavalue":{"value":{"entity-type":"item","numeric-id":555523,"id":"Q555523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$D7361051-7421-49F0-A86B-2E220C65679C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7c0d90ace913bd2dea9660b876d2d3d064b10bb","datavalue":{"value":{"entity-type":"item","numeric-id":2364109,"id":"Q2364109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$745231EE-23B6-4DE8-A9E5-30EA94E04271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fea6dff3d36407dad60fa8e8c9bcc1f06ec22da","datavalue":{"value":{"entity-type":"item","numeric-id":5200019,"id":"Q5200019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$F53333F4-6230-4E66-89FD-ADF9013EEF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"491a57d0f2cc861c8b8a1cb6c85e969e76d4419b","datavalue":{"value":{"entity-type":"item","numeric-id":2405273,"id":"Q2405273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$481DEC45-767A-45D8-B731-457F1B9BFE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeedc506ee95714a79cfc16f82862182df8774bc","datavalue":{"value":{"entity-type":"item","numeric-id":3613408,"id":"Q3613408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$AE62210C-569A-4CE3-B73C-AD58DAE77BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ce0e912a1e6d397fba676389e0669a66e762ba2","datavalue":{"value":{"entity-type":"item","numeric-id":2843033,"id":"Q2843033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$3CAB585A-3004-43E8-9399-548184827E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83bfba8e34fbff5d8c839c915b605c8e25230d4","datavalue":{"value":{"entity-type":"item","numeric-id":2843002,"id":"Q2843002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$0BAB91CC-0B57-4FDD-B016-1FD5A60D16D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385475a3e3e8d3ef9c818eb1c6781972265bcf58","datavalue":{"value":{"entity-type":"item","numeric-id":5495920,"id":"Q5495920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$1544BDAB-9888-4A7F-86FC-37F109274A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fbb2209b4588235a7d75ee63745ffee22868bf3","datavalue":{"value":{"entity-type":"item","numeric-id":5495927,"id":"Q5495927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$AE011091-CBD1-4CE9-B607-5712863400F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6992b4378a38035bb19e9acc7b51cc1ebb669a56","datavalue":{"value":{"entity-type":"item","numeric-id":855055,"id":"Q855055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$8D5C1C78-0450-41A5-A759-BB2103E4BE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b783d0052b7f250a9573410e9be2b4624ef11e","datavalue":{"value":{"entity-type":"item","numeric-id":5899057,"id":"Q5899057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$DED19813-9E17-4D95-9B91-F3EA173B0313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"493557b070d65a66e2016c6c094a57c95522bcfb","datavalue":{"value":{"entity-type":"item","numeric-id":934001,"id":"Q934001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$EBAE724E-9972-4F3C-B75B-C67A88E9D7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c704d43a48e07ac24cfe13985bec3bdd1a17595","datavalue":{"value":{"entity-type":"item","numeric-id":834373,"id":"Q834373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$51760658-31D2-42DE-851B-838D5A81C7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716d170b6d9b095492bf0c2b742ee0dbade5bbe0","datavalue":{"value":{"entity-type":"item","numeric-id":3523178,"id":"Q3523178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$8A186069-18E7-4C0E-9387-E33FD2DAE2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"877d47b5a68833b40336ae79952ca95bc15be14a","datavalue":{"value":{"entity-type":"item","numeric-id":3183536,"id":"Q3183536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$6EC5B5E5-0530-4027-BF92-EE3416B0918C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9a9f1fb31ac36a31b8f1980dab0b226f904810f","datavalue":{"value":{"entity-type":"item","numeric-id":2385813,"id":"Q2385813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$73AA14F2-EBC8-4E14-90FF-FE8680D939D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14533123e0b9e73c06f9737a070ee002c25f5f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3612442,"id":"Q3612442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$16988976-14A3-40A8-B3EA-296CC679CBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7012bf2c8e1ba10cf9896acdd463864da284937a","datavalue":{"value":{"entity-type":"item","numeric-id":2818017,"id":"Q2818017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$76DBEF5A-D198-41FD-887B-AD78A1050686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0478213a2768e15885bd259a974294cbcf32b5e0","datavalue":{"value":{"entity-type":"item","numeric-id":4619818,"id":"Q4619818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$DCF449D2-C517-4E10-97D2-A353D50D97C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2ee56ba2a005af96686c0f6e5c9a32a5bba445","datavalue":{"value":{"entity-type":"item","numeric-id":5565138,"id":"Q5565138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$DFDB5081-0223-4757-A1CE-92205EF01140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a5c491e27bbeea4d7b95894d477a28fdcc0015","datavalue":{"value":{"entity-type":"item","numeric-id":5302558,"id":"Q5302558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$30F9BE21-3938-45A5-9831-C93417A324D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a266698a9f12e5cfdac5a32e97a6644a791fab","datavalue":{"value":{"entity-type":"item","numeric-id":5403730,"id":"Q5403730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$78E93693-EAE2-4B1C-96FF-51F5AFE62CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d13370cb0295fe0b92329ee9e3839ca7b4babb7","datavalue":{"value":{"entity-type":"item","numeric-id":891340,"id":"Q891340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$1B1332E8-AE97-40F4-8165-E826FBB07E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf209e41420d9631719ba5de08dd6dba72e52210","datavalue":{"value":{"entity-type":"item","numeric-id":2757968,"id":"Q2757968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$E7CBD366-265B-4418-96AD-9AEFBB82B775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$4AC8B7A6-8EFA-419F-B74F-83D534739344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$1394CF34-F74F-4DBB-9676-4DAD1E437133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$D2965367-0CAB-47AD-9B3A-FCE5FF490110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e211b1428e95dcac2ae587ac5ea398e7778bf61","datavalue":{"value":{"entity-type":"item","numeric-id":1774558,"id":"Q1774558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$85E28194-F6EF-4AA4-AF87-9B0763594C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5321e649eae37c5b3b010a9879bef2f1750e3e3d","datavalue":{"value":{"entity-type":"item","numeric-id":2865755,"id":"Q2865755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$93A9C331-38E9-43F5-80EA-D72DEDC0F661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66a1da258e616ab50f96ec0d6891d77b0f4454a5","datavalue":{"value":{"entity-type":"item","numeric-id":4247309,"id":"Q4247309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$28DF156E-0870-497A-86EE-5B66ABEFAB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9a9d52aa4d2478b4a788c348c71cf254a5c3b6","datavalue":{"value":{"entity-type":"item","numeric-id":4738110,"id":"Q4738110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$6C35FC51-C07B-4C64-A813-596B5ADD77AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9061c5f8e928b165b3a3647aa8899a7c971be11b","datavalue":{"value":{"entity-type":"item","numeric-id":4902563,"id":"Q4902563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$6213DEC5-E9E9-4183-8509-E720C4DA2641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b532162ef9873d80a94bf4f3667353b71af3db0","datavalue":{"value":{"entity-type":"item","numeric-id":5198675,"id":"Q5198675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$4661C52A-C54F-4126-9D26-CD1F15C9D18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fd7647055319cad40b5953cf3bfe9f87332e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5761282,"id":"Q5761282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$6892F4D9-209E-4C64-9C89-B52EABD582FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa75d76e1cdc609f7ac46974607202a4c628e1e","datavalue":{"value":{"entity-type":"item","numeric-id":3275832,"id":"Q3275832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$EADDC873-7FE7-43CD-A50F-C52D1F6F41E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27cc39aa2929ec53eafd10c831d1d68f45fdb83","datavalue":{"value":{"entity-type":"item","numeric-id":1040010,"id":"Q1040010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$B0FB842B-79F0-4953-A73B-51D0BFF93196","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$0364A554-2068-4DB5-A655-02AFE5FA39F0","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"a72569ac3fa7d166ec3d63a25d7f4970dd09f6f6","datavalue":{"value":{"entity-type":"item","numeric-id":7360825,"id":"Q7360825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$7AD10EC6-77AE-4F53-8F15-382D715F1E84","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361633$ED249650-7C17-4BD3-94E9-028AEDE1AA16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Microeconomics and the First Welfare Theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Microeconomics_and_the_First_Welfare_Theorem"}}}}}