{"entities":{"Q3994895":{"pageid":6024730,"ns":120,"title":"Item:Q3994895","lastrevid":55147315,"modified":"2026-02-04T03:17:30Z","type":"item","id":"Q3994895","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 42059"}},"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":"Q3994895$0BB5AC0B-656E-48EE-B27F-C1931B43E9F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0c3b8d187b71dfaf07a2395d4c9e7be1dd39df9","datavalue":{"value":"0671.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3994895$488EFDCC-8517-4A78-9326-CF27AABBB374","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7883d6b4a608e309b16b988a97013f465b2e60b3","datavalue":{"value":{"time":"+1992-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3994895$452496A9-A128-4E07-A9F4-CF2C61A42CE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3994895$70ADD399-09B3-41B3-94C1-A862A1CECC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3994895$D903ABB7-43FD-49C3-BAB7-A33DF7A11694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3994895$A92CDDC3-1580-4C34-AEC2-93B80354AF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3994895$B201B2DD-A387-44FB-89B7-2EECB36981A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3994895$55B72D21-7C39-40FF-A66C-4F8D886572F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3994895$42AE0E23-48E1-4AD3-84C3-B6F013F94F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3994895$403AEF66-9726-4E85-B6D8-27BE43A49154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3994895$3F52734C-B2FB-41E1-A20E-50214DCE1134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3994895$591326AA-EE50-426E-978E-5C9E4903911B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e1ac34803160dc5568d59158e281ae98066069a","datavalue":{"value":"42059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3994895$80273221-540B-403E-9D4E-CD194BF5A405","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1a91003eec20b6e040430743ad3336209f33dd0","datavalue":{"value":"proof normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3994895$0BCDF597-5024-45C6-9FAA-3910E35C3251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e77f6b122613ab28ed1949959e76bf4107c78456","datavalue":{"value":"\\(\\lambda \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3994895$4D106164-6EBD-4A97-9C61-46C68B0514B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3994895$FC8725D0-BCD3-4180-B497-9F423460618C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3994895$F3F8403A-3A03-4F8D-B2DE-97AF7F6A006F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3994895$883341C8-A085-42DC-8DBD-77689862DEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3994895$BAAD0EB4-42C0-4F2C-AB60-B8D5EF83E88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385344b465d588ff75c1a0a065d964c7c094aafd","datavalue":{"value":"coherence semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3994895$C44ABEF8-F33F-4D32-A21C-1CA6BF527DE2","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":"Q3994895$9C921648-8D7B-4D45-B4A9-6F6B31BA04F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b644f0db550959452a6b37c2ace79081a94270","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"956abc73b3fac8e595202fd10bf6af0dcc34780c","datavalue":{"value":{"amount":"+0.8316348791122437","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":"Q3994895$8B94389C-6EF1-47CD-9BCD-D025E44DE675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f5e6c2ffa5a2ba95848085e6708f2b0de4f8c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997125,"id":"Q3997125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"babc21d370fd8e465f6ada163a001dfe266532eb","datavalue":{"value":{"amount":"+0.8217156529426575","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":"Q3994895$2AFD7B70-D2AE-4793-8CC8-3925EABC6383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4596f4b9e3d72e9595f49910610584394c88f846","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e3ae56b3954fda6cac9041b49752a20a919cc7","datavalue":{"value":{"amount":"+0.8116216063499451","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":"Q3994895$E9D62291-8650-4FF5-A9A7-9CCE9358B22B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3994895","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3994895"}}}}}