{"entities":{"Q4809790":{"pageid":6839370,"ns":120,"title":"Item:Q4809790","lastrevid":74866299,"modified":"2026-04-15T00:44:20Z","type":"item","id":"Q4809790","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2095713"}},"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":"Q4809790$B601ADED-C271-45C7-8899-E0B3B8B788A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07b636754b935f11eec99871e0006ec6b5990e3d","datavalue":{"value":"1062.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809790$41C0F938-E69C-4C43-9AF3-0A40A5D78FAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32cdf4687a95a8014d553380bd325d3fdf98389c","datavalue":{"value":{"entity-type":"item","numeric-id":194959,"id":"Q194959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4809790$E8B43993-B5C8-473A-A70A-74D4E03B9F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4809790$6F45BD22-44D3-4C5F-B7D3-452F8C443D84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6f2ed130bb734ef7d5652ddb3056d6068e7e8cb","datavalue":{"value":{"time":"+2004-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4809790$0860DB1B-2493-4656-BAF3-18AC0FF57913","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809790$16E723C3-260C-466C-B1D3-9CC787096921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809790$9C6F199F-DA24-4293-9C88-C46266D49FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809790$4D59A2CB-543B-4A07-BC0F-DDB6BB1A52B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809790$FF8AA7B0-E5DA-4C26-9534-AECCC7319F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809790$EA6DEA81-F1DC-44EC-81F4-1291215AA7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809790$D5D6D987-5DBD-4782-8F9F-CB11F78B4088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809790$6A0056C4-3CEF-4AA9-B3D8-934EC71436C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da116f22b7636842e9cc8cdcb62eaeb751366d1b","datavalue":{"value":"2095713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809790$FA037F80-12CE-4F4C-9AE4-8F0A0A11E8A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809790$282EE394-7F42-4628-9905-A437B396C2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cd6f429f89630fd41abd7cd3011871aef3d1","datavalue":{"value":"intuitionistic natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809790$988D93F7-A6AD-4F80-9EB9-7BADD2B4DF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e5a9cac1fc4dfac46a88f953f03d9d3357f005","datavalue":{"value":"simply typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809790$E300DDC8-97B6-4561-9681-CA60897903F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809790$D221C139-DA70-40C0-A840-BB41A69204B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809790$CAB312AB-F2F2-4469-9564-47F3B8AFA9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809790$FD7DFE9C-828A-4EBA-9F05-0D91819A8D83","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4809790$2AA5989E-C5CA-4A45-BC63-F77169093B06","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":"Q4809790$51853959-42AB-41E1-8BD6-CC3B7A934B4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22277f784c0eba292bc220900cb6740ab9a3655","datavalue":{"value":{"entity-type":"item","numeric-id":4649731,"id":"Q4649731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354203df6882526725b07372001342834a5fce9d","datavalue":{"value":{"amount":"+0.9141904","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":"Q4809790$C39E2B15-D8F6-4DD8-B9F4-3504DFC4C276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc1c8b6b52c85dd2930b3b068fb2786dd70f16b","datavalue":{"value":{"entity-type":"item","numeric-id":622117,"id":"Q622117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354203df6882526725b07372001342834a5fce9d","datavalue":{"value":{"amount":"+0.9141904","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":"Q4809790$BB5744BB-3050-4BF9-9C6D-F674C2DAD3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0634602489ef699a910fdd6e87b1a8ada0da63e9","datavalue":{"value":{"entity-type":"item","numeric-id":4413066,"id":"Q4413066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11411f653e68c7d05571b2d8348aed9b376f4005","datavalue":{"value":{"amount":"+0.91043466","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":"Q4809790$1EACF8F6-732B-47F8-A0EF-87FE8B53B7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81aca38709b78489bda3bf6c74cca69f198df488","datavalue":{"value":{"entity-type":"item","numeric-id":4644602,"id":"Q4644602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b787e131ca6a9e075ea49f86332fd2c5c389bfc","datavalue":{"value":{"amount":"+0.9070433","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":"Q4809790$4D8CBA45-9091-4295-BCFA-A1EEE61589FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557e39da62d7549a8e4585881dad4aa617cecc12","datavalue":{"value":{"entity-type":"item","numeric-id":3212265,"id":"Q3212265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65ed4a054698e18a1011e0a41d46b23533aa4bd","datavalue":{"value":{"amount":"+0.90571654","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":"Q4809790$46E9B6CD-99EF-440D-B735-DF5602BACD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa2eca1729bedce32f244a4ef8fcd55294f7b64","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f7ccb44cc816925063aff7cef6ea0986a05d624","datavalue":{"value":{"amount":"+0.9020491","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":"Q4809790$54D0D0D3-2889-47A3-90FC-A67143DF1043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64a9a768631a0d71056fd56d98fd96071926413","datavalue":{"value":{"entity-type":"item","numeric-id":5009679,"id":"Q5009679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0883b6df05407ee2bb8ce9f9cbc79923f647a30e","datavalue":{"value":{"amount":"+0.89897203","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":"Q4809790$DFF50CA9-F2E1-4EBA-AA2D-1663158493D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03cf3c2764fce7ae9474469700927a05246eb73f","datavalue":{"value":{"entity-type":"item","numeric-id":3751556,"id":"Q3751556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565f64b7a68b63d417d3bd3b063ca576d44141ca","datavalue":{"value":{"amount":"+0.89824533","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":"Q4809790$A3E0836A-BCF2-4FCD-A4C8-2190F3B3F19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24f7c59688648df7f0d7673d21e03db3b873140e","datavalue":{"value":{"entity-type":"item","numeric-id":4820464,"id":"Q4820464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"277317838ff50e994552da66c2a6bcb1a0a4059c","datavalue":{"value":{"amount":"+0.8954282","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":"Q4809790$3DD399BC-FEF6-468F-96C1-83C1FF8D6BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f4eaeb4480d971e949b0a2fbd8d8001d316a66","datavalue":{"value":{"entity-type":"item","numeric-id":4882488,"id":"Q4882488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59666e8a691c0ce3798012cbf0cd741ffb7e465b","datavalue":{"value":{"amount":"+0.8912004","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":"Q4809790$200A7A8A-DE5E-461C-866E-BD92D29DB870","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2095713","badges":[]}}}}}