{"entities":{"Q3778024":{"pageid":5807930,"ns":120,"title":"Item:Q3778024","lastrevid":52271318,"modified":"2026-01-21T08:04:04Z","type":"item","id":"Q3778024","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4037868"}},"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":"Q3778024$C736327E-6770-49B9-AC66-C1571BF60077","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a68a7509b9fe545f6588e97a89ff48fd11189473","datavalue":{"value":"0637.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778024$376B5544-885E-4534-AA0A-73DCE2CDFE84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49714895d01a2479f2c191715236e7e8f67283a2","datavalue":{"value":{"entity-type":"item","numeric-id":1337598,"id":"Q1337598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3778024$FD10C112-BEB5-4F7E-952A-E8B151B1B309","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3778024$CFBB3AD7-05FD-42F1-8137-BA95203BCA53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778024$CE30F632-C85B-4773-A0DD-75166C9DECEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778024$BBB83A57-CE74-47B0-9FBE-80C087AA29A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca9b52f6ad85591b0a47cbf1e97f73fae9a1dac0","datavalue":{"value":"4037868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778024$7E10F1E7-3FF5-42F9-A20C-2C6C73394ABC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ae94c07cfb807968a09f81c41709366559e315","datavalue":{"value":"BCK-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778024$24581BCD-2FB1-4109-8E06-E7DF701FD8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63cdefca9b87f2bae4f497a925042c5c40ab96f9","datavalue":{"value":"operation (S)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778024$D8185015-3188-4ADE-9F0E-E76BB34188D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a3e03dfcecf2dccd6737045dff4aa301139e0e7","datavalue":{"value":"Gentzen sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778024$38377A43-6DC5-495E-AA25-F364F4916B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456b1753c1efd72a51ffc72cbed1fa2268e97e1d","datavalue":{"value":"weak cancellation law","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778024$F920674D-076B-46F8-B9B3-069A208D185B","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":"Q3778024$718F4FAC-1D92-4D2D-9A86-3BDB69A64AC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bffccd36d3a8437e648b0c5431b41bd189212af4","datavalue":{"value":{"entity-type":"item","numeric-id":3340858,"id":"Q3340858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83596da9094e28e7cf64270bc20d2bb6970340ec","datavalue":{"value":{"amount":"+0.8302993774414062","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":"Q3778024$6134255D-C0EB-49A3-A32A-821C76880CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90f3237c9ea80e7f6f11ac919baceebd250693d","datavalue":{"value":{"entity-type":"item","numeric-id":3313860,"id":"Q3313860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573a9c40b73c6529d1f4bb6354e742cfc55ff7c4","datavalue":{"value":{"amount":"+0.7558470964431763","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":"Q3778024$87ED10DF-C56C-491C-82AC-A37CF7993743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8647c082f540aca72b1e69417907d24278c7df17","datavalue":{"value":{"entity-type":"item","numeric-id":4521152,"id":"Q4521152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8477afa614a93efadf47ce32658e826fb9b3f04","datavalue":{"value":{"amount":"+0.7506434917449951","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":"Q3778024$A6CD9BAA-F184-467A-A5A1-9BB2F3D29B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4f13973ecf2f36f189b3d33b774014dd2c1963a","datavalue":{"value":{"entity-type":"item","numeric-id":2911147,"id":"Q2911147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e64f3f90f06624e027889ab6d2d1bf5890922c4b","datavalue":{"value":{"amount":"+0.7460712790489197","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":"Q3778024$37BC5194-A140-4747-9302-7808C769C58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b45e6b3d0fd575bb8afc1e1290fb8cf9f558929","datavalue":{"value":{"entity-type":"item","numeric-id":3346314,"id":"Q3346314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb288992048d09d4eb86fbdeb61272c574e462a","datavalue":{"value":{"amount":"+0.7367231249809265","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":"Q3778024$2FE5DB7F-309D-4BE7-905A-CB97F666BA00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3778024","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3778024"}}}}}