{"entities":{"Q6560163":{"pageid":14171318,"ns":120,"title":"Item:Q6560163","lastrevid":55692403,"modified":"2026-02-17T21:07:00Z","type":"item","id":"Q6560163","labels":{"en":{"language":"en","value":"A proof system for finite trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7869519"}},"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":"Q6560163$3B2FA681-73C1-4BF8-9B51-288093FC888C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89a98b2e18edb52d90a9777f654a3bd66ebc8f1f","datavalue":{"value":{"text":"A proof system for finite trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560163$13B6FAD7-FF6A-4007-898D-CC6BB3204D14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"674f2a0df913fd6c21984af4a6606c52caa5432e","datavalue":{"value":"1540.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560163$78DC9533-FA3A-4EBD-8F0F-F400D7287DB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fba6d5a1c46ef94ecb7ef1dbc332f0328292eb38","datavalue":{"value":"10.1007/3-540-61377-3_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560163$BFDD05E3-065C-405D-9D6B-B1CF040432F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c046feff833ce0e6e8bb6d52d7ce260056affd","datavalue":{"value":{"entity-type":"item","numeric-id":209482,"id":"Q209482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560163$44D0C524-C477-4CDD-842F-C851DF1F4137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d037751cf789dd4facbc7be7ba5666e4a37ffd1","datavalue":{"value":{"entity-type":"item","numeric-id":2762875,"id":"Q2762875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560163$1824E93D-CA2E-4682-AEC5-04FAA17152DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f6a8e79876d53be79377b2bab6c14057cb3235","datavalue":{"value":{"entity-type":"item","numeric-id":676175,"id":"Q676175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560163$25BCF09C-2DB9-477D-BBFA-6F675AA37ED9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f537c6f80ef2272fb77fcdfce306448ca22994d","datavalue":{"value":{"time":"+2024-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560163$64006C1C-A69C-4EC9-8770-FE73658BD101","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560163$BECC553B-644C-433E-9DF2-4D676B66CFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560163$2F188A14-E3CF-4009-8009-9CA7DEE7FFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560163$E2D75875-1866-41F7-8D01-FB6A1B9E9C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560163$6D49AF2C-FC82-4C3A-8B22-41CEDAED208E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"603954761120bccbcde5c678116a225daa3e4142","datavalue":{"value":"7869519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560163$B6825CC1-09A6-4D86-B60A-71DA92E29C0D","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":"Q6560163$AA0155B7-47CD-4037-8673-94EF7B4D5267","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb428d447c7624f13a5378e7356a039f4ad0307","datavalue":{"value":{"entity-type":"item","numeric-id":1903080,"id":"Q1903080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560163$257ECC80-2E20-442C-8306-EC91DD5A84F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e869fe0e80823931cffe4dc4533c23f1d73a2f09","datavalue":{"value":{"entity-type":"item","numeric-id":4318160,"id":"Q4318160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560163$972D036E-E667-4F54-AB4A-8450C97F8ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560163$5CCA8E51-3AC8-4D30-888A-1F8066CBA856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560163$782FC792-250B-41FB-A09F-882F50C40D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d570659bbdd39689a0f1f75198c748317e7669","datavalue":{"value":{"entity-type":"item","numeric-id":1903081,"id":"Q1903081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560163$95915B6B-FECA-4524-99B2-5F08E2749312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560163$969A97E9-A2B5-4F4B-8ACD-37FCB3D5DE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560163$34937B85-4CC3-4432-8244-4DE7B9CFBECD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9916f89802e9e9c0e46bce54a93e8efdf0b8f84","datavalue":{"value":{"entity-type":"item","numeric-id":4318160,"id":"Q4318160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f07703d3e4c0f9ea295254871f96892443053d4","datavalue":{"value":{"amount":"+0.7851974964141846","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":"Q6560163$B6BBA95F-A972-4266-B1FC-BB2C2733E46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc35e2b9930762a999ee18667f2e75470fe3b4e0","datavalue":{"value":{"entity-type":"item","numeric-id":5278420,"id":"Q5278420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3155f51b28c4bca86f44657de0a733c396d8a3e6","datavalue":{"value":{"amount":"+0.7693353295326233","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":"Q6560163$F0DFFEF2-1CB3-4A4E-ACB5-B067B8E4FF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce12468ca3690b8986f2f1468077a8950b34116","datavalue":{"value":{"entity-type":"item","numeric-id":1903080,"id":"Q1903080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"843116a4f0ea04851957241d6b67a125cbd425a0","datavalue":{"value":{"amount":"+0.7630153894424438","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":"Q6560163$32402FF5-0BB4-471B-A7B2-B352753A61AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7443dd02829e911d0f4c1d4d823d30e1cd49590","datavalue":{"value":{"entity-type":"item","numeric-id":4394917,"id":"Q4394917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc7554799ee5536b04ce5e852eaaf67ca72bef07","datavalue":{"value":{"amount":"+0.7591637969017029","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":"Q6560163$CB64CB92-AB8A-4E06-AB2B-B3DFB48AC874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d39a5cbdbee23fd156fd1d350cbae5fa6a7956","datavalue":{"value":{"entity-type":"item","numeric-id":3557849,"id":"Q3557849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ef71151032bddf1fbc2f98f07dc36956eae4fb","datavalue":{"value":{"amount":"+0.7579627633094788","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":"Q6560163$38A4A1A4-ED42-4A91-8B84-A0D527757946","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560163","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560163"}}}}}