{"entities":{"Q3999860":{"pageid":6029689,"ns":120,"title":"Item:Q3999860","lastrevid":55139074,"modified":"2026-02-04T01:06:46Z","type":"item","id":"Q3999860","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 50149"}},"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":"Q3999860$1E38D915-E849-4523-99C8-DB9BD7BB7590","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52f645226c328126b1f20bba25e333342362f0da","datavalue":{"value":"0744.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999860$F561EA83-C878-4B9B-8802-12721A482CFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eede50a5b3b0c8cecc2408751b26204b77b99d90","datavalue":{"value":{"entity-type":"item","numeric-id":800717,"id":"Q800717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3999860$2A01537F-A83A-452D-A7B6-830C31877301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f9d51ee16db35034307408c5a88623bb0cc13fa","datavalue":{"value":{"entity-type":"item","numeric-id":3740202,"id":"Q3740202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3999860$E3A2AC16-44BD-4544-9738-7CC1CE2D197F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b7d96d2c68882294e26baabd03e0c606a357194","datavalue":{"value":{"entity-type":"item","numeric-id":800718,"id":"Q800718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3999860$DF66FEB6-5866-479F-8E02-C1B9B47D4EAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7883d6b4a608e309b16b988a97013f465b2e60b3","datavalue":{"value":{"time":"+1992-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3999860$F176315B-8724-4652-9C61-1AA6FEB5DA86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999860$A2F6AF6E-03DA-49BA-95AF-C6B44D44A28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999860$5E5E04F4-6E59-4FBD-89A7-E61165875AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999860$D53C9590-3D58-4C29-9889-9D82DD5DFD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999860$47172962-2CD6-4F9B-A0FC-908CDDD8A3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999860$EDFB43B7-ACB7-401D-8F0A-7CC9E57206F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5cbb0fe30d00546319640d3b4ddb5a3066c02f7","datavalue":{"value":"50149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999860$1DAE6DD6-66E1-49A7-8B46-A003A6489D40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999860$4A005585-2B2B-4538-8B6C-27793A718B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999860$67D5BC80-F88A-42CF-883F-2C6D0CEA1AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999860$18FF714D-39D3-4ECC-95E6-2D7076AF350B","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":"Q3999860$DF498A66-D6BC-4729-B13E-2E1800F02543","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed67a1fc914341ca343a9badeca5ced0dcd7c12c","datavalue":{"value":{"entity-type":"item","numeric-id":4003339,"id":"Q4003339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"058015be7f3b6458e8e267962eddc138c90acb29","datavalue":{"value":{"amount":"+0.8378223776817322","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":"Q3999860$2C243FF1-9B32-43A2-A38A-DE7FD663DB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b215bf34512acd6bcf522fcb8600bc4a72a5aa95","datavalue":{"value":{"entity-type":"item","numeric-id":4289277,"id":"Q4289277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae7d1529d16a2078f0082d56478993549402051","datavalue":{"value":{"amount":"+0.8263019323348999","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":"Q3999860$3A25C64A-6211-4C07-BF6D-C7A4B6D8E958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb02f96daa6e4e21a1ed6c7402d449a1dfba3e7","datavalue":{"value":{"entity-type":"item","numeric-id":639262,"id":"Q639262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24469968c2a2234544f8295d10690de412bd1624","datavalue":{"value":{"amount":"+0.8153488039970398","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":"Q3999860$205F9262-14CE-427F-85C4-66ECAD513A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a288f2fc28ec2baab271cdb8106dc6e506c062b0","datavalue":{"value":{"entity-type":"item","numeric-id":4632162,"id":"Q4632162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0335816c7f98e80de303d60d2807214cdfc9e841","datavalue":{"value":{"amount":"+0.8089122176170349","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":"Q3999860$894240B4-1D35-47CF-B25B-E6E1C2E4BB47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3999860","badges":[]}}}}}