{"entities":{"Q6541157":{"pageid":14152300,"ns":120,"title":"Item:Q6541157","lastrevid":57344709,"modified":"2026-03-30T14:10:04Z","type":"item","id":"Q6541157","labels":{"en":{"language":"en","value":"Extensions of \\textsf{K5}: proof theory and uniform Lyndon interpolation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7850749"}},"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":"Q6541157$49440CA1-2D86-463C-8E0D-B588CA2E1D9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"340289a1628143e4ddc0956e5cf62e1482fc16d6","datavalue":{"value":{"text":"Extensions of \\textsf{K5}: proof theory and uniform Lyndon interpolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6541157$40D0B85E-FB37-4D3D-803B-B7042C98E486","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37d824856128e03c1399c5bfea2fd2ba7e41a289","datavalue":{"value":"10.1007/978-3-031-43513-3_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541157$1D523EB1-D068-434E-A7D1-21BC897A7D49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b93cfdbf92300fb1842f9d6c37605aa42247d1a1","datavalue":{"value":{"entity-type":"item","numeric-id":1982007,"id":"Q1982007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$27D5CBBD-DCD6-4F67-AC33-47EF6B2FA914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c326b18eac0e41e07a51e3b2bf952d1e04d11c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2032996,"id":"Q2032996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$C87C6BDD-F2A9-408B-9098-00FFE49D5F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"196dbdb570f68291e9833b5fdffc455b470e5721","datavalue":{"value":{"entity-type":"item","numeric-id":392270,"id":"Q392270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$34F87CCA-9A8B-4A93-A9B3-17CB771B6130","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5058b142e80716c010ccd8a59c73f958f0c0be23","datavalue":{"value":{"time":"+2024-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6541157$FF44ED2C-A417-4D99-BA8E-43E135029441","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541157$D6E91954-F925-407D-BB4A-7EF2A462EB21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb40022afc7b93eea5d24239a1e11d19d1d951a2","datavalue":{"value":"7850749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541157$8EBB2F18-6F8C-4248-8A92-DD5ECB9AAA7D","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":"Q6541157$3F1AFD8E-D2EE-4459-AA01-1E950D82B6B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"602da2d7006b62a50b1414ed965e7110182f8469","datavalue":{"value":{"entity-type":"item","numeric-id":2148800,"id":"Q2148800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$0FDED406-7B85-4501-A320-9F8311D2295C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a06ffeb7039df24d9455c5a9320c0dbee61377","datavalue":{"value":{"entity-type":"item","numeric-id":5884937,"id":"Q5884937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$EEE90E0E-9AB4-4045-B419-B8C3BA84405C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$F4B7023F-8B6F-48BA-B2E1-FFFBD5F625AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d08e6067b59bb61a8cf9444d0c163829dae753","datavalue":{"value":{"entity-type":"item","numeric-id":878154,"id":"Q878154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$91697663-F09F-4B2C-8E34-CCB32EBA1DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$409197F6-8C06-43B6-B210-9610BF00EBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4182b5f6383fc33340dcc861083264d459bc405","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$9B58BC1D-6140-4074-AF8A-7877B29C8B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84cfa94eea956d33ac288ccb0c350492b183e589","datavalue":{"value":{"entity-type":"item","numeric-id":487689,"id":"Q487689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$ED840CA1-3833-4A61-8DA8-158910D0BB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b7e0536b29168e39de471af102be2b186faa1e1","datavalue":{"value":{"entity-type":"item","numeric-id":1346245,"id":"Q1346245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$005200F2-97C0-4EE5-8942-4A1170CAF822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee824d2e0910e556fcc580e2b02e6de025931f8","datavalue":{"value":{"entity-type":"item","numeric-id":1902553,"id":"Q1902553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$B9C142C8-E4CE-4322-B906-E83B4D7DECE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfe5005511c31150605509c5edb5afccfcf82e17","datavalue":{"value":{"entity-type":"item","numeric-id":2148805,"id":"Q2148805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$B92A57D7-F047-49BF-8BD4-211E9D7C8AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e16a423e563e95a4bc0e8877a6e07157d2b960a","datavalue":{"value":{"entity-type":"item","numeric-id":5427258,"id":"Q5427258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$CE42A2A2-63DF-44F6-B582-2761E88B76B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73c23f143e374a6b10f9e74124e08c026bf67303","datavalue":{"value":{"entity-type":"item","numeric-id":2326416,"id":"Q2326416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$572940B1-2E59-4658-912C-6F972D6CEB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713bbd38368036ca62b116bfb9812775b56dfbf3","datavalue":{"value":{"entity-type":"item","numeric-id":781510,"id":"Q781510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$B7F349A3-8AAF-4F33-AC94-60A0D157DECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd71951ec92d871bff17d560e1d2ca4c9fd0bd61","datavalue":{"value":{"entity-type":"item","numeric-id":5221855,"id":"Q5221855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$56239B4F-F366-45F9-B131-F82F785929F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6571429adf4eeaa76cf774ef46f34e7d1d3a1c3f","datavalue":{"value":{"entity-type":"item","numeric-id":2835880,"id":"Q2835880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$60C3C7B7-552E-49B2-8D81-C3AE08DAF053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1ca0bcdb44c51fd161ba877546e919f1c8d2c22","datavalue":{"value":{"entity-type":"item","numeric-id":1799040,"id":"Q1799040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$06390D9B-AF47-4D8C-BCA9-7FDA776B1D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94e70245a6e5477dbdd92b10ce48e49b70b66c6","datavalue":{"value":{"entity-type":"item","numeric-id":4644546,"id":"Q4644546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$C26BE7CA-33DE-4C17-B428-35BFC0E25B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ba6775b3ef12a4cab0433edeae3f5917a10108","datavalue":{"value":{"entity-type":"item","numeric-id":5224582,"id":"Q5224582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$1612F044-BFF7-4CD9-89FE-640B4A7ABBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"059f2d2c6de265322404533a9bba3d3ba0cd6f65","datavalue":{"value":{"entity-type":"item","numeric-id":3382808,"id":"Q3382808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$F925F682-3454-41D5-950C-37B217353611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c666e3fcf0629d0f49377167cb83d1390f2a022f","datavalue":{"value":{"entity-type":"item","numeric-id":2543317,"id":"Q2543317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$A83B3845-2859-4BAC-8DFC-A6229E84A33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4265f7d9bf08322ca753ba60b0421a7fd79af8e","datavalue":{"value":{"entity-type":"item","numeric-id":3927209,"id":"Q3927209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$EE370528-97F5-4C43-8C78-C30FDA6D7044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc609a3fa4e4dfcdb73d9d6f8570a5dc1eb983f7","datavalue":{"value":{"entity-type":"item","numeric-id":3712313,"id":"Q3712313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$6B7216B1-14CB-4D6D-9B17-E42F5E98FFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48872d9a40e3846084a753186aa6670636c54c17","datavalue":{"value":{"entity-type":"item","numeric-id":2186691,"id":"Q2186691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$957C1F50-9EFD-437C-B276-8691D0F7E2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$56072CB2-982C-4D97-8C52-AE85409B00E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b2fb5e74b72a9a204e563622b55fb87a335a4b","datavalue":{"value":{"entity-type":"item","numeric-id":4694581,"id":"Q4694581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$973208C4-FC26-4139-9577-FCD585CCED68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bda7bf2b683d32fb9bd0a60fb1ebf165437c69","datavalue":{"value":{"entity-type":"item","numeric-id":3832540,"id":"Q3832540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$90A0309E-5EEC-45B0-9CE5-0C1B8540734F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"089558e1caef7b0b9211a161d712e4aaafa26225","datavalue":{"value":{"entity-type":"item","numeric-id":4443189,"id":"Q4443189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$40B4FB02-513F-42AB-9429-008E3481D4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08130677d950f0e9764f0a4bfbc64de21effa2bc","datavalue":{"value":{"entity-type":"item","numeric-id":4893140,"id":"Q4893140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541157$B1A2AF8D-3D72-416A-9407-3DFDD03BD983","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":"Q6541157$53BEA060-6C0D-45FA-B6C7-631EBCFE22DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6541157","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6541157"}}}}}