{"entities":{"Q4842966":{"pageid":6872546,"ns":120,"title":"Item:Q4842966","lastrevid":41815301,"modified":"2025-05-08T16:20:33Z","type":"item","id":"Q4842966","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 786485"}},"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":"Q4842966$3665828C-A700-4DBB-B021-18FAF0421085","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5c7fcf6745612d971e4b1e44435058e37dc782f","datavalue":{"value":"0828.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842966$D6916B6B-3313-46B4-A714-2202F81693FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6b929913024f5e29c5ce062084dc3d0e1a3509","datavalue":{"value":{"entity-type":"item","numeric-id":534693,"id":"Q534693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842966$39CBFE14-1833-4F2A-8D95-ED81E9C14F4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"771c3d65e511c1c23ff132299f8716909a176f01","datavalue":{"value":{"time":"+1995-12-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":"Q4842966$843ABE70-9CE8-4150-94B2-5157ADDC93A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842966$8F372DED-E974-493F-B118-0111B5F52DA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2c9a9b07465a9533a2fb618c9b902eacf96d6e1","datavalue":{"value":"786485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842966$4B9074C7-8AAE-4A8F-96C7-B1A127D9FC9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842966$ABB5DB4D-8A35-45A3-99DD-E5FF9D621CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842966$29C424B0-670F-45BB-AD2B-7AB2B1E34FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f34400ae4c5db7e1d24831e52681a4baafd23e","datavalue":{"value":"introduction to linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842966$65A85C86-59F1-4C0F-9B5C-207D4088C9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be64d1c7126d294a8610914be87414273f087937","datavalue":{"value":"connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842966$2A1BB706-86DF-47E1-9963-C7F8EE574EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842966$523B7026-8E87-41AB-9ECD-5891C150574B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e43919fff6f912cc60004f4e7a449c9bb09fcb2","datavalue":{"value":"linear sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842966$69E04FCD-CCF5-4184-A5E3-F656C26F3DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a432c78bd993e0b9579ff480d0133ff4f5f5ec69","datavalue":{"value":"proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842966$680127DB-37DE-4085-9D67-1E68B06DD344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842966$913FA154-1B32-4237-AC05-91343A5222C2","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":"Q4842966$735793E4-4AC0-4D15-B83D-4EE470E4D605","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c472eef98b51a7df1c7d986f114c747b2455ff1","datavalue":{"value":{"entity-type":"item","numeric-id":5890063,"id":"Q5890063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb56ce46047b5992bdd29c208bd9861bbe9e6a7","datavalue":{"value":{"amount":"+0.9681844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842966$F7782943-4D69-48E2-813D-5BA8282A7E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5a298f24996e765d38d2efeed8299436b97d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57a58834f5f5a48d7445cb1ea03bf65470dca753","datavalue":{"value":{"amount":"+0.9521428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842966$BC5BB04F-4511-4A54-B0ED-DF82585FC0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad74480f51f6a27fb78219e4b7a71f25ec115f4e","datavalue":{"value":{"entity-type":"item","numeric-id":4353717,"id":"Q4353717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dcb9c2acc391895b51b1ad1b7920104bc28103c","datavalue":{"value":{"amount":"+0.94000775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842966$CE624430-4800-4738-A99A-F36C52668473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9677ed473cfc5c8cf0f2c4565709266a7e1d552d","datavalue":{"value":{"entity-type":"item","numeric-id":3986870,"id":"Q3986870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f091179b16410817aa6a613dd11c9af9c76321cb","datavalue":{"value":{"amount":"+0.9372879","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842966$BDE20CCC-2912-4BDA-84BB-03FB9C233D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67c7d845ea924732a87d2f1d2a1d25c95a8028e","datavalue":{"value":{"entity-type":"item","numeric-id":1326780,"id":"Q1326780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee877f5018128849e63439ef2f7fba0fd8df2c58","datavalue":{"value":{"amount":"+0.9361318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842966$E67F0C75-2406-4D9B-A4F3-9B6DF6914953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8446e884f1512b34d63b11f1278044ba5e4379a","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"595f2ca909e553c50357014cb688f4285eef670f","datavalue":{"value":{"amount":"+0.93235755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842966$7EC806E1-75F1-4E81-A1CC-7B246BF9E82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7faf8974560c28ced35834baac82819c43239cfd","datavalue":{"value":{"entity-type":"item","numeric-id":4362881,"id":"Q4362881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"595f2ca909e553c50357014cb688f4285eef670f","datavalue":{"value":{"amount":"+0.93235755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842966$B24E275C-8F65-49A2-A1EB-72D10B5A61D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa9d686e5aaa7e4c9ec9fe1f604acee7b0c2fe4f","datavalue":{"value":{"entity-type":"item","numeric-id":4370235,"id":"Q4370235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906841861e695e322ca1cbf30c1180535f74026c","datavalue":{"value":{"amount":"+0.92892826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842966$3E50C68E-8C27-4D13-8D23-86582D6B3B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3faff65e3afa29d59a49d23a962be57fddb9d32a","datavalue":{"value":{"entity-type":"item","numeric-id":2201109,"id":"Q2201109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"602e16625e71af01bc1594a9c20f1338fadf0edf","datavalue":{"value":{"amount":"+0.9278324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842966$91AA4EB3-ACB5-44ED-9BEA-D9CE28DDB239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4b4e126c2d0ced1d7e3dcc88e4ffcc7396c754","datavalue":{"value":{"entity-type":"item","numeric-id":4244309,"id":"Q4244309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24188a054872b990888b672690e95215a1f58f3b","datavalue":{"value":{"amount":"+0.926931","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842966$F3233CB5-1C9B-4EC6-BA7B-7028AF56B235","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4842966","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4842966"}}}}}