{"entities":{"Q4010357":{"pageid":6040155,"ns":120,"title":"Item:Q4010357","lastrevid":55165873,"modified":"2026-02-04T08:02:28Z","type":"item","id":"Q4010357","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65746"}},"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":"Q4010357$77FBF1F0-CB49-4BBE-ADE5-86B126A480BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc702523fb96492ee72b380c91eecf5905e9c811","datavalue":{"value":"0753.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4010357$0DDA045F-F71F-4A5F-9B62-E664027068F2","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":"Q4010357$CE7B2F61-6BAC-4C33-BCD7-80F74E0D84BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4010357$F67B3A2B-C131-4F59-A4C2-E0F2A5ED402E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab81d74da7d6cf4bb1c0c07253f943d18da01ee","datavalue":{"value":{"entity-type":"item","numeric-id":1123882,"id":"Q1123882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4010357$151B6362-DE31-4BDE-B02B-2028E79571C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4010357$381B924B-A10E-4510-B31C-95B8FAA4B77F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4010357$971ACBE3-0EEF-4ECC-896A-B642A2F2230D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f68e06ec506820e62b3210862b300fec91b68b59","datavalue":{"value":"18A23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4010357$26A7A3F4-0338-4E36-940F-4A34032C5E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4010357$023F52F2-0BDF-4DFC-93A7-703436AF078A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4010357$6C0B8B8E-C5B4-4EEC-8163-29EC8C43E769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4010357$65E128C6-3951-4717-A1BB-83BD094AAA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4010357$5B0FA752-BFEF-4D28-B8AC-2C1A28AA0871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4010357$95FA773B-4B61-45D5-B926-85C0B14BCD48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92c766ad83b9baef8bb8db79f17d929cba63d183","datavalue":{"value":"65746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4010357$AECAA30F-40FC-42BA-9C6B-CC7E6A27677E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5988cdfcbf1ce6e4802e928cc064e7f5a87bcfa5","datavalue":{"value":"functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4010357$A4BD570F-1D24-4DAA-9A5C-4C36E8B9063B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4010357$56CA6C67-D475-4A1C-BFE5-6B071D33B54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78d1e083bfd2997380d5accef0478c6d7f4bdec","datavalue":{"value":"Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4010357$3C877582-CF08-4D32-A043-0932E92A6532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019b160a97e249835f4c0f7bed7d460fddaf7324","datavalue":{"value":"dinatural transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4010357$57B2D432-F87A-40E8-85AC-00A7674F36E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4010357$C65C56DE-066D-496A-AD36-672F6D6B03D8","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":"Q4010357$7D761F40-8CFE-4BE1-9B0D-8901956BDC92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c82d19e757a6483ada93225d3526a139e1b739","datavalue":{"value":{"entity-type":"item","numeric-id":1400601,"id":"Q1400601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"697fd83065a017bea6fd95fd7aa53293790d38e7","datavalue":{"value":{"amount":"+0.817460834980011","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":"Q4010357$4B3E545D-3130-494B-95E9-7B1388B6EA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063ad9599fb8fe9d6fbb4fc834f6db6a095f0144","datavalue":{"value":{"entity-type":"item","numeric-id":4010353,"id":"Q4010353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a817dc21f5a54e6aa498049529c7a0b4171a08","datavalue":{"value":{"amount":"+0.7958706617355347","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":"Q4010357$17497C49-B0E2-43ED-846F-3E9B3AA2FBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a95fd6992116802532c84aa81c82b5fa376ae2","datavalue":{"value":{"entity-type":"item","numeric-id":1103618,"id":"Q1103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a817dc21f5a54e6aa498049529c7a0b4171a08","datavalue":{"value":{"amount":"+0.7958706617355347","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":"Q4010357$2F87F129-7AF3-4F6B-B039-0D3D0B3C0C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db321795a9d37992230e96a72544b27fc195017e","datavalue":{"value":{"entity-type":"item","numeric-id":1238805,"id":"Q1238805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd26f7d8afec235e33f24af1a1f68de65b261489","datavalue":{"value":{"amount":"+0.7798587679862976","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":"Q4010357$F46FA83E-5406-4746-911F-7C11DACD8D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f605de60e8287a20a0c473abedccca910682256","datavalue":{"value":{"entity-type":"item","numeric-id":750442,"id":"Q750442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc1fcd70abb85f88b802f3526f40c4ec12d9db2b","datavalue":{"value":{"amount":"+0.7700865864753723","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":"Q4010357$C440E7FD-455F-463C-8015-916D6B0E13BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4010357","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4010357"}}}}}