{"entities":{"Q2104491":{"pageid":2115234,"ns":120,"title":"Item:Q2104491","lastrevid":56991648,"modified":"2026-03-25T13:39:38Z","type":"item","id":"Q2104491","labels":{"en":{"language":"en","value":"From the universality of mathematical truth to the interoperability of proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628178"}},"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":"Q2104491$B9130262-1BFC-4542-B2BC-2FACA698B873","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aee8f506099d0db4f7feab3513bcfb4e3acc1cc6","datavalue":{"value":{"text":"From the universality of mathematical truth to the interoperability of proof systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104491$6F53D1E6-9F91-43EE-9AFF-6C098CE229C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bc95f562b0dc686c0a5085dbc8585a4e5bc32d8","datavalue":{"value":"10.1007/978-3-031-10769-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104491$E5E58F1B-09E8-42C3-AA60-078FBF8BD1E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104491$52C4A9D2-B487-4057-BF4F-9F2040215728","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2104491$DD4A74FC-3C81-4DB2-94F8-D438F5DDDB36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104491$D2232C28-04C8-46E1-BB51-1A53F5D5B1A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"658e72aef93128d2382a5992c2490144151a5271","datavalue":{"value":"7628178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104491$A0162149-1422-4373-B23D-6887A302B4F7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104491$0B43C99B-67AA-44E4-ABE1-6F871F754487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104491$42E9285D-D0D4-4F19-821F-8945DEB2CB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ef50cc423c44138be22110bde4b56f83e61f992","datavalue":{"value":{"entity-type":"item","numeric-id":43953,"id":"Q43953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104491$770CC551-B5A4-46C2-B9AD-73D1D857A7D9","rank":"normal"},{"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":"Q2104491$E8E18890-A76B-4460-B936-CDAD22B3C585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104491$CD475B70-9C7C-40C2-B919-D3825F3F58A7","rank":"normal"},{"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":"Q2104491$DBD53313-03AF-4C74-9A63-CB3CC7E4B2D5","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":"Q2104491$73C26343-9AE7-4022-B089-5D9885BCD238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104491$8F485644-E418-4033-BA90-BAB6BEC2D956","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":"Q2104491$EC367C24-541B-4D8B-A7F9-5D032A2777CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34abc106dfaf3f09ac50d69397ece11f23469922","datavalue":{"value":"https://doi.org/10.1007/978-3-031-10769-6_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104491$316EBCCF-E7CB-4AFB-A493-98A302F0A534","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"945b30de747f38b7f06475ceda9d7368a0b22c7e","datavalue":{"value":"W4289104007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104491$70DA60F6-BEA3-4BB0-988C-042BEEE0AA7C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3f19634b415ce3c468072f394d5dd693518442","datavalue":{"value":{"entity-type":"item","numeric-id":6159937,"id":"Q6159937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104491$CA2BE1F8-E5A9-4448-A27F-850C01B2E823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b87924f23be2e9cf6d7b6faa675b811f5a3d7c","datavalue":{"value":{"entity-type":"item","numeric-id":3612625,"id":"Q3612625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104491$BCD11B54-ED3A-4222-AFB8-8D9F23E15E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f45e3f8d2b7c2ab31b3f72d52934bb9febeed5","datavalue":{"value":{"entity-type":"item","numeric-id":3119364,"id":"Q3119364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104491$38564400-E296-4353-B58F-B21D10B7BBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104491$87834BE3-7C74-4C24-A90B-DBEEE43B39E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e52f792aed007740441efa3e7b7b70e2d7b6c5c","datavalue":{"value":{"entity-type":"item","numeric-id":4650285,"id":"Q4650285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104491$6B335BDF-787A-481C-9383-AE5B8B7E7B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fba5e8ace22a05b3ebef9aa0392420cd4ad549","datavalue":{"value":{"entity-type":"item","numeric-id":685059,"id":"Q685059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104491$BD2F8888-F2E7-430A-A933-E990A051157D","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":"Q2104491$7E871ED7-3D9D-49A0-A887-F3FD131EB430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe1277d56e8d2667bf278946292a62e5a104a8b","datavalue":{"value":{"entity-type":"item","numeric-id":5271065,"id":"Q5271065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104491$9C2AF16A-23E8-43B6-8EF4-30B6004B1A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380a2f18f4b02ba06d230258197a946757b5301","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104491$58EEB329-78C5-4F21-B131-6D1E330B27B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104491$632A3A5D-4E85-4B36-AC54-5FE248A0F588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f478968c6bee19007ac0cdf882dafe2de2190d21","datavalue":{"value":{"entity-type":"item","numeric-id":3188657,"id":"Q3188657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104491$422A57D3-25FB-4A17-829C-AFEDD5F39497","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104491$88D99777-DE79-47C0-A8F2-557CF13F3E55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104491","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104491"}}}}}