{"entities":{"Q2219386":{"pageid":2230129,"ns":120,"title":"Item:Q2219386","lastrevid":57782022,"modified":"2026-04-02T12:27:28Z","type":"item","id":"Q2219386","labels":{"en":{"language":"en","value":"A survey of languages for formalizing mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298561"}},"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":"Q2219386$3824E222-CC73-4405-BC06-70EC89F1BC99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2e5b0a74cab7767e3f6e0d1dc16f0a12828f8fa","datavalue":{"value":{"text":"A survey of languages for formalizing mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2219386$34F95F8B-F1E1-4096-9861-FB1193CAFC16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3729b4c2af24d122a28809a68478852c60328d57","datavalue":{"value":"1455.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219386$95D08106-9ADF-4B56-8139-DC5A39CCF917","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b2d7ef80e8da29b939e5127803734e66a71f9a7","datavalue":{"value":"10.1007/978-3-030-53518-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219386$7DEAFEBF-3923-4CF6-98E4-28D57C309A8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219386$3E1C518D-4371-4C13-9F83-AEFB93309ACC","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":"Q2219386$A4C5AA46-2976-4E57-BD32-8D7D4A0EE52E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2219386$9B14C4A4-3EC4-4666-9CA6-BBAD63905CB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d9bee42fcc6f0bb79bb4102c7cd085949c028a0","datavalue":{"value":"https://arxiv.org/abs/2005.12876","type":"string"},"datatype":"url"},"type":"statement","id":"Q2219386$7AA8CEB8-09EC-4FB3-A14B-6C17A3114276","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219386$9AAB2308-F90D-4E9D-820A-7783896BD91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c276f6bcfe480cdd0a7a976933d6fd851c1b746","datavalue":{"value":"68V30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219386$987241B6-8C8A-4172-8464-230DA9E30B7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ca19b3cb6bafa1fa82b62b522649034a4672a42","datavalue":{"value":"7298561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219386$EEFAAB9A-713A-481A-8DB6-89B1FFCB6977","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":"Q2219386$71ECA741-D735-4C83-A1CA-E9593C2E3AC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38b51cbcd3b846343c1aad740ffc25d637c582ac","datavalue":{"value":"W3044269446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219386$00CC5A39-7332-451A-9EE3-2C629611948E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c9296e585c3ad0c2135fd086a82d20dea1741f58","datavalue":{"value":"Q108482101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219386$6CE61596-481E-42BB-AF0F-E02FFF716824","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313839f7c433a12547544690ae995257672d868c","datavalue":{"value":{"entity-type":"item","numeric-id":4668908,"id":"Q4668908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37862c5d3b434230f26ddc4c2e71a2bf3afbc57f","datavalue":{"value":{"amount":"+0.89941984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219386$4F8C28E3-45D8-431A-AB4C-D414E9F9B933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3434d02a55e267a9d852f2b7890dae77cb192808","datavalue":{"value":{"entity-type":"item","numeric-id":3347334,"id":"Q3347334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaed9baf12fcb983e76c21c8b29a967c3b716017","datavalue":{"value":{"amount":"+0.888119","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219386$3D3F956F-F748-45D4-91B7-E262D127BF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe01ca48c5abcc2d5edf8ba3d5807f73588798b","datavalue":{"value":{"entity-type":"item","numeric-id":5401642,"id":"Q5401642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79d99cf5fc22d114fef7b4d7eb94eeeb664bce1f","datavalue":{"value":{"amount":"+0.88067436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219386$3EAA75AC-2930-4BF3-BBDF-00F4FE8F03C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a0516b83857d5a31dab7e6b9a69ef9c6093e12","datavalue":{"value":{"entity-type":"item","numeric-id":1876109,"id":"Q1876109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f31f2d3608a6052748b7f7a75aa6fc062e4d67","datavalue":{"value":{"amount":"+0.87803197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219386$02A352E3-C0F4-43C0-BEDC-071C2B9ED850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"499c96a1fdd11993890f1774781c3fc9c27fe180","datavalue":{"value":{"entity-type":"item","numeric-id":5096574,"id":"Q5096574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f7320026e183f1039bed348bf77a1c6c8489da","datavalue":{"value":{"amount":"+0.8757641","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219386$71953BB1-4806-48B8-8CF9-18744A8076B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"911428b5235ec693d8f4ec6ebbbe9b1807421baf","datavalue":{"value":{"entity-type":"item","numeric-id":5166599,"id":"Q5166599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac49f916c60d0a28faa0481c75e1456b06c9e4e","datavalue":{"value":{"amount":"+0.8753376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219386$AC67F2BD-EA91-46D9-9404-5A1648EA2671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed877c84ddb294c4b61ae1a1a2b7ff08a9e91bb","datavalue":{"value":{"entity-type":"item","numeric-id":882845,"id":"Q882845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a582b8891557d134cb8871f65b4b4f46f8ec5af","datavalue":{"value":{"amount":"+0.8745028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219386$90975960-B28F-4B96-917D-4CF2DBA37014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6f2681d126d1edb3e5c99864e9444cd85b7832","datavalue":{"value":{"entity-type":"item","numeric-id":4524327,"id":"Q4524327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac78abbd4cc3b1d5eca2827a0144496808775c9","datavalue":{"value":{"amount":"+0.87211865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219386$B2325591-6A46-43C5-BF46-EFC9A01EA837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"774694570fd449aed614ebae1c1a9af26bbfcd5f","datavalue":{"value":{"entity-type":"item","numeric-id":2907320,"id":"Q2907320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01253d2a4aba29dd88579386eb46b5b892e8f02e","datavalue":{"value":{"amount":"+0.87190324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219386$089DCFB9-CD97-4EE4-B57B-468C1572D5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a673b4313553f7e4d5d51e1b037adcf5b720fca7","datavalue":{"value":{"entity-type":"item","numeric-id":4877441,"id":"Q4877441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a68f3953ff66a4ced8c15f6f96abd471b4c9112","datavalue":{"value":{"amount":"+0.86805636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219386$657089A2-0BF7-4122-9CAB-4CCEF934EBA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2219386","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2219386"}}}}}