{"entities":{"Q6130525":{"pageid":13264832,"ns":120,"title":"Item:Q6130525","lastrevid":55621222,"modified":"2026-02-17T19:53:17Z","type":"item","id":"Q6130525","labels":{"en":{"language":"en","value":"Strange new universes: Proof assistants and synthetic foundations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7826995"}},"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":"Q6130525$E52E689D-161E-4F82-A6FE-32621D4B8500","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1237593784e5ec3f256c6d274278972c2c37347","datavalue":{"value":{"text":"Strange new universes: Proof assistants and synthetic foundations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6130525$765960C1-E2B8-4D7D-A758-B01A72E060A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aec988e4b31ab0b3fd008867fb1fbedfd6f4bff","datavalue":{"value":{"entity-type":"item","numeric-id":246332,"id":"Q246332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130525$8CFC4B02-3DCF-4CC4-AEC0-A73BEB214BC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ed2e50fab8aad72cbb7a906da42ba85b1de079d","datavalue":{"value":{"entity-type":"item","numeric-id":559421,"id":"Q559421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130525$4231CC2C-7E6E-4327-9E28-4DCADA5902AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"375721bd68bc74e399be92ce6fc048f85d4426e2","datavalue":{"value":{"time":"+2024-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6130525$0AF22675-A8E2-410B-9EF4-EC21AED44D88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6130525$4D849CB8-D017-44BF-8B42-38336F98A6F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6939a8a929d748111e577a13cc5c788de5ad313","datavalue":{"value":"7826995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6130525$B0442F0D-B382-46E8-8560-F21CFDB2B481","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":"Q6130525$B7ED3B6D-AAA1-42EE-95D1-2087492C6C27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed36dafbd8784d3acae7597d7cd0a59348ea912c","datavalue":{"value":"https://doi.org/10.1090/bull/1830","type":"string"},"datatype":"url"},"type":"statement","id":"Q6130525$4BAFB7C2-951E-4D37-950A-C0E2D7F99D1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f8a37f281712f7d44fd5224b69fa24eb08e8dc3","datavalue":{"value":"W4391839087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6130525$B8D5A9CB-CE15-43F1-893A-8D0C25865C30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13bba4ece6097d0dc82c5e89d10c9e714484622","datavalue":{"value":{"entity-type":"item","numeric-id":4635917,"id":"Q4635917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130525$F1B6A06E-A7D7-42EA-A591-CE0532C80BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f374c3a9df885955800072a491b8546edfbfc8c","datavalue":{"value":{"entity-type":"item","numeric-id":5072609,"id":"Q5072609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130525$50C88CF7-C648-4604-B302-7A79B8AF7870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e622fcb1779edff63dfc667212e670505009e914","datavalue":{"value":{"entity-type":"item","numeric-id":5155672,"id":"Q5155672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130525$13CCEF0E-44A8-4C89-ACE4-118BFEA08A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130525$63C51A7B-F59A-4BE1-973C-057B026B58D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4857d0d243b746647a153e1690cd4acc84f69e","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130525$DEDF6917-C2A3-4531-8D3A-D522705DE423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a929ba3a3ad2ac94896c6474d644a301f4db300","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130525$27133B02-C4CD-41C0-A355-3B8653DC5AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea8891ad84a2aec608000845a42a128dbfb37a0","datavalue":{"value":{"entity-type":"item","numeric-id":4679166,"id":"Q4679166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130525$96D96CA5-EBD2-4BEC-8FC8-29AD2597F371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53458ea6fb8226f45286b66b34cfd0506d1878ea","datavalue":{"value":{"entity-type":"item","numeric-id":5271059,"id":"Q5271059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130525$3BC08451-874A-4C74-9422-81E6DF2622F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130525$F4EE208C-3566-4EF3-BF7A-0FF7C71A0F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130525$E6A5FB9C-FD14-4241-BB28-5CC61E3E7FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130525$FBFED99C-6E04-44A8-9C28-CF4856228447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7763e07b928c816d2f8477347e9b9223645d555","datavalue":{"value":{"entity-type":"item","numeric-id":2974780,"id":"Q2974780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130525$5A9EDC05-24FD-4DBC-8568-7A6AAABD91BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65f0b9793d4d69696724fba6626456d2e0d7a8a","datavalue":{"value":{"entity-type":"item","numeric-id":4640312,"id":"Q4640312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130525$C525E4C8-5D73-419F-9B35-FD80FB865F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130525$3D4B1BED-6209-44BE-A076-C52C0D6A9C9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2431eac507a1be45735f424a3862c22cf96bd07","datavalue":{"value":"10.1090/BULL/1830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6130525$0537D542-CEAE-4C90-B70E-3417023E2C8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd7a5f19095e3bbcfd9211f4987fd3ec0ada035f","datavalue":{"value":{"entity-type":"item","numeric-id":6622601,"id":"Q6622601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84eea4278b7b588c8fac8f92742a8b582d4e8a07","datavalue":{"value":{"amount":"+0.7326758503913879","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":"Q6130525$1A3C9599-FBA3-4B75-BC92-9208FC55358E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ccdd74add5134c21b331e04c5a79cce5b62f75","datavalue":{"value":{"entity-type":"item","numeric-id":6443380,"id":"Q6443380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a35061cccaa49b7c458cef1cfcc39978fbbcb1","datavalue":{"value":{"amount":"+0.7084521055221558","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":"Q6130525$2A40BE65-29A3-4CC7-9560-05E38366A53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6deab48a829469615ff6d79ee711104d9df0fd79","datavalue":{"value":{"entity-type":"item","numeric-id":6130523,"id":"Q6130523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ab576c103f2d73c3c5026660df31a2df602be3","datavalue":{"value":{"amount":"+0.7026095986366272","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":"Q6130525$D5DDD3B4-48AD-4B29-9E7A-7E6E39BAB6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"989e6359d01b729a817a01bd072d33e3bc5f9b95","datavalue":{"value":{"entity-type":"item","numeric-id":6536119,"id":"Q6536119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f4d5f18b509dd73b4261a0deffd7ce91c0d8168","datavalue":{"value":{"amount":"+0.6937959790229797","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":"Q6130525$16591303-DC1A-4567-8CFF-F1CEA09C5518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6ba7746db3411117fef3a34be889dfb4c4e69a","datavalue":{"value":{"entity-type":"item","numeric-id":5448310,"id":"Q5448310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14983e8255ab438c57c57aaa202479686b94f814","datavalue":{"value":{"amount":"+0.6929576992988586","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":"Q6130525$CBB8E422-B28A-4405-BFC0-0C32AE05D0C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6130525","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6130525"}}}}}