{"entities":{"Q4982452":{"pageid":7012030,"ns":120,"title":"Item:Q4982452","lastrevid":52239626,"modified":"2026-01-21T05:46:15Z","type":"item","id":"Q4982452","labels":{"en":{"language":"en","value":"Coding over core models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6423835"}},"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":"Q4982452$BF1A74E6-D6F4-4890-910A-68929251B0B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a0fd1d930968e9587e43d806eddb848a7e545d6","datavalue":{"value":"1358.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982452$EA8C2CA3-824B-4F14-9329-01B96FA6F564","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9dc76c76f5997ae4a4cb8a950442251ebffa2d8","datavalue":{"value":{"entity-type":"item","numeric-id":1727882,"id":"Q1727882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982452$B913B793-EDAE-40C1-9C43-85ACD7F4CA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7bfc7c1815d9d17bc727832b0a6cf598db7157","datavalue":{"value":{"entity-type":"item","numeric-id":487690,"id":"Q487690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982452$AA34BCE4-2D5C-47BE-89B3-ADA1FD716722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aa8175c1d7434282d2dbafd0143922a2082a35f","datavalue":{"value":{"entity-type":"item","numeric-id":1128185,"id":"Q1128185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982452$ECF5DC77-4057-4370-BE87-1B981902C5AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2685380c049c772858fa8145d702ffd7ed5e8e1c","datavalue":{"value":{"time":"+2015-04-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":"Q4982452$50AF991A-B714-4292-ADF1-4C4BF7B1FE3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982452$2C47DAD7-86F6-4C32-982E-462BBB6C29C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982452$8FD72509-4639-4A91-8B44-6102FB8C7BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982452$0A1F32CB-9CCB-4D11-A891-6E3A091BF3A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e640e28125336bc5e75c9ac0124db1728907a63","datavalue":{"value":"6423835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982452$3B192DB7-00AF-47CB-8CA2-17E5B4264AFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebca3a6c115ad9fc460e4a0debbc4ce171f41fbc","datavalue":{"value":"large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982452$12A668FC-2DD4-420B-90E6-604DEE78FD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"209693b2ddd43f50347c4f8620a546678d2beca6","datavalue":{"value":"core model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982452$08B196E3-B284-4D78-A63D-4175A0889D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5850f9fe51129088d4f72d9778663d506673a1ff","datavalue":{"value":"coding theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982452$A57D4B4D-5359-4CE3-8E7A-332F08B041D0","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":"Q4982452$7AFF832E-7B39-4174-AB63-565AB2816464","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2480e12225c4c5e998787b41931ab2800fb6a37d","datavalue":{"value":{"entity-type":"item","numeric-id":4517449,"id":"Q4517449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4519575dae5464b393b9ce07e5c5edbe8e58cd6c","datavalue":{"value":{"amount":"+0.7718136310577393","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":"Q4982452$A1BF33AF-F67B-4ECF-9025-ECADDF2DE8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a6c39b6ae97b3643f8844f986032c35142a5116","datavalue":{"value":{"entity-type":"item","numeric-id":3199412,"id":"Q3199412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1da15d744c78ab2954034db52769c6e8e08db003","datavalue":{"value":{"amount":"+0.7468766570091248","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":"Q4982452$D4B80540-EFBB-4556-8F25-7BC2EE4A3B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afab3b870f507e29cf7d53747016b563bcf90ec5","datavalue":{"value":{"entity-type":"item","numeric-id":3812240,"id":"Q3812240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cf1378f4c5546dd5382b3ab9168cdbca6f10286","datavalue":{"value":{"amount":"+0.7255762219429016","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":"Q4982452$9D66E81E-13A4-4043-B174-43CA57194A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a882939fd1e3b33540ddb459286225a7d091201","datavalue":{"value":{"entity-type":"item","numeric-id":4372907,"id":"Q4372907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee54db034f9a384668e09227a941a63934234a9","datavalue":{"value":{"amount":"+0.7236325740814209","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":"Q4982452$CD6D862C-7F34-4AF3-99BC-E25BE0D5C8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7777f371545c25195a88f5bb05135972d84ee85","datavalue":{"value":{"entity-type":"item","numeric-id":1096623,"id":"Q1096623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b81fe04758b033d096b9d21eee6fb15ac725aaa0","datavalue":{"value":{"amount":"+0.7181879878044128","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":"Q4982452$C7616B79-E19F-462D-8A94-B97F8B27718E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982452","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982452"}}}}}