{"entities":{"Q5261298":{"pageid":7290866,"ns":120,"title":"Item:Q5261298","lastrevid":41566729,"modified":"2025-05-05T22:51:21Z","type":"item","id":"Q5261298","labels":{"en":{"language":"en","value":"Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management*"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455147"}},"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":"Q5261298$7464F854-0969-49AE-948E-9631D50B2B0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9a93b38a4c14ce423f029ee859e64c1ab6f0178","datavalue":{"value":{"text":"Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management*","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5261298$D2C64637-86A8-4904-AA07-0D322D11BB24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e557c3b78da9d04cfbe9c2d7562919d07a551c37","datavalue":{"value":"1314.68303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261298$E5F592F5-86AF-4FD0-BC2C-74E2867F6F14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c26326166aed1e2bafd24b7a2313f13dc5fee2c2","datavalue":{"value":"10.1007/978-94-007-0714-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261298$EF5E95F9-3F80-4005-B376-DA9FA91CAF24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261298$A33E1496-A3EC-49D4-A52B-6F719BD744B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9fd72408ac193d5e2866ca72d5597cdb7a85a0e","datavalue":{"value":{"entity-type":"item","numeric-id":5261297,"id":"Q5261297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261298$3A8C8A0A-46AD-4F6E-B78D-5B5EADD9C3E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41befaeaba1d4b5eea68c69519cc655e57a52c6a","datavalue":{"value":{"entity-type":"item","numeric-id":5261289,"id":"Q5261289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261298$35BD8094-334A-4445-90D8-3BE043679C07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36939684543aa00214e950d282e803789dfc1071","datavalue":{"value":{"time":"+2015-07-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":"Q5261298$AA658D6D-12A0-41EA-B838-DF2D7B2E3944","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261298$0B5D473E-05F8-4AA0-96CC-81EC8C1F46B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261298$48AE6051-4401-48EC-AE0E-1EA139848713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261298$D8B0F50D-95E8-4C04-8B85-4D51D7B16271","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51e54a6a9cd47aa35c3fde64c216cb039cae1b94","datavalue":{"value":"6455147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261298$2642BE14-B87C-4E58-9D84-E2B6374C21DE","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":"Q5261298$9B4C29B8-1654-4A7C-8C20-9AA82DF1B4CE","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":"Q5261298$7E2C3733-0DA7-4E79-B9D5-BF807D944E66","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":"Q5261298$396EE1BF-3114-461A-9253-F203729CD973","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b019540e17d3cd1e24cb050a1eab4003aed30dc","datavalue":{"value":"https://doi.org/10.1007/978-94-007-0714-6_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5261298$520413D7-2E81-4D15-9653-DEFB99CD6FEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68c260b47044805915e622b343494268d4fe25aa","datavalue":{"value":"W2055314740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261298$52BACD77-2CD8-4927-B7B9-7A576B8A3EB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c1f82ccd4687c0844f759ffdbadca7793817d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3637281,"id":"Q3637281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e88a3d054141cc963da8e07838e325c15177ddd9","datavalue":{"value":{"amount":"+0.8622376","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":"Q5261298$B3469C5A-8334-45F3-8606-A5059316E9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"307c527ff9a633ff8423b5ee15fcb4c6f847fcfe","datavalue":{"value":{"entity-type":"item","numeric-id":5717445,"id":"Q5717445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71079e5d77f7f1f2cf1c524d736b155d225f0661","datavalue":{"value":{"amount":"+0.85279536","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":"Q5261298$09AFF327-BD95-4992-A3D0-6843843B3298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb35a476d6581538243ba462def62eff67f6479","datavalue":{"value":{"entity-type":"item","numeric-id":5313083,"id":"Q5313083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b07cd73e2572706b32902a6782673937f84ecb77","datavalue":{"value":{"amount":"+0.8517662","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":"Q5261298$171F0C57-B489-4AEC-BE99-A6F783C5B1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65709ce4df35d1b0d6bf16ccb0a670e2b833ee56","datavalue":{"value":{"entity-type":"item","numeric-id":4303124,"id":"Q4303124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a8a7893c3dcabeea31d7da2cd536c728215e172","datavalue":{"value":{"amount":"+0.8430251","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":"Q5261298$2218E9B1-C769-4B17-8FE5-812F4E0E5E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cd199b909313d5c432a847debe410e02ee8350d","datavalue":{"value":{"entity-type":"item","numeric-id":4413891,"id":"Q4413891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59a639c3ac19492e355033239469bb1eda55c59b","datavalue":{"value":{"amount":"+0.840522","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":"Q5261298$914B3DD1-034F-474D-BE89-170DB923C51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e4c66dc1bf3409842f62ac5ce51073433e2047","datavalue":{"value":{"entity-type":"item","numeric-id":5965553,"id":"Q5965553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287a5749fbdf4a79c99b8e1c4f4a951cdf7af16a","datavalue":{"value":{"amount":"+0.84004414","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":"Q5261298$56F746FF-940B-47A9-B43B-C0B1C7EF085A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00268f638801e46a30b139620d428ceefd6f97ef","datavalue":{"value":{"entity-type":"item","numeric-id":2767941,"id":"Q2767941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc0616d7faec168aa77783774794dc1934b23684","datavalue":{"value":{"amount":"+0.8370104","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":"Q5261298$E99AC199-EFAD-4505-8E0D-DC0DEEA69152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acb6b03a296fb04da6d1ef5383ebad1a71c07390","datavalue":{"value":{"entity-type":"item","numeric-id":2879093,"id":"Q2879093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c31253cf22a6f2af6ccc89a41f6806df11034611","datavalue":{"value":{"amount":"+0.83253056","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":"Q5261298$826DC652-A54C-45AC-BEB2-0D984D07C7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd5955eaf0d495f6ca27a3df34500a49f981aa2a","datavalue":{"value":{"entity-type":"item","numeric-id":2767936,"id":"Q2767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8614c9f649e4225782c9997c440df00f5bd7f7ca","datavalue":{"value":{"amount":"+0.83178854","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":"Q5261298$A9460795-0052-4B24-AD63-DDD41144C60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72eb21220bf2b6c42978980d1c12dfcf3015c48b","datavalue":{"value":{"entity-type":"item","numeric-id":3081768,"id":"Q3081768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3669507824b35e5e7c78c7fe6b9699c30cbd06f9","datavalue":{"value":{"amount":"+0.82979554","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":"Q5261298$B375EEE1-A913-4387-9C9E-867CD0C83ED2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5261298","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5261298"}}}}}