{"entities":{"Q3824315":{"pageid":5854221,"ns":120,"title":"Item:Q3824315","lastrevid":54230798,"modified":"2026-01-26T12:31:34Z","type":"item","id":"Q3824315","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4099299"}},"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":"Q3824315$6AB1C18C-702A-4E0A-938F-AC437E266DB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aef83d4090d203ad56794d74786fae80b9007fdc","datavalue":{"value":"0672.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824315$092E4362-1BDC-4100-99D4-164B75201D41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed65fe40964c812a87a925ad197fad2e842236a1","datavalue":{"value":{"entity-type":"item","numeric-id":1196789,"id":"Q1196789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3824315$647667D0-37E3-486A-9709-80D1DFB1EF31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3824315$6CAAC23D-AA70-4DD7-BA33-ABFFDDCCDF52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f43ae66ef531d387a6b4c88ecc051ba5e8da5776","datavalue":{"value":"https://eudml.org/doc/193018","type":"string"},"datatype":"url"},"type":"statement","id":"Q3824315$DE7CB957-99E9-494F-914F-7118CB8195C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824315$09CF0EEA-2F43-40A0-9F7B-342E1780DBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"396e0fd7e3b723e770d62f37cd362b49808d08c1","datavalue":{"value":"18C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824315$7F45985C-DB04-4C9C-9D67-27D54B39F0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824315$16D3C048-B856-4E4B-BFAC-4F874148A2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824315$749C7153-8C8D-43FE-B48F-C4A357CCCDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824315$765B9819-EA6E-41A6-BC00-AAF856E9DCDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bd4476ac74f8691c3078a0d8c905b91fc4f66cd","datavalue":{"value":"4099299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824315$3511FBE4-84C9-4B85-B4E5-37D196A3255F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911220923dca67c772ab8e7b3d67cc6d0c53add8","datavalue":{"value":"type in a category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824315$03A6167F-42D7-4BE3-9F48-93270BD31DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c7b7d71944885fba8ecb6ca9be1c2323ec08525","datavalue":{"value":"algebraic theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824315$2341BCE2-DA8B-4CEB-AE30-0596078DB68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d91f572147da53f81bfd3c22e96210911413208","datavalue":{"value":"logical theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824315$FB0DADA3-D767-4C26-A96E-BC83DC74373E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"665edac7f790e33795f30e2a9bb325d108eafdc0","datavalue":{"value":"Girard's system F of second order lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824315$A3E36BFC-520B-4781-9432-2999B95573A0","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":"Q3824315$03E76803-1367-48FD-BD29-F2CE16ED9E58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb56b05786d93226e90735826811b2ba67a6cf20","datavalue":{"value":{"entity-type":"item","numeric-id":3481915,"id":"Q3481915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a915112c2ecc02ff1275e241e8b375395f08817","datavalue":{"value":{"amount":"+0.86819917","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":"Q3824315$9C760B83-BF69-4830-BC25-2B09A4C59073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5400338068785dd15b79002a48f316d3ca8a8f","datavalue":{"value":{"entity-type":"item","numeric-id":4035240,"id":"Q4035240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8748ce050abe8a397b63bd2576c4b75065c08cc3","datavalue":{"value":{"amount":"+0.86529636","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":"Q3824315$D65F2329-32FB-4FA8-9F68-08A5F587341F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2c322a72692e3ab7ea2300d0bbd7209dcdcae30","datavalue":{"value":{"entity-type":"item","numeric-id":4018064,"id":"Q4018064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8748ce050abe8a397b63bd2576c4b75065c08cc3","datavalue":{"value":{"amount":"+0.86529636","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":"Q3824315$E376583F-56A5-4BA0-AA5F-076FB980BB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a364f36cac356aec1c147fe0b63fcc42285171d7","datavalue":{"value":{"entity-type":"item","numeric-id":3825226,"id":"Q3825226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da8f23fe0036e66ec2e8933b3cf23af556ed5fa6","datavalue":{"value":{"amount":"+0.85457945","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":"Q3824315$7B1EBC2D-574D-4327-A30B-4214BB17B6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fde780359a2f7038cab2e3cc173048abb3520d","datavalue":{"value":{"entity-type":"item","numeric-id":1208414,"id":"Q1208414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1126e42a25054d26b46c26d7a6f6d40dd83b3f8e","datavalue":{"value":{"amount":"+0.84891206","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":"Q3824315$DCD6C4CD-AE42-418F-9C55-3CCB8CEDA036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c88e6d1a78d92019c73a91a79bb5ba75aed960d9","datavalue":{"value":{"entity-type":"item","numeric-id":2233424,"id":"Q2233424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24128181b104beb1bb67c991855e93fc7746c3e","datavalue":{"value":{"amount":"+0.8399612","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":"Q3824315$673EB893-3EF2-486D-B0D4-87D9C69A57AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc55ff89662a19ca44fc4e65a75d3087d84d21e8","datavalue":{"value":{"entity-type":"item","numeric-id":1329739,"id":"Q1329739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96d185a4630a066b261c89d125b7870c0ee21488","datavalue":{"value":{"amount":"+0.8374566","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":"Q3824315$287764B8-50C4-4046-AC41-20BBBD746EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daeb79aa0e1d1f8fcc034c5bd741470fdee51410","datavalue":{"value":{"entity-type":"item","numeric-id":3805878,"id":"Q3805878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f05b1f7263befbb91105d1766b8b6a0214b556bc","datavalue":{"value":{"amount":"+0.83466446","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":"Q3824315$4FBA64B0-D5F9-4484-836F-8EE9BE1835B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27d0fdcf383e8f451027956cc909c68d5e1d009b","datavalue":{"value":{"entity-type":"item","numeric-id":2871881,"id":"Q2871881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef65501ffc565fb671f4880dc943fff785a4b9bb","datavalue":{"value":{"amount":"+0.82745814","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":"Q3824315$B8587006-FE48-42EC-9A72-1E369AA801B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3824315","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3824315"}}}}}