{"entities":{"Q2851818":{"pageid":2862538,"ns":120,"title":"Item:Q2851818","lastrevid":83518142,"modified":"2026-05-07T08:36:17Z","type":"item","id":"Q2851818","labels":{"en":{"language":"en","value":"Understanding, formal verification, and the philosophy of mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213462"}},"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":"Q2851818$A680E411-D9C9-49BB-A67A-AC150A9BADF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"948747bd587a800e222f83d633eef172cc979980","datavalue":{"value":"1273.00032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851818$4B8704F5-5411-4C37-87A2-1B1A17AF33D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851818$733EC3C5-B584-4CDE-B841-EC95E5FA9E30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1145dc38b4d246480a51682f22dd7d8a161033fa","datavalue":{"value":{"time":"+2013-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851818$DF15589F-3930-4FD0-BFF8-4834D09CD2A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7c27d83149e3d20657d02f1059bf7d991ce2919","datavalue":{"value":"https://arxiv.org/abs/1505.07238","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851818$BDBB2BF3-53A4-4A00-8D69-5966EBEAB5DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851818$B4D110B6-013D-4839-B2A2-20C907AF7546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851818$FDC408D1-726C-47B0-BD5E-C1C80D625BAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4de21fe4ef13ac2542844e8e0da67170419f52c","datavalue":{"value":"6213462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851818$3526922B-CCF2-4787-9084-F10055C95629","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":"Q2851818$5FF9A9C1-5EAC-4E83-81C8-E83C94290AAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1e3cc15a47a7109ce387c4115666caf34933bc0","datavalue":{"value":{"text":"Understanding, formal verification, and the philosophy of mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851818$F4097791-4CC9-4640-A8A1-449FDFA2740F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fee23f5b88cb89559fe4903fd149898b93eacf1","datavalue":{"value":{"entity-type":"item","numeric-id":2945576,"id":"Q2945576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b95ffff69cd1939e15cd342f66569e8138ff18b","datavalue":{"value":{"amount":"+0.7482998967170715","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":"Q2851818$9A669EC1-3A48-4CE9-82F1-4C026B0CAECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfea782e8ccf212788d53c8f4e477999d4fbba88","datavalue":{"value":{"entity-type":"item","numeric-id":3637280,"id":"Q3637280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae2224749bfca9988990d6c30675a4c0e522b3f","datavalue":{"value":{"amount":"+0.7258599996566772","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":"Q2851818$4F64BC58-88D5-4B0C-B923-06DDCFEB04E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f95c2933dd4f4c3ccb2c5b39063b741567d78b4","datavalue":{"value":{"entity-type":"item","numeric-id":5261836,"id":"Q5261836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c9984c7ba0c6b74e87c9c6bc56eab228309aac7","datavalue":{"value":{"amount":"+0.7235326170921326","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":"Q2851818$706E0D59-930C-4A2A-9903-72E11FA59292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"469dda3551437cfa1c9ab559d0c4f26a1117ab31","datavalue":{"value":{"entity-type":"item","numeric-id":5860471,"id":"Q5860471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d664725f27a17d48562f821ba6683cacdd87ef1","datavalue":{"value":{"amount":"+0.7192104458808899","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":"Q2851818$BC3A75E6-9D93-4D14-A6C0-A64646202A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2617bf707a212d1b8a48113b17ba4ab530c91e11","datavalue":{"value":{"entity-type":"item","numeric-id":4906843,"id":"Q4906843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39d5596ac3763ca83bde2dcdc13892007b18cb43","datavalue":{"value":{"amount":"+0.7147579789161682","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":"Q2851818$9BF0A40B-9AEB-4AC0-9D2F-1DCECB2FD284","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Understanding, formal verification, and the philosophy of mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Understanding,_formal_verification,_and_the_philosophy_of_mathematics"}}}}}