{"entities":{"Q2879274":{"pageid":2889994,"ns":120,"title":"Item:Q2879274","lastrevid":44708142,"modified":"2025-11-25T09:33:44Z","type":"item","id":"Q2879274","labels":{"en":{"language":"en","value":"HOL Constant Definition Done Right"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341503"}},"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":"Q2879274$A64D4CF3-D185-4109-B120-E2AD13953797","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a1c823bb037a4058b3c3443fb4223d602464559","datavalue":{"value":{"text":"HOL Constant Definition Done Right","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879274$7893B562-648C-44E5-9184-B73874F2EA7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcab19396c6bad849a2259208fe99d2b2f0edea7","datavalue":{"value":"1416.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879274$2C53D463-D8F0-437C-96AA-9E1BAC36BB9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15f5cc8c8b0a7e1b6c3198da673884b432ad7b82","datavalue":{"value":"10.1007/978-3-319-08970-6_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879274$EE80C284-7485-41FF-A9EB-7B7079E50512","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0326155ee2776709b948d74abcb135838e086e1","datavalue":{"value":{"entity-type":"item","numeric-id":287357,"id":"Q287357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879274$C3954BC6-D7AD-45A2-86C6-5C8C1BC1879D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879274$FB6FA3AC-0402-4F54-A5FF-24211B479561","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879274$D2252FD8-7D23-495A-B556-DE514A334313","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879274$272C9C1E-7251-476B-919B-4853025B41BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c94bd3ae40f34e6c6e1126c62bf50954b66ca37","datavalue":{"value":"6341503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879274$68188FCC-8E0C-4D06-8EE4-2EBF96A9BB7F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879274$0D7523E7-CF07-4307-85C6-0AE0C73BB034","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":"Q2879274$CFD4515F-A6A4-497E-B4C4-38644237AC64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b399040d605d4512341828d2a180914bbc9f8be4","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08970-6_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879274$E52DF565-088C-485E-A6D8-B96329AEA668","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49d8d0875dd2443dab816a9a9af43b76c9a6af90","datavalue":{"value":"W282676748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879274$9046150D-E72A-46D6-975D-820F90427F00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2879274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2879274"}}}}}