{"entities":{"Q3030827":{"pageid":3041543,"ns":120,"title":"Item:Q3030827","lastrevid":49097407,"modified":"2026-01-06T14:28:44Z","type":"item","id":"Q3030827","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4019061"}},"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":"Q3030827$D18324FA-C1F1-4C92-8154-EC2E00EEB2B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48d74a39c45e43259d9613cb29e1124b7e00610c","datavalue":{"value":"0627.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030827$A1C8312F-EB67-42D9-B1F1-0EF93841D209","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3030827$EC6F2966-01A2-4951-B50E-611BDDC3CF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f9facad47142ae6aca78e42226d987a134e9bf3","datavalue":{"value":{"entity-type":"item","numeric-id":789175,"id":"Q789175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3030827$09E75306-6771-4B32-85AF-4D36C73C1757","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3030827$685C7B70-47FD-4D68-9F9A-3DA44D3A6B73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030827$9228117C-661C-4B13-96CA-FF8704364580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030827$F6D471D0-AA1C-4208-953F-3B0AF60CDC5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e253b603a52e8d03fcdadf9e935e623950e0b678","datavalue":{"value":"4019061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030827$6C318BD0-9D32-4258-957D-7BA24FDAF074","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030827$CDF7DED0-1AFA-4B7A-BCF5-8104F96A0716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81a9630c7b4eaa045098558da4a315bcc1a42ca9","datavalue":{"value":"interactive proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030827$7127C103-5321-473A-8EBE-7E8E3ED71EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"486173fdea484958e371bcc478b16d274811d71a","datavalue":{"value":"intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030827$5D95ED6B-63FC-4517-BDCA-8D7989182407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19fbab8aa68cfd17e9d244df90154ff099395979","datavalue":{"value":"calculus of construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030827$0994071E-7FF7-4D10-A7AA-A4F5C2537298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79e10659ec0ab4c1636b61cba98e7ea0e00939e8","datavalue":{"value":"Automath","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030827$E35356DE-D58E-45C1-9EAD-05606A395A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfbafdbd66fabf611e8d6dd292589c28194c83b","datavalue":{"value":"formalisation of higher-order natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030827$90D44B7F-FF56-4C41-99AA-80904EF6E02B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3030827$81FB7E06-BAB7-4B6A-9034-261A3F686D4F","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":"Q3030827$A871F9F4-6102-4B4D-9347-5C99181A776A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04fc28ff935556a5c4174aab3a7627efd13f38b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f30d98f42ce525474eba222c44fedd301ceac8","datavalue":{"value":{"amount":"+0.8363803029060364","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":"Q3030827$17859325-44D7-414F-9B19-FE74109EB62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90bd9f2f511e82abc41ce1f38ff8727559e8b7d0","datavalue":{"value":{"entity-type":"item","numeric-id":1201296,"id":"Q1201296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31751604cd82230b469c2da1f047a7113b900785","datavalue":{"value":{"amount":"+0.8299687504768372","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":"Q3030827$2675805E-DE74-4A68-AE20-13134CCB484B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430423bd42ea27eba12ffc96bbb2ecc52e558c44","datavalue":{"value":{"entity-type":"item","numeric-id":3703866,"id":"Q3703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7872db00a47cc73b613d9034d1f9ecf19df2000","datavalue":{"value":{"amount":"+0.7729464173316956","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":"Q3030827$9543EC26-4DB4-41E3-B284-5D0A5F6CBA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050391e3f27b8bfab5af09f69bc4e968903fe067","datavalue":{"value":{"entity-type":"item","numeric-id":4871733,"id":"Q4871733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cecfeb0f89aaf03a234ebcb361677d60aba7105","datavalue":{"value":{"amount":"+0.7713344693183899","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":"Q3030827$E605E004-7B4F-42AA-A732-1F2767F1EC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a60c342ca70b6a001e5ab65f9968fc1d0ec10393","datavalue":{"value":{"entity-type":"item","numeric-id":3805882,"id":"Q3805882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28fa61235c3e560cb2e24373fa70db6ee36a133f","datavalue":{"value":{"amount":"+0.7623603343963623","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":"Q3030827$8BCCCC5D-1043-48F6-9961-6977F92CAB62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3030827","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3030827"}}}}}