{"entities":{"Q1799109":{"pageid":1809851,"ns":120,"title":"Item:Q1799109","lastrevid":53239766,"modified":"2026-01-24T12:59:50Z","type":"item","id":"Q1799109","labels":{"en":{"language":"en","value":"From syntactic proofs to combinatorial proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958118"}},"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":"Q1799109$475BBBB0-4B0D-4BDA-8025-71425ABAB43C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7389c6b9080e2d45912291e95e0a5314c45b76aa","datavalue":{"value":{"text":"From syntactic proofs to combinatorial proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799109$6DE3A5BB-ADB3-4EFE-A5A9-5737DB30041B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afdc268d91dc58f7046950f912446825b401d550","datavalue":{"value":"10.1007/978-3-319-94205-6_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799109$AF2CE4DD-98FA-4F67-8976-4AA3C3DB16D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c9aa2ff69ec2d2223381d8fb0695d35b8713b52","datavalue":{"value":{"entity-type":"item","numeric-id":1799108,"id":"Q1799108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799109$2DA8298B-5002-4135-B1DA-2C37CB54A83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799109$CD9A10EE-B646-4FBA-874D-1FD9168650F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799109$BD80EC5B-9CA3-4DD3-A86D-8FB29EF235BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48b107bcbb33bb583be430dd609131ae3e59d190","datavalue":{"value":"https://hal.inria.fr/hal-01942275/file/tableau-def.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799109$CA80F676-961B-411D-92E3-F8DB9AF88254","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799109$ABF25B2F-867B-4E1C-8F10-1B1A61C376EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799109$E1194584-F478-4D49-9F07-1980C43C0D9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00d08a6ca0baf069172a804ac7280df77a399da1","datavalue":{"value":"6958118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799109$102E0ABE-3DE3-42BB-917E-F5535C39E5A6","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":"Q1799109$0B3C9DFE-571F-4F65-97B9-7099D5337FB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9cf7e0f439c00f231ec6e29ab46bb5a21d23037","datavalue":{"value":"W2811365892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799109$EB55CCE3-3D7C-4FE7-BA4E-A5A4D8643B54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"196cd9a5b604a058c4152ddf6e66003ea009b727","datavalue":{"value":{"entity-type":"item","numeric-id":2469641,"id":"Q2469641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3780ff92d35e41531c5c8fea332178ef5719fe1c","datavalue":{"value":{"amount":"+0.7961911559104919","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":"Q1799109$0FEF678F-467B-49DE-A775-29F8803CF3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab583233c0a233034976f5033241d1fe9c8aaff","datavalue":{"value":{"entity-type":"item","numeric-id":2180519,"id":"Q2180519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c8de351cbdf476e6d6c0d03639fec72277a160f","datavalue":{"value":{"amount":"+0.7957459688186646","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":"Q1799109$D69FA715-C9CD-4B93-BF34-5514D085676B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918847201547e4f0b4229f68ef09921e8084932a","datavalue":{"value":{"entity-type":"item","numeric-id":5434518,"id":"Q5434518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c6483109011f111150cd43206ae4cc1eeb3aef5","datavalue":{"value":{"amount":"+0.7683023810386658","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":"Q1799109$31830AF7-B266-42C9-9FE0-C687D53A6F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96fad5c8bd01d319bab3ffeeed82ebccdbf6d6be","datavalue":{"value":{"entity-type":"item","numeric-id":964500,"id":"Q964500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f7aafb35e378cd9fd5ebb2cc8e3956df441a22","datavalue":{"value":{"amount":"+0.7670193910598755","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":"Q1799109$70B9E116-A0FF-436B-A243-72C4065F2061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85a28de9a49c627d5344d4fd033e884b70bacbf","datavalue":{"value":{"entity-type":"item","numeric-id":5111329,"id":"Q5111329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f45145e7501c5471d60a1db85e01b9fb9314d3","datavalue":{"value":{"amount":"+0.7646429538726807","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":"Q1799109$504C560F-71E1-49CF-9ACE-F526685519DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1799109","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1799109"}}}}}