{"entities":{"Q3138540":{"pageid":3149256,"ns":120,"title":"Item:Q3138540","lastrevid":45527701,"modified":"2025-12-10T04:52:59Z","type":"item","id":"Q3138540","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 431764"}},"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":"Q3138540$23FB1B96-DFB6-41BA-B4E1-4C5018913CB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99d121ee6f307f2cdd6d8452ac6337f174a1221f","datavalue":{"value":"0792.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138540$21B70B4E-1863-4946-9D69-9D2999CFEB15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138540$DF7369BC-B823-4666-A17C-E71FFC7D77F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be385604d3b66e8d862a65c447d5af8aba333f6e","datavalue":{"value":{"time":"+1993-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3138540$6C70664B-96B9-44CB-AD05-6387D7FD5E7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138540$5173BB05-9DB6-4667-8FBD-1032EAF9A518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138540$FD73B0B3-C85B-43DA-886B-2E0D64FB078E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3778d5f8dd6799a94360e32b9ab3d13c0b9c489b","datavalue":{"value":"431764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138540$1BBD5E17-F6B8-4C06-AFE1-3063C6F6FAFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1105fcc0b74c7a1fbaa65e95eeb7525fdf97d4ba","datavalue":{"value":"indexed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138540$B68F5C39-203C-4621-B961-186EFFC2CAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e5a9cac1fc4dfac46a88f953f03d9d3357f005","datavalue":{"value":"simply typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138540$568ED096-34CB-4427-817D-198C0711ACF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20213b9a08df6cfc660e87d03595ab117c5a2307","datavalue":{"value":"untyped \\(\\lambda\\)- calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138540$8AEC2AAD-352F-409F-829A-859E25B59AD1","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":"Q3138540$951F6776-2930-490A-A626-9C231E4B1770","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5d85e4f94e218438e309349857cdaff3bd3959d","datavalue":{"value":{"entity-type":"item","numeric-id":4263831,"id":"Q4263831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d5de7b78358bcb2b6586e9a147a0935612af93","datavalue":{"value":{"amount":"+0.95292175","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":"Q3138540$1A17792C-DC6E-4E93-B71D-E6F2F1A7A6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8140e4aa1c1a8dc055880ce56e045c53fc6fd956","datavalue":{"value":{"entity-type":"item","numeric-id":4501144,"id":"Q4501144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"718562c9e31c013b8d094c11e04d7caaa886425d","datavalue":{"value":{"amount":"+0.9428669","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":"Q3138540$5389A2A8-40DC-4868-90B4-5A05FA79B118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f900978b735a1191d1bd5813b0fb20efd481e48","datavalue":{"value":{"entity-type":"item","numeric-id":4448356,"id":"Q4448356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32c89b1394048d94f6f61a6b820a9fbbb0be4a30","datavalue":{"value":{"amount":"+0.942565","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":"Q3138540$BDAE89A6-4C8B-4304-813B-700C23A2F712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11cb1f27ab2f06747a69185e5627f229f429bb8","datavalue":{"value":{"entity-type":"item","numeric-id":3024838,"id":"Q3024838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41aa0a3f9056fd686c7af798b33e74c0d28f3ea0","datavalue":{"value":{"amount":"+0.9359483","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":"Q3138540$7907B59F-D1D8-40AC-BBC2-0FAFC60A3FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6540165b5355a6544b12e088ff6fec1dcfe300c6","datavalue":{"value":{"entity-type":"item","numeric-id":1893725,"id":"Q1893725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7494ac1b4305ec8fc8797feac7342a25fd1e4611","datavalue":{"value":{"amount":"+0.92544353","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":"Q3138540$E87E4923-A866-4DDF-8360-584D94681F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f2d4aaed46c7d35d20863fe39e8e41e38d430ef","datavalue":{"value":{"entity-type":"item","numeric-id":5878918,"id":"Q5878918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e42e6874e8dd28e79b24c21c160dd096d408afb","datavalue":{"value":{"amount":"+0.91982186","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":"Q3138540$DDB99204-45BF-4A87-B2D8-5126AC69C248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a2ca6131a8be67d6d7a798a6c4c5afc140c6c0","datavalue":{"value":{"entity-type":"item","numeric-id":1349674,"id":"Q1349674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edf2014519fb7d0d459d9f1e5d05eb2f60b1f9a9","datavalue":{"value":{"amount":"+0.9187153","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":"Q3138540$15830C45-DAAA-4CD0-8F26-2008DAA1BF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ac706391279225e81770873b926e13e28c5669","datavalue":{"value":{"entity-type":"item","numeric-id":2703689,"id":"Q2703689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f783386ee1e86bdbf506c11525e3b1bd1bfa3401","datavalue":{"value":{"amount":"+0.91837853","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":"Q3138540$A39C6C67-428F-412B-8089-0F16447A652A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e8c1dceea20d5bd28a5edda639da0c349c0790","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0171ef912d8d5af5d59fc1d239292670ba8ddb0c","datavalue":{"value":{"amount":"+0.9171145","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":"Q3138540$1FB75788-4672-4DD8-95BB-00E4D149522E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9373f3c2636b2288eda73f47e1632d4eec730a","datavalue":{"value":{"entity-type":"item","numeric-id":3194765,"id":"Q3194765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce0e36bb739e88671e51d2785c95f2e4c66d1786","datavalue":{"value":{"amount":"+0.9166105","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":"Q3138540$B4B2A70F-FC79-458D-BBB0-31BBF17761A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3138540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3138540"}}}}}