{"entities":{"Q4376063":{"pageid":6405662,"ns":120,"title":"Item:Q4376063","lastrevid":46997823,"modified":"2025-12-26T00:41:29Z","type":"item","id":"Q4376063","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114345"}},"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":"Q4376063$DF8808EC-30C6-4446-8F99-56E8A404F37E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8be82f425c6cce1b039797f3b1fc6e3754ed0ddd","datavalue":{"value":"0888.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376063$6F145866-0EFF-43D9-9B3C-46118C49877D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c0eb116a547edc17bbfb9c1cfbeb5854620c839","datavalue":{"value":{"entity-type":"item","numeric-id":235589,"id":"Q235589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4376063$65D201F4-644C-44ED-9DE7-C11E0BEC0DDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0945be59467e332804dbbfa87487f2b5f7412c0b","datavalue":{"value":{"time":"+1998-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4376063$DEFC887D-97E0-4A58-AB93-756EDFD9B9ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376063$124D1087-6156-45E6-9BE9-DAE9F5264803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376063$C962C227-C92A-4D6B-9AFA-ED1E90EF476B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc4fbcf3c32c545d358e21a221c7cd9fd53ad898","datavalue":{"value":"1114345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376063$6C1E67E8-900D-45C6-9003-2B58B1095A51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75b749ed102326e0d20072235c50f8bb622e64fb","datavalue":{"value":"sequent calculus with multiple antecedents and succedents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376063$6E5B7B35-9D9E-405D-AC6B-1F144DDDC060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0147acc1a7f9b18a21ca3a0a73b9bf574006a1b2","datavalue":{"value":"additive contexts","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376063$5DD9E536-1CBE-4C18-A8C7-D289D3844D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c045e408e5ee513f46b93f05df6205c16af9fb8","datavalue":{"value":"additive fragment of linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376063$5855C219-F859-4599-A69B-D4C872BFA645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb20532a5f74b8865a8705758bf09382bd0e818b","datavalue":{"value":"multiplicative contexts","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376063$955AB1CD-8B86-4067-9D2C-2762282A6729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3018f13ec4565557bf025633f394ef25a05fe3b","datavalue":{"value":"decision algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376063$328B6A4C-3D20-427E-A6D8-211055FAFABA","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":"Q4376063$4C22D25A-2DE1-46D8-8BBB-2D530DBB823E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d5f832926f0cb14d0e464c9f6b0b09068a46c3c","datavalue":{"value":{"entity-type":"item","numeric-id":1960422,"id":"Q1960422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffd4c1e4f8609f81baeca4f60d0e40cf02de50b2","datavalue":{"value":{"amount":"+0.892025351524353","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":"Q4376063$8DA415CA-3197-4094-AAA6-67BBAF58A8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97ce14ea95f4a3fc8c3af98620ebc361d7a77fb","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d7f75c1e2877a8155bb2e7957c373fed377842","datavalue":{"value":{"amount":"+0.7679246068000793","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":"Q4376063$77920DFF-05AB-48D0-BDA7-EE89297BCD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bf6c3dc9d7dfe10dfd2b53cad9397de8b331fa","datavalue":{"value":{"entity-type":"item","numeric-id":4411821,"id":"Q4411821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e001170d27a650c9fc626ea978961ef6497a4686","datavalue":{"value":{"amount":"+0.7530458569526672","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":"Q4376063$904B7F73-15ED-4A13-8A24-C65217F8DA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524ab2973279b77374bf2818b4cbe86ddc56c2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2757832,"id":"Q2757832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f04c0cc4f15ef9da28b078840bf58a52c9399a4","datavalue":{"value":{"amount":"+0.7513611316680908","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":"Q4376063$4FE0543D-2123-4946-AE1D-9BD3A955C452","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4376063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4376063"}}}}}