{"entities":{"Q2843033":{"pageid":2853753,"ns":120,"title":"Item:Q2843033","lastrevid":58043352,"modified":"2026-04-03T14:09:12Z","type":"item","id":"Q2843033","labels":{"en":{"language":"en","value":"The ForMaRE project -- formal mathematical reasoning in economics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197193"}},"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":"Q2843033$0CA3AFBD-E101-4D2E-9EA8-597C0E2127EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"787e55ce33d8ec1f2fd245ecd302fae534de4c82","datavalue":{"value":{"text":"The ForMaRE Project \u2013 Formal Mathematical Reasoning in Economics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843033$30B2FA73-DF80-4900-B649-4464717698DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"242964f04a6c6dbf7131a1717a41aa8a8b92089b","datavalue":{"value":"1390.68578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843033$AEBCC990-74F0-4443-BCE4-69EE53A78BBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8958ff0f7db80272679532b44036196a8ba9b6e0","datavalue":{"value":"10.1007/978-3-642-39320-4_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843033$B379B220-046D-40BA-98B0-B2D2B4D534BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb9e8b716e948fd9d393e4fbe3beafa79f032133","datavalue":{"value":{"entity-type":"item","numeric-id":504393,"id":"Q504393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843033$1ADC44F6-9D38-432A-935B-5E198DDF98A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92d46f6e3a937a805e7d0d6facdabb7a0e1cff93","datavalue":{"value":{"entity-type":"item","numeric-id":392660,"id":"Q392660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843033$C4A7FBB5-3B82-4741-8CFF-8E9F416A7F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7312aa49e695258fc219389a5f4fc014d345696","datavalue":{"value":{"entity-type":"item","numeric-id":504392,"id":"Q504392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843033$C688002C-3230-4BC0-85B6-671D676D457D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843033$15194F0C-F870-4E6F-A4E3-49C657DF667E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"381d46b885a4d4a1524f419ca9a0dc18cd8f863b","datavalue":{"value":{"time":"+2013-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2843033$7E8E9D23-FFBE-43EB-AE61-B2B80CB89BAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51899037494691316b4f8470a4292dd3929edc37","datavalue":{"value":"https://arxiv.org/abs/1303.4194","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843033$9EE0D457-DEDF-4C35-A2ED-E521AD2D418B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843033$942DDF00-BDCB-4593-9646-C71B843CDB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7934ef4478ec2eac0cb1f78f19b40005dde6f0c","datavalue":{"value":"91-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843033$474BC2BB-C2C6-4131-9400-CF229ED6E35D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9606c75f0b196aa5f5ced8deac12fbe47470d28e","datavalue":{"value":"6197193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843033$1C1F867F-8060-4131-A2DB-DA901A6BCA96","rank":"normal"}],"P1463":[{"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":"Q2843033$69FC578C-A31F-4774-A5A6-A2421FB6D5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"132aba1b92b7c833b2b3c4a71bfe3ecda703a788","datavalue":{"value":{"entity-type":"item","numeric-id":20774,"id":"Q20774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843033$A0C76DB6-A114-4575-88A2-C211C539C54B","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":"Q2843033$1B4914D9-D7C5-4A5B-A0F9-E38FABD50AC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1327bcfd968fd04df41b2290c8089a378bc4a87f","datavalue":{"value":"W1666573805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843033$82FB2909-F6FB-4C34-B007-63D919C9A158","rank":"normal"}],"P1643":[{"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":"a6b88fc4494d41fce781870db17ef224aafc89dc","datavalue":{"value":{"amount":"+0.7013366222381592","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":"Q2843033$AA3A3621-D8E3-4423-A581-1806F76F29BB","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":"77506ae0ed6b652ffa0912b08e14430080e74b8f","datavalue":{"value":{"amount":"+0.7008689045906067","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":"Q2843033$B5A74F8C-67A5-4D14-8D79-E9CC06E0C315","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":"19277a16970d4f8f4bc6188f185a42a91c08dde8","datavalue":{"value":{"amount":"+0.6829516887664795","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":"Q2843033$5F97252F-4B43-40DC-ACBD-769401124026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"386e7465b8035cbef7caec758f9e37bd83b2336a","datavalue":{"value":{"entity-type":"item","numeric-id":4799210,"id":"Q4799210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90fdb3ddaae6a5113bda0fc7f91e9532a975bc11","datavalue":{"value":{"amount":"+0.6624265313148499","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":"Q2843033$2A6C88A0-905A-41AA-A5FA-5BB4C734FCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac439eda17994d94b0e5907c8255b88838a57c3","datavalue":{"value":{"entity-type":"item","numeric-id":4730750,"id":"Q4730750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d0a3b791b0c21fde35820cf67d7c87f6ee84ee","datavalue":{"value":{"amount":"+0.6411058306694031","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":"Q2843033$5C5AE842-9447-4283-837D-488CB287A3F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2843033","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2843033"}}}}}