{"entities":{"Q3094180":{"pageid":3104895,"ns":120,"title":"Item:Q3094180","lastrevid":86464496,"modified":"2026-06-03T21:56:34Z","type":"item","id":"Q3094180","labels":{"en":{"language":"en","value":"Formalising foundations of mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5961501"}},"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":"Q3094180$A20D8FD3-7845-4153-B383-64F050F5A453","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a8b625721684718e1890eaa6f573c6921f998ad","datavalue":{"value":{"text":"Formalising foundations of mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3094180$3A45D9EA-6389-4D76-8A28-276F0B5585A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa52d7125052c66845091ecbb77ad187fa759f0f","datavalue":{"value":"1242.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094180$AEF807E7-9619-4DF5-A7EB-F449B1DC7C0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"865badf73cd9c4c5a11f73da928dbeb8935c4d39","datavalue":{"value":"10.1017/S0960129511000144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094180$2936B820-C05F-46E8-BC98-79C1ACB88C95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4de0972de4a2ee85494002d3efabcd5eef2b7802","datavalue":{"value":{"entity-type":"item","numeric-id":1945906,"id":"Q1945906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094180$B752A985-E2F5-4749-ACA6-377E13623BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc5ea7724245f13d1458583f67e1c62f50c4bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":263102,"id":"Q263102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094180$F7BC8AD2-58D3-407E-9EC1-AC657D4295AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094180$56F59C13-4E6E-4597-95A5-AB024B98C940","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5412e51208588a3303ff1411a4274ccfb0b7d7d6","datavalue":{"value":{"time":"+2011-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3094180$36D7E7E9-0E59-4DDD-ACDF-06D820F068BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094180$7F9279C7-2230-497E-A2FE-D94E1FF2FA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094180$FC3D5617-1695-41E0-92DF-5E186B5D0379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094180$52BC88E8-5B85-4E17-BE50-6D39ADE0E3D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fe53c0489dbd46fbc90cffec089e37a17f7d05f","datavalue":{"value":"5961501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094180$D73F58B1-D0A0-448A-B77E-C64D9FD3866A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094180$A3E72C9F-E61A-4710-A77D-BB9DFD9CD21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"294ce292240a6f433049300002b95cd141bb363b","datavalue":{"value":"foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094180$6548D22D-D4A9-455C-9D44-9CC2DC8FE3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c180ee2d56162da3a93e683315dfd57d39ecfb","datavalue":{"value":"formalisation of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094180$30D50F22-43E6-40F0-A3F5-FBFB6677E0E0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094180$C7C88FDE-AE52-4C74-BDB3-7E1A4F7B1BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094180$5D409691-4649-4490-86B3-03319230E237","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":"Q3094180$8C7BAEFB-8F46-4854-8C6D-4EBCD286F9F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094180$4CA3B649-B696-46D1-9591-A134E2B0A59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094180$93BFD1CA-654C-4F03-8F27-DA9068049FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bfb5a203f48711c5b2543870d11dc52b7197c39","datavalue":{"value":{"entity-type":"item","numeric-id":3613410,"id":"Q3613410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094180$1EADDBCA-9B87-47D9-B402-1263EE1503CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733843eb43f5cdfe85baf6168d9b7e77daeedd24","datavalue":{"value":{"entity-type":"item","numeric-id":4924547,"id":"Q4924547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094180$BF44F4A5-680F-4BDB-9355-9BBD6D14ADAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d7eb80623384f2b0bdeac1b53d4423d7a886cc","datavalue":{"value":{"entity-type":"item","numeric-id":3613409,"id":"Q3613409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094180$742B30BC-B702-488D-84E4-3D1AD56FEAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3417c55e96afb1c05cdfbf6ea569b92c908ce71","datavalue":{"value":{"entity-type":"item","numeric-id":3637193,"id":"Q3637193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094180$0B577AA0-92BA-421B-873B-8F618A7D5BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c913a72527b57ea467866b24b8cfd23fe78226","datavalue":{"value":{"entity-type":"item","numeric-id":5747659,"id":"Q5747659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094180$2BB6B6E2-FCCF-4B48-A438-9EF1B3B468FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14084b41dac7e71956551690bb40c48e6f7029ba","datavalue":{"value":{"entity-type":"item","numeric-id":5747657,"id":"Q5747657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094180$0A41C9B8-633C-4BB0-A70B-3C6C6277AFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b89338c6f304b64ad813e99d2dac647af4bb15f","datavalue":{"value":{"entity-type":"item","numeric-id":3523189,"id":"Q3523189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094180$4A39A12A-72E5-48AD-84CC-6241B0FE112C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb09d9f7d2450446aae397d3e90233b6c50e1785","datavalue":{"value":{"entity-type":"item","numeric-id":865658,"id":"Q865658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094180$80606E96-7702-473B-9415-1C34EF2FDC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0223ea41de9d0d3a3b57ecfe38bc4d40a15c3492","datavalue":{"value":{"entity-type":"item","numeric-id":1326777,"id":"Q1326777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094180$E948AB57-1BF8-4998-8C97-3D42B3135DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094180$47BE8774-1174-4522-9B71-2D6C2F422EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa946e46dd7fe5ebbecad5b92f77605dd2ee5cd0","datavalue":{"value":{"entity-type":"item","numeric-id":1319391,"id":"Q1319391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094180$769012CF-4483-4F1C-9740-FD7DFAF7B2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7b89d341162c391a097fee7e4bf21bb2addc4b","datavalue":{"value":{"entity-type":"item","numeric-id":5747762,"id":"Q5747762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094180$D6169214-65F8-4F06-A3B9-324B28174ACB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09e3693fd99802ac9cbfe47619015d0b32ced86f","datavalue":{"value":"https://doi.org/10.1017/s0960129511000144","type":"string"},"datatype":"url"},"type":"statement","id":"Q3094180$F60D848B-D3BF-4394-BD73-5109B4274101","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7bd3b9d8d2cfbee89ccf550773beeaa7fe271c4","datavalue":{"value":"W2151140427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094180$9D9F518C-FF9D-4ED2-8D78-DFFE8CDEF01C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6c52b562a6138bd25c356d5c1a56d5634d8d93","datavalue":{"value":{"entity-type":"item","numeric-id":3094181,"id":"Q3094181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee15c8dbd87a5fa2210525b6f8ffe4715276efe8","datavalue":{"value":{"amount":"+0.7850033044815063","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":"Q3094180$DA4C73CA-5BFD-4C6C-8CA4-5353BF4CAD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a89dd6970994c099e3030bbed6db81931530f4a","datavalue":{"value":{"entity-type":"item","numeric-id":5747659,"id":"Q5747659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33713710353f292e359b9ea68869cb047804fcae","datavalue":{"value":{"amount":"+0.7496659159660339","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":"Q3094180$D4E9C9AF-41F0-4C0A-9C2B-551A318129BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f90005a8746be07712f49ed1754420cf62ab3ab","datavalue":{"value":{"entity-type":"item","numeric-id":865658,"id":"Q865658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dedbeee552808c8dc713e17c28bb86abd29630e3","datavalue":{"value":{"amount":"+0.7346391677856445","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":"Q3094180$A7CF1906-F99A-40B7-A836-C03484A02E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b5cd105b44770aa835c9cbc85b4fcf5656f16d0","datavalue":{"value":{"entity-type":"item","numeric-id":5894305,"id":"Q5894305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c55906df13a2771313cba8d23758b557ed8ca9b","datavalue":{"value":{"amount":"+0.7251341342926025","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":"Q3094180$6D8E8241-1FBD-4003-9E3A-7A4DED5BA8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"764cdb2d73143e9be8d9f430414780a905db7bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2817908,"id":"Q2817908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ac5efe541ba55d74430ab246c1fc142525bf6bb","datavalue":{"value":{"amount":"+0.7240994572639465","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":"Q3094180$EFFED812-455A-415D-A33D-9BB6D4C0C84C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalising foundations of mathematics","badges":[]}}}}}