{"entities":{"Q6512110":{"pageid":14091069,"ns":120,"title":"Item:Q6512110","lastrevid":40022323,"modified":"2025-02-11T12:43:32Z","type":"item","id":"Q6512110","labels":{"en":{"language":"en","value":"Extensions of K5: Proof Theory and Uniform Lyndon Interpolation"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6512110$FE01CC71-B397-435D-811E-BD259C45E512","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1541a4e17e70050f49d513a412e2568bd791692","datavalue":{"value":{"text":"Extensions of K5: Proof Theory and Uniform Lyndon Interpolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6512110$22C0DDBF-FC3A-4B5D-82C8-5F3273785034","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":"Q6512110$B8232D24-178A-4F33-8564-50103D9ECFB4","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":"Q6512110$E4BA9DC9-DA4B-44A2-87FB-CDC2A33A2420","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":"Q6512110$C2322C34-7784-4B5A-93C2-EE7C96AAE7B4","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":"Q6512110$EF7EAA25-B981-4BE0-9DF8-8C16B001B8C2","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":"Q6512110$5ECEE764-4D46-4E42-9C69-F9F8B7103BAD","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"9e88444108db5b63e98135ec81662afd1d1ae9a7","datavalue":{"value":"2307.11727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6512110$06815D92-EDEA-48F6-AA3E-9EA22BEF3D9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6512110","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6512110"}}}}}