{"entities":{"Q3094181":{"pageid":3104896,"ns":120,"title":"Item:Q3094181","lastrevid":51351791,"modified":"2026-01-17T21:26:36Z","type":"item","id":"Q3094181","labels":{"en":{"language":"en","value":"A pluralist approach to the formalisation of mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5961502"}},"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":"Q3094181$B94DDE04-9234-4333-BE12-365328C4BA96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69fec69b11a7416bf548392ae0c6b4e8e42ed25f","datavalue":{"value":{"text":"A pluralist approach to the formalisation of mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3094181$E99DEC2A-DEE2-4E3F-AC34-7934902D1D64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eebbe4ab808169e5ca111ceeaa77fb01f9671b76","datavalue":{"value":"1242.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094181$3EF7E287-041F-4376-93A3-E4E92B639D1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48325843341ce28164aaa8c6df9e301e33e566be","datavalue":{"value":"10.1017/S0960129511000156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094181$EE722852-58F3-4152-B409-955FF80FE2DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cec371990f9003fbdabf64bcaf7487ca13372cd","datavalue":{"value":{"entity-type":"item","numeric-id":636366,"id":"Q636366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094181$70EDBF07-D1B9-43D0-BC10-B1CF03A66833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5113b34e3bbf27434e01e2c75e261e7834776faf","datavalue":{"value":{"entity-type":"item","numeric-id":220709,"id":"Q220709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094181$7815AB29-0C6F-4C3F-B070-E1432C807B87","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":"Q3094181$D731C815-F12F-4C93-AD5D-476A83A85230","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":"Q3094181$860E010E-35AE-4A3B-9C63-0753F5DA369F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094181$09C5BC54-6683-46EB-B2E0-823BA849D215","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f75d62b701fab5084b7a9720a0a391a848b72b7","datavalue":{"value":"5961502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094181$FCD8039F-6497-49E9-9757-5252071594E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094181$80794265-D25B-42C1-BCE1-34CCAA62415B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c180ee2d56162da3a93e683315dfd57d39ecfb","datavalue":{"value":"formalisation of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094181$13D29F8A-0A17-4EAB-A884-5637FC7617E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094181$968EB3BE-AB70-4144-99FF-2187B84A03D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"debc1a7decd93e19a2dd0ca968e424e5ba0618ef","datavalue":{"value":"proof reuse","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094181$23EDA425-0769-497D-A5FA-D2DB58268790","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094181$44118756-10EE-4FAB-83CE-C0E554704307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094181$B4B4C38B-C73B-4969-85DF-2E717B48E7D8","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":"Q3094181$F6234D3D-A638-4051-A44F-C5D3A0CEBFB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094181$152AEA4A-EE4D-48E6-8650-A86489AFDECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5e9a769273df490cb62d5f8c9577703f584712","datavalue":{"value":{"entity-type":"item","numeric-id":4457835,"id":"Q4457835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094181$CBD1DC1C-6DA3-4F86-9FCF-CDEBB260B738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bc8dae1994f1675072ec162c7c6788e05d8d41","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094181$77990143-0BF9-4DD0-9F58-3DBDAFAFF994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b74858466b34eb9124c94c909cd399a44eef93bd","datavalue":{"value":{"entity-type":"item","numeric-id":2946599,"id":"Q2946599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094181$2C91F36B-A00C-4574-82F6-8ED2022E3CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6618e91a75816dcd4066818a4f985d88eb94f855","datavalue":{"value":{"entity-type":"item","numeric-id":3612432,"id":"Q3612432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094181$2CBCFE62-603B-43FF-A8AF-05459ECC78A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0f7032feec8f3cabf8b2aed26c255234ae5d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3094180,"id":"Q3094180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094181$05C170A2-5E4C-4914-8519-AB176401BB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b26b59dd2739c700cc12e6cc1ef45859878ecccc","datavalue":{"value":{"entity-type":"item","numeric-id":2746758,"id":"Q2746758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094181$93B46808-4D97-4E4D-A796-22E08AD40BCF","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":"Q3094181$3E058EB2-0778-4FB3-BFB2-EE36FE70DF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9288bf9e5d4edf35ccf3b3881a1dda64b056728a","datavalue":{"value":{"entity-type":"item","numeric-id":4384146,"id":"Q4384146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094181$05B31BF4-3D10-4154-A284-8455093325B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094181$89655DEF-02FB-4C86-AD29-01E3544038EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be631185bda3d868c82d12b7fc951abfb57df4f6","datavalue":{"value":{"entity-type":"item","numeric-id":5477624,"id":"Q5477624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094181$81B4A43C-7BD8-477B-A130-81A42020DED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350ef9fe375473cd4e9d8eebad8754055372f7e7","datavalue":{"value":{"entity-type":"item","numeric-id":3809795,"id":"Q3809795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094181$B7EB81A0-F7D6-45C3-92B6-3F4A60FFA662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c6dee845aa2fb3e3b96fd0f5f996675d409056","datavalue":{"value":{"entity-type":"item","numeric-id":3183538,"id":"Q3183538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094181$2332DD85-EC84-4368-B9A3-98DDF8678B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094181$54D101F4-FB7E-4A95-AC85-17A77A4DDFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e46b2220dac6fabc197fa8b2340ffd4acfb8f4f","datavalue":{"value":{"entity-type":"item","numeric-id":5387890,"id":"Q5387890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094181$1F2C736E-5D8D-41FD-9A50-057CFD6C4102","rank":"normal"},{"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":"Q3094181$0D44878F-3B62-480B-AEF1-6A3B13D29F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3247948db76f97fed8d70bdc01ad427c970bc38","datavalue":{"value":{"entity-type":"item","numeric-id":5951521,"id":"Q5951521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094181$8761A204-026E-481C-BC9D-D15E0DF58BDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13504a636e02f5345012d996fe833f56f8ba2e00","datavalue":{"value":"https://doi.org/10.1017/s0960129511000156","type":"string"},"datatype":"url"},"type":"statement","id":"Q3094181$82E60755-97A9-4A46-A552-5AE18A66B89A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf926de679329fb30c1f12bdf9224a2ece41f1a6","datavalue":{"value":"W2026761730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094181$5A4F0553-5A39-4E34-8E62-588EC007924E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb24a47f03b7d7974d34ca45b1bc9d03e66b1ce9","datavalue":{"value":{"entity-type":"item","numeric-id":3094180,"id":"Q3094180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32c5985da0a8ed767e5cbf3def09090614ae0557","datavalue":{"value":{"amount":"+0.7390401363372803","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":"Q3094181$126B96D9-E403-499C-9113-3D5030E13835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0c7def7fd5deb231bff8d8be464a0bc81aae1ad","datavalue":{"value":{"entity-type":"item","numeric-id":4012874,"id":"Q4012874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2954147b06c10b5ace588a7573e8c98b471f3ad","datavalue":{"value":{"amount":"+0.7229213118553162","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":"Q3094181$3140EEE3-2F64-4ED8-AF31-EEFF3EC83E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1ab5b4b8ee64bb40065351c58b8f75607601c8","datavalue":{"value":{"entity-type":"item","numeric-id":636367,"id":"Q636367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faadb27aea62d4a0ca51103f2f7f5cf952385bdc","datavalue":{"value":{"amount":"+0.6863051652908325","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":"Q3094181$C42F0C69-C6D3-4B67-A021-3F0EEA9F2B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f126dc4bfcbf3a0fa91becaa791d312bc1d152d3","datavalue":{"value":{"entity-type":"item","numeric-id":2946599,"id":"Q2946599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f872786604627fe80702abb7fcb16989b6fc06b","datavalue":{"value":{"amount":"+0.6773433685302734","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":"Q3094181$C3340BC0-E36B-4C17-B759-C8196A4FE1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4a52d9a5fcd5fdd13614de2b175a7c374f41fb","datavalue":{"value":{"entity-type":"item","numeric-id":1687726,"id":"Q1687726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8028eb1dfef9a0a451dfa8a17f4adc5b69bb5b33","datavalue":{"value":{"amount":"+0.6746339797973633","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":"Q3094181$82B55D77-82BC-47B8-A2D2-EE12A34A2EB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3094181","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3094181"}}}}}