{"entities":{"Q4012887":{"pageid":6042683,"ns":120,"title":"Item:Q4012887","lastrevid":55180108,"modified":"2026-02-04T12:18:04Z","type":"item","id":"Q4012887","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65538"}},"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":"Q4012887$B94D5F21-7A52-4E71-BE2B-19E5C1E78355","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"828ee5fa5d3a3903f2112ae9be87924426c5c100","datavalue":{"value":"0786.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012887$C4ED1269-15DF-4942-9E12-A3BD46371A2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fbac9052f129ef2f8a84bce4b214226c0b56cf","datavalue":{"value":{"entity-type":"item","numeric-id":580962,"id":"Q580962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012887$9911EC05-05D8-4818-B994-068DFCC9B1B6","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":"Q4012887$3D1750CD-7CAC-4884-80D1-7DB79298C124","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012887$64A42C99-BB3D-45C2-8618-3292B02895D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9cc57cd00b2a2cf5d25b5401433ab7d94e5cae3","datavalue":{"value":"65538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012887$767D63F9-6EDA-4F37-9C65-67572A634B1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c441b3dee73de3d269547b272c1f7cdc085a924","datavalue":{"value":"Curry-Howard","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012887$36F83864-16DD-4C17-8B85-B4385C777399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012887$7D27CB59-5C60-416F-AB58-8EC47238B395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012887$5FB06552-FED4-4D11-9001-8A18DF8EAE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012887$52CB2E4D-CA1A-4D89-8CB8-4EB40E237DFB","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":"Q4012887$C21B1AB6-714A-43B2-B889-85F582AB478F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af98856c2eb65ab11fa4429a34cf4f4e5903649","datavalue":{"value":{"entity-type":"item","numeric-id":1177153,"id":"Q1177153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0487be54ee2713ae02d940990d4c66b540b60c8c","datavalue":{"value":{"amount":"+0.823403537273407","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":"Q4012887$8F496875-C641-4C61-9A52-9B1941DF7F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34356b5225f1d43e309d8e7578b9445835287426","datavalue":{"value":{"entity-type":"item","numeric-id":1331920,"id":"Q1331920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0487be54ee2713ae02d940990d4c66b540b60c8c","datavalue":{"value":{"amount":"+0.823403537273407","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":"Q4012887$2602D98D-B012-4FAF-8DEA-EE434BAC7B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3158e4c24bd53d740ca852ca4858e1891cf953b8","datavalue":{"value":{"entity-type":"item","numeric-id":688731,"id":"Q688731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93a8686225f8986c1f777074dbf5f3317ffd1819","datavalue":{"value":{"amount":"+0.7633995413780212","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":"Q4012887$1D17874B-6B3A-4856-86A7-F0F17354BB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07540ff2384d43ad7932b75aeb8ff5377e830efd","datavalue":{"value":{"entity-type":"item","numeric-id":3992553,"id":"Q3992553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93a8686225f8986c1f777074dbf5f3317ffd1819","datavalue":{"value":{"amount":"+0.7633995413780212","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":"Q4012887$2A30594D-72FC-4970-A14B-30BE015E6CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bc1f4262c020a297002138e11c4f957db4662a","datavalue":{"value":{"entity-type":"item","numeric-id":688729,"id":"Q688729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d46bac6dfc7e28cf82f8d3c1692f21a6aea63e","datavalue":{"value":{"amount":"+0.7553843259811401","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":"Q4012887$2654668F-CC52-4E4B-B967-073C03E4D619","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012887","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012887"}}}}}