{"entities":{"Q5210817":{"pageid":7240388,"ns":120,"title":"Item:Q5210817","lastrevid":53639453,"modified":"2026-01-25T11:42:33Z","type":"item","id":"Q5210817","labels":{"en":{"language":"en","value":"\\textit{Mollusc}: a general proof-development shell for sequent-based logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154602"}},"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":"Q5210817$5C08B86D-0624-4611-B08F-832EAE49D761","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82b81b97a9b487efee557c1a1bca2e8c0071e4c5","datavalue":{"value":{"text":"Mollusc a general proof-development shell for sequent-based logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210817$735E8F70-223C-4C86-B9B8-0F7C5D33302C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfacd776a581acc555460fe368af79f33a7e3e85","datavalue":{"value":"1433.68564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210817$21030144-3DB7-475A-BDC6-7D907C19CFCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36d542ec2f549483966c46267442ceb75a498191","datavalue":{"value":"10.1007/3-540-58156-1_69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210817$8548FF49-4F8D-41BC-97FE-8817CE59729C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ed8ee32a3e63375ed3df358969cdd72936c5a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5210816,"id":"Q5210816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210817$D47E52BB-FA5D-4F75-9D13-8451D209D23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60ed1c3e03f46e4261c16e1405699dd291531541","datavalue":{"value":{"entity-type":"item","numeric-id":1915135,"id":"Q1915135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210817$375BB7B4-E7E3-4E83-AA53-13A386BDE9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6df844f896d888573d76c54cedfde12049f28d2a","datavalue":{"value":{"entity-type":"item","numeric-id":540693,"id":"Q540693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210817$E65CD13B-E404-47FA-BF77-8F3BC504ABDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21e9dd3aaaadcb4ff46bb96e248995cedd3acdbb","datavalue":{"value":{"entity-type":"item","numeric-id":867493,"id":"Q867493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210817$289FD9F7-CC9D-43D1-987C-5D78BAA1A89D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210817$21C560E9-2A06-4AB7-A221-87F2E79F55AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-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":"Q5210817$148C5890-E0F7-4AD8-B664-6FDF927BDC3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210817$24FB3D07-5477-47B7-A48A-AECF7D183BF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e549785a6b12105218a95e6124dc2dfc1ab1557","datavalue":{"value":"7154602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210817$E55D659A-CC98-4FDB-B6B2-6728E4DC94ED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f10e7acb77aa2a053602f0044c4781346f0cbb55","datavalue":{"value":{"entity-type":"item","numeric-id":31444,"id":"Q31444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210817$63871BAC-5ADF-4ABF-A193-DF1055CD7D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a49c6eab3f20625da110b159712fcc58d765d3c6","datavalue":{"value":{"entity-type":"item","numeric-id":31454,"id":"Q31454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210817$C3478D37-5B81-4BB2-ABEE-51FF13A3962F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210817$6F2262E7-4964-4672-9740-21A2CC1D6F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"921d32d8d1ca69010a301aa5e803db4becd58b85","datavalue":{"value":{"entity-type":"item","numeric-id":44335,"id":"Q44335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210817$6DC49FDD-3B20-4DE1-A1E4-3BC85E3257D4","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":"Q5210817$1D9EF8DB-9FF2-4BBF-A782-91C91939014F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8bbfb85b1599c6cc1d7d8e066c6a942b180c812","datavalue":{"value":"https://doi.org/10.1007/3-540-58156-1_69","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210817$9437A374-8544-47D8-9E45-77E7017B9197","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"002e8331e258d056fcfb6d1da45881a4ddf8aa5f","datavalue":{"value":"W1604313107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210817$7F82ACA6-FDD1-4E49-BFA2-15C3C57FFB30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210817$A8852BAD-124B-4B01-9E52-082C81BD9168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210817$C53B0180-75B0-4138-8CA0-D159EA3AFB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ee172cf1bbc62eabf7dd1b43feaebcac6a2fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3886868,"id":"Q3886868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210817$68FF7F45-7C12-4A64-B261-C34FABA94E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210817$86FA2920-DEF0-4A8A-BA69-621C3668A4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb40eaffa350ac2f00c7522e92d2e0a632635b28","datavalue":{"value":{"entity-type":"item","numeric-id":6488570,"id":"Q6488570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210817$F8B9EF8B-6117-44BF-9750-548D34D5E897","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66339c795d505f780406e18e20e0f95f8bd017d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"900b0ec5a96f0cfc02a383e25b638af631548507","datavalue":{"value":{"amount":"+0.7135968804359436","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":"Q5210817$840A0D82-7082-49DC-B4FA-82620636A293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14482c3294a99d3df4fab315dd66cc4ebcc095d","datavalue":{"value":{"entity-type":"item","numeric-id":6488526,"id":"Q6488526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72600e59942e445fd045ce7fc85b5d40280969fe","datavalue":{"value":{"amount":"+0.713503360748291","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":"Q5210817$B7452F6C-1C4B-456F-8297-E179BEAF4BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5b9cb0856d127c2a916c295ebc1e9c91730609","datavalue":{"value":{"entity-type":"item","numeric-id":3804241,"id":"Q3804241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a793d9aef36bce906c345b01aea7ba45f98c58a","datavalue":{"value":{"amount":"+0.7119510173797607","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":"Q5210817$3C3BCD20-C9AD-4E67-82C0-B8547D7A4AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c53ff24d99dc5823b47104c19e4145b1541675","datavalue":{"value":{"entity-type":"item","numeric-id":688727,"id":"Q688727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f32e9dd2982efdc2972ebaf6a136f57b8d0533f","datavalue":{"value":{"amount":"+0.6639146208763123","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":"Q5210817$FEAFA417-67E6-4C5F-88D2-87D495560C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7c8ec3a59ef97be96d96d0177ee5b1e08031ba","datavalue":{"value":{"entity-type":"item","numeric-id":1341710,"id":"Q1341710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dc13e7fa91606e83dd7eb95f5e1c32f49fb5cd4","datavalue":{"value":{"amount":"+0.6634072065353394","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":"Q5210817$900BC027-6489-4602-B90F-AD00A74B3BAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210817","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5210817"}}}}}