{"entities":{"Q5886456":{"pageid":7916007,"ns":120,"title":"Item:Q5886456","lastrevid":55442188,"modified":"2026-02-17T16:28:28Z","type":"item","id":"Q5886456","labels":{"en":{"language":"en","value":"Dialogues and Proofs; Yankov\u2019s Contribution to Proof Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7672615"}},"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":"Q5886456$4D3BF10E-1E6B-43A7-AA35-14A28A926DEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30975efabfa9519cf333577ddad002be24f74c3b","datavalue":{"value":{"text":"Dialogues and Proofs; Yankov\u2019s Contribution to Proof Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5886456$AB8AEA06-BED1-478C-98C5-E03464217CD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e60201b8b40b310307bd087292bfc7618607432d","datavalue":{"value":"10.1007/978-3-031-06843-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886456$18B4C6B4-735B-42B4-AC50-8063ED26D492","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$B4F5F18C-ADE5-4076-84A5-11DA7D87A44A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8013978382056da70e69b9d08eca59e7f3594a6e","datavalue":{"value":{"entity-type":"item","numeric-id":261506,"id":"Q261506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$B47A09D1-61F0-4E72-9342-F717E934E116","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23081f3ff1efacf6ecefe15d31667096d2415dfa","datavalue":{"value":{"time":"+2023-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5886456$B3CEC698-4AE3-4662-A76E-418C6946F0BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886456$80EAECCE-6F30-4101-9BC9-C0D574E3C631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886456$2D7D8F46-956D-4084-91D8-C7CFF400AA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886456$CD4562CD-8D25-4B67-80CE-A903D66A4BC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b10e37e2cc24f1e4a46a6d1524eeaf1447a1835","datavalue":{"value":"7672615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886456$E1BB805B-05C6-4067-A317-8C3888BA81A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886456$476B6B75-A6CE-45EC-8B13-6EE01D030782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b6c04fab80a2e948d27d78497645e4bf6a6abd0","datavalue":{"value":"dialogical interpretation of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886456$AB78F556-DF84-488A-9313-E64D06650F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23e90ddaa65f6143cd7da834aeb12339818a4abb","datavalue":{"value":"consistency proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886456$5CD7A02C-62A3-4F19-8077-6F4E1E1311F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886456$D1D68824-3C39-4313-99F2-177239D52BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886456$DA0AD2CF-6821-42C0-8447-F4238BD3E06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e794ff676dbb33d99c44e2174579ff38cb07c71","datavalue":{"value":"analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886456$17D6C9BC-3665-4297-A412-BB42FDA09845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886456$5322BB43-84C1-452D-BE2A-1D0484A186CA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$826AC962-3E55-48EC-8BBD-83301505AB68","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":"Q5886456$5338FA6F-3629-4FC5-8279-A2DC2CBC53F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0635e9e820efcb911ec78035cefc7e73bd30d189","datavalue":{"value":"https://doi.org/10.1007/978-3-031-06843-0_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5886456$B9B2EAB8-0E1F-4F17-8A5E-EC234C5D2AB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3142c73e219834250e45b0b05cb22c8eb6bf1c2b","datavalue":{"value":"W4312954372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886456$50B08606-4B42-493B-A87F-974A942D2AA2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"371d2399f50a6aebcc2fc70e10f9c3ee27554be0","datavalue":{"value":{"entity-type":"item","numeric-id":4836058,"id":"Q4836058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$8E280AA5-91C8-4D93-A1EE-8018282A6BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$FDE3CF8C-A535-4768-AD6A-7914141468B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28198614af480b9e51725473cd093916b37b84ed","datavalue":{"value":{"entity-type":"item","numeric-id":2645424,"id":"Q2645424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$B7141D1D-62FC-43BA-A796-24861388FEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97dc288c0e9f823be86d021de4ec9cff71dce18","datavalue":{"value":{"entity-type":"item","numeric-id":2647392,"id":"Q2647392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$52F1B60E-1FBE-424A-9A6B-B5AB4D1E5367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d7510aab77c7b5ee1e68e954e229c8b45db575","datavalue":{"value":{"entity-type":"item","numeric-id":3172800,"id":"Q3172800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$6B229752-866D-49B4-B953-998EEF9A4045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a568888be8b5be4fdbfd5a43fc3024e643387af5","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$06F338D1-D992-4EB6-81E3-AD5092BF48AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52cd1a25a23d6ee1d2d790b85193089c176c154","datavalue":{"value":{"entity-type":"item","numeric-id":1840387,"id":"Q1840387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$A2926D32-E4AA-4EDD-B81C-5ADFD8588A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c376af624bcb2d3496d6c0f64f786c7cafb401","datavalue":{"value":{"entity-type":"item","numeric-id":5726697,"id":"Q5726697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$F9680786-0DDB-4A35-AFD7-A1AFECEB8410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b760bc857fc1b954a9a036dd395776358d97a3a","datavalue":{"value":{"entity-type":"item","numeric-id":5338312,"id":"Q5338312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$348831D4-67E3-4B9F-AB45-285194E6B698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$B47193EC-F5CD-4E10-AC36-CF1A84468131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c24c6b43dc3a0ab21d80235a273aab5779111ad","datavalue":{"value":{"entity-type":"item","numeric-id":3503742,"id":"Q3503742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$E276D0C3-3645-4294-8625-E45121E4F7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"942db4bfddc12df2ddb1123ba29dac9b74597e29","datavalue":{"value":{"entity-type":"item","numeric-id":5567835,"id":"Q5567835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$81602728-C2EB-487C-96AE-521C9D31EB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ad0c47765b638edffd4680bec5b8c2d42b0e6e","datavalue":{"value":{"entity-type":"item","numeric-id":5485398,"id":"Q5485398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$705CA87C-C1F4-45F4-8D69-C2D6A4E3E510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$EC6887A1-FAD9-4D0A-B98D-A382E21941B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$72ED0A3B-F720-4345-9CBD-73FB15A71E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$3FB4DBA2-CBF1-4C3F-8DA8-F66EB3238AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$D1FA128C-CE8B-4836-B761-A1412592DC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be85b3951fe2b4ee7f07bf10003c515b5749abc6","datavalue":{"value":{"entity-type":"item","numeric-id":5605873,"id":"Q5605873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$9BA1A499-2E02-4F59-9BC6-72B5D6917F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$795859F1-3878-4A50-ABA5-68A11A83D3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a76ca14884466d6844f37817d716abf88098be45","datavalue":{"value":{"entity-type":"item","numeric-id":4858291,"id":"Q4858291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886456$7EF43292-A3D1-4F4B-BFDF-7A19077E15C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9a87b92a0177681416fce570c363923c76a0e7","datavalue":{"value":{"entity-type":"item","numeric-id":2673441,"id":"Q2673441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0c905d271ec06df6f96f17c6bf9ece4013af5e","datavalue":{"value":{"amount":"+0.7633881568908691","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":"Q5886456$7EAFA15E-D88B-4E21-88BC-2301263F52A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c877b046386cc1b5cc15c051f7bce2facec5c532","datavalue":{"value":{"entity-type":"item","numeric-id":4858291,"id":"Q4858291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b9fd9e0d7422e473f503490ed6c89050b2666df","datavalue":{"value":{"amount":"+0.7537751793861389","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":"Q5886456$35583B71-0A0F-4D2E-AD52-12B7ECA15934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9714f8d757d066100e270d763be79737307c6d8","datavalue":{"value":{"entity-type":"item","numeric-id":5886455,"id":"Q5886455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"564c65c79d0dee967aae402b006a5fc71abacb85","datavalue":{"value":{"amount":"+0.752968430519104","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":"Q5886456$D0330ED2-61C1-426C-80AB-CC0267D86642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c4c008bcf859ce12d31c99c926c26fad19f2129","datavalue":{"value":{"entity-type":"item","numeric-id":5886461,"id":"Q5886461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332ae6d071e6fb4f9a5c8de25e8ab5fdf1b7db08","datavalue":{"value":{"amount":"+0.7294027805328369","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":"Q5886456$29E3032A-F574-4902-AFC6-136193CC608E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"622030b6da37e87ec58f98fcd2a9e6264265f05a","datavalue":{"value":{"entity-type":"item","numeric-id":3454815,"id":"Q3454815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"459bdd26b4a9051e920c9199570c9e3205d682c5","datavalue":{"value":{"amount":"+0.6936326026916504","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":"Q5886456$7B8C3F7B-AD77-4224-96AC-DEF89753393F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5886456","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5886456"}}}}}