{"entities":{"Q3032255":{"pageid":3042971,"ns":120,"title":"Item:Q3032255","lastrevid":49342168,"modified":"2026-01-07T00:09:25Z","type":"item","id":"Q3032255","labels":{"en":{"language":"en","value":"Proof theory and computer programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4130380"}},"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":"Q3032255$552B1C6E-5A76-4B25-B3A3-6F683459406C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cb77903c5afc6ce13f3fe93b07362ef8383c222","datavalue":{"value":{"text":"Proof theory and computer programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3032255$05738FBC-CD2F-4680-946E-E28CA3025590","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea23402f8fa22cffbd3c107b445800f378ccad14","datavalue":{"value":"0691.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032255$9CF07C35-6449-45F8-B9B8-A917F23EC824","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8529a07395758c7f92e5bf2b02863c3fd7bf325","datavalue":{"value":{"entity-type":"item","numeric-id":1005957,"id":"Q1005957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032255$2337E8F0-A0D3-4723-BC00-F52A77CCD672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b70ccda10eee0149f281c226dd8d9cc2ff73c3","datavalue":{"value":{"entity-type":"item","numeric-id":673999,"id":"Q673999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032255$EBFDBA4D-F3CB-4E38-8320-6456D289E8E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032255$620E7FA0-0B44-428D-87BC-491886E1F237","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3032255$EACD7777-74B1-490B-A767-89D09FA4084A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032255$A349B304-90A3-40FD-8B93-FFF3C9CF0E56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bf028178dab47565d10fa00df2a99d8a9beba6c","datavalue":{"value":"4130380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032255$DB0BC3B4-28C2-4C2A-94AC-1708691DBD6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff6d31b74053afe710ec414fbd2a51276c755156","datavalue":{"value":"`Meaning-As-USE' Type Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032255$B0CC1EB9-8C06-4BBC-916E-BE6283956073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be2cf67dc938d36c0e4b342cb3dbeca813ee838d","datavalue":{"value":"higher-order types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032255$FB4F8EBD-6B10-4048-832E-921A78C93222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e51221597761ff3095ec9619ac1b380c91e2fd02","datavalue":{"value":"constructive infinity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032255$DCF0C1E2-C2B7-4B5D-B199-256A614966D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032255$38239B31-457E-402B-A00B-47274609E36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af6779880825a9eebc504d56d1787c0ac0239ae0","datavalue":{"value":"second-order normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032255$9F69BA69-1267-48CF-8F93-2A1D51F07E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62140d03a89fdbac3e682bb13037a89f2ac88970","datavalue":{"value":"Intuitionistic Type Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032255$96C0257A-D617-450B-B793-9507C02DF75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4de5cccaaa0f8757ef6446d3a851e502d744bb69","datavalue":{"value":"implementation of a type in terms of another","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032255$005E7C92-A93C-402C-A5E6-4E627A365A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d409b26ce64a538d67af3d831fdb5b0dafd92ccd","datavalue":{"value":"fixpoint operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032255$15754E6F-BE84-415A-A583-661E65BE78BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3bc4d347d89fd89d80caf05696c570103c4304a","datavalue":{"value":"well- orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032255$FB4CA551-4913-4956-B863-F4FC3C479131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb8ff27bbbd9959dc9d199dde836f711285242b5","datavalue":{"value":"universes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032255$A3F7AF56-656D-464F-A924-4FF10DCFCF06","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":"Q3032255$C4F331AF-F328-443F-9578-ECAA133DEDAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"161abdf8fca784386d6ca32dcca8b535bf7287f4","datavalue":{"value":"https://doi.org/10.1002/malq.19900360505","type":"string"},"datatype":"url"},"type":"statement","id":"Q3032255$412078EE-7EEB-47CF-85F6-ACDAF0A04996","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"613673c7ce351498dfad91a59ece3fb3b2eaae24","datavalue":{"value":"W1986417908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032255$972F1425-A9A8-4B5F-833B-D0F59AD408D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bcf35dd910c179a488b3c09ead2e2469b58555a","datavalue":{"value":"10.1002/MALQ.19900360505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032255$0C4E3B32-042D-46D7-A30B-77223A1BDE52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c58fbceaca79f3a9c207feec1bc23bcd1a11b3","datavalue":{"value":{"entity-type":"item","numeric-id":4470492,"id":"Q4470492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5ce8d760bd2d92caa5e58c7ecd2f87bf9b5616","datavalue":{"value":{"amount":"+0.7733539342880249","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":"Q3032255$288EBA4B-9F91-4884-AD3C-6604556AA068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec06f0869f0f61c632cdf6856b174429aee0656","datavalue":{"value":{"entity-type":"item","numeric-id":4853339,"id":"Q4853339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"227150f6c0772d0903f8befd54906d225b5f0f44","datavalue":{"value":{"amount":"+0.765753448009491","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":"Q3032255$7D5AA307-C293-4535-BF8A-CEE988918C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a62ce123c1cf42b5cfa1cc7ccf58379fc93c0b5","datavalue":{"value":{"entity-type":"item","numeric-id":688845,"id":"Q688845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac21dc0d82b94838f0393e47a954dde84652ed0","datavalue":{"value":{"amount":"+0.7588763236999512","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":"Q3032255$75BEBBBF-43F1-40B8-80B6-7D075DE5D54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978891aae9ce03b1973d803156ce9403119bfa81","datavalue":{"value":{"entity-type":"item","numeric-id":911744,"id":"Q911744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a98bfdf96997b9c4f34865beb3599252e502bcd7","datavalue":{"value":{"amount":"+0.7558905482292175","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":"Q3032255$C6158AA5-AC20-4FAB-A47C-4907D743B56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bacc6d2a90af26a415d0f1e5cb1ad815d32a128","datavalue":{"value":{"entity-type":"item","numeric-id":5458392,"id":"Q5458392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20488cee9e516d66b4d541ed96454db97f346f3f","datavalue":{"value":{"amount":"+0.7536799311637878","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":"Q3032255$8157DEEE-9820-4817-85CF-BA364BFD9EBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3032255","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3032255"}}}}}