{"entities":{"Q4938615":{"pageid":6968197,"ns":120,"title":"Item:Q4938615","lastrevid":47446606,"modified":"2026-01-01T18:53:05Z","type":"item","id":"Q4938615","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405636"}},"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":"Q4938615$4155127D-AC72-44FC-8D2F-2F37FD57801B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f47131aba64ca9572e68771ca64a66071198a95","datavalue":{"value":"0943.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938615$62A8064C-7315-4A97-9395-ACF37CC5E064","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9457c4bbef3634c6c8881365b05e1e1703b0b2ae","datavalue":{"value":{"entity-type":"item","numeric-id":604943,"id":"Q604943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938615$EA2792DB-2120-4E47-97D0-320E7240434B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a11a25f9f171df2580f6e74b03bcf0f76b0e60e7","datavalue":{"value":{"entity-type":"item","numeric-id":854972,"id":"Q854972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938615$22BA2A77-030A-4D10-9A79-3DCE55D22110","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8713e5a2ca50e8b02fa7f74b40c85c250b1d4de9","datavalue":{"value":{"time":"+2000-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4938615$46C6A1A1-21E4-4BB5-80D3-F68940C0F873","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938615$9D6B66EA-8931-46FD-B4C1-BA9995E71192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938615$4B82320D-D3A0-4BA6-AA52-F31FFEA7FD94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01951b54ed65becdedc039529b39032cd48bfccb","datavalue":{"value":"1405636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938615$119EA322-120A-45E7-9DF5-21821C104DC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a2bad4593dfa53b9bdf6d73901a5fbf0b67c8a","datavalue":{"value":"tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938615$3E5C5479-2BB4-4349-BCF7-271AB0B001A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe236a1292a70ecae470f1d2eacea5ef1938891","datavalue":{"value":"sequent calculus proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938615$2903015B-3F32-41D2-83C2-4C5BA9EDFA87","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":"Q4938615$2FB876A1-2D3D-4D79-91A5-D12F16C19A1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"693cbde2d8fa4f2261fb97dbdfbcda247f2b5efb","datavalue":{"value":{"entity-type":"item","numeric-id":4483918,"id":"Q4483918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f2e34998260a5af6fffa7c5242a6be2476beaf","datavalue":{"value":{"amount":"+0.8238316774368286","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":"Q4938615$CE6D4826-0C03-43C5-9ACC-F96A272B58C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d18367ea48cca8933c72ff2deb1e5810f25c1a","datavalue":{"value":{"entity-type":"item","numeric-id":4808762,"id":"Q4808762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c169c6040722c6276122ed8b5a0ef93abaa6559","datavalue":{"value":{"amount":"+0.7849029302597046","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":"Q4938615$020E0946-CC85-431D-873A-653A6C1B346F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdfbc26a64dbf4bd3b4b9fb3acfaa9024b9e2bf7","datavalue":{"value":{"entity-type":"item","numeric-id":2771057,"id":"Q2771057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4339c3f34db3a85a08fdacc4a041878015ef981","datavalue":{"value":{"amount":"+0.7650405168533325","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":"Q4938615$C80186B6-6D8B-4108-B71F-43B7BD236548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bed7224ec5320577a5ec898f7d351e089da7976","datavalue":{"value":{"entity-type":"item","numeric-id":4939278,"id":"Q4939278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94babc43874ce3c5537b04e920d9aac07fb88dd5","datavalue":{"value":{"amount":"+0.7608322501182556","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":"Q4938615$726F07FA-085A-4FE5-AA3A-6187B8DA6B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09851ebc30bed72c5364044795e1958b04e88a00","datavalue":{"value":{"entity-type":"item","numeric-id":1325832,"id":"Q1325832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10dd933a697939d7a898ec2a0aed32658c0ad86","datavalue":{"value":{"amount":"+0.7601755261421204","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":"Q4938615$E1B548E1-6ABF-4CD2-9F48-4A1F8E8BFA26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4938615","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4938615"}}}}}