{"entities":{"Q4012883":{"pageid":6042679,"ns":120,"title":"Item:Q4012883","lastrevid":55180099,"modified":"2026-02-04T12:17:56Z","type":"item","id":"Q4012883","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65535"}},"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":"Q4012883$77618D65-A510-47AC-9503-727528BBAA43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b765cbc395ceec4b0d5d37b7e71ec71c3e65798a","datavalue":{"value":"0755.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012883$AEDAD076-0226-426A-8E22-F1F2C013DED5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d75275853fb84ac426baf809ec86decf612055f","datavalue":{"value":{"entity-type":"item","numeric-id":651314,"id":"Q651314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012883$3D4CC278-F4F8-408D-9B33-71A662646EC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4012883$D7DA00B5-7457-4355-B21A-E2B70FFE9BED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012883$127922E0-F975-4F35-84F5-461AAB08DD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012883$0309C2CF-C532-4A89-9066-468F1E1612E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f14149fe1d8be7f261ef17308a5e55365d5aa10","datavalue":{"value":"65535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012883$F4C0FF84-0EC2-475D-A8ED-D6BB57008B66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012883$229214F7-443E-4F86-AEF5-F2BBA8638426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33775f26030d071074f6e677c78b2fdd4159a0c9","datavalue":{"value":"Martin-L\u00f6f's type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012883$49E99B6A-D474-40B3-8D3B-DA2F0A874273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e5a9cac1fc4dfac46a88f953f03d9d3357f005","datavalue":{"value":"simply typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012883$F0DFA1B3-6CC0-4FF9-9860-B8C4752214D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d4f13f70b5dac95e9fdbfcf1055398f17d86a78","datavalue":{"value":"inductive sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012883$E5FF7323-C2A9-4942-AA3B-E6AEAF1E596B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3de23e37e993e4e77cc8e5af007153ce87796eb","datavalue":{"value":"inductive families","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012883$C8D5FA50-5787-43C4-B4C5-70048CF05198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1d3334ce8a9f0862db84129afd80b88ec0b025","datavalue":{"value":"primitive recursive families of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012883$63A39B66-40CF-43F4-86F8-C42FCD63D660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012883$6EB0E867-E969-4E9D-BA7A-7BD2BE697EB5","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":"Q4012883$DA5D6F88-BCEF-4006-BA71-98CF853894D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce84887953fea95566a05af0f9ca26fd3351445","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f086daf6723f2d681bca84b8431d981802dcf7","datavalue":{"value":{"amount":"+0.8447635769844055","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":"Q4012883$8D095A86-4A49-4BB4-81F9-FE0509CE1DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751cf0dec4b636680ca47b8e354d59854960ee3d","datavalue":{"value":{"entity-type":"item","numeric-id":688734,"id":"Q688734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef5cf60694da93c9df005fb75bfb030412e6d91","datavalue":{"value":{"amount":"+0.8447424173355103","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":"Q4012883$CB3DA0A6-D660-4A03-B07C-9FC497631006","rank":"normal"},{"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":"a49b9750431b4525ce43ab5897275dadea7f8d34","datavalue":{"value":{"amount":"+0.8207499384880066","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":"Q4012883$22990E0B-E7C2-4C88-80C6-C2B2304FE25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10136e455743e3ade83a7e267fb95936edac7bd9","datavalue":{"value":{"entity-type":"item","numeric-id":1392287,"id":"Q1392287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"684f15cf476d4a21bb0938b2cc889160d6f2fa5a","datavalue":{"value":{"amount":"+0.8019150495529175","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":"Q4012883$DB806E9B-3399-4402-B0A5-4123D37F25F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3722808259257067adc4e3890595504a77d4fda1","datavalue":{"value":{"entity-type":"item","numeric-id":4247308,"id":"Q4247308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea0e0d3727a2ea4a1b494591327bc8c724c00ee3","datavalue":{"value":{"amount":"+0.8016220331192017","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":"Q4012883$9F5D61A7-E8DD-4A14-B667-296D7A6050D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012883"}}}}}