{"entities":{"Q3025341":{"pageid":3036057,"ns":120,"title":"Item:Q3025341","lastrevid":45281038,"modified":"2025-12-04T04:59:51Z","type":"item","id":"Q3025341","labels":{"en":{"language":"en","value":"On Long Normal Inhabitants of a Type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2187135"}},"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":"Q3025341$5F3E2707-16ED-4A7F-AFD2-E29A6009C449","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07094b645c0bb8537475868289460e98b6a6971c","datavalue":{"value":{"text":"On Long Normal Inhabitants of a Type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3025341$7CA3245A-4DC3-4052-8B86-CD98FE291439","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63b052225ac96c1f365c46f6ed79301b058012e5","datavalue":{"value":"1086.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025341$9DCD7AFA-CB1A-4C53-90C4-77CC99CD2306","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5be40013d629abcf9c4dedf0b6f10313a658759f","datavalue":{"value":{"entity-type":"item","numeric-id":596032,"id":"Q596032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025341$2A7AC861-2811-4DE7-8D1D-3A4E6C4150E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2641b8e7fca864cf6fafc527fcb34eae8b18504","datavalue":{"value":{"entity-type":"item","numeric-id":596033,"id":"Q596033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025341$DDA9AFD2-CEBC-4C55-976A-1BDC1F5D98B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f460ecd3e2e10668e6c23b104091f0f56f4b7683","datavalue":{"value":{"time":"+2005-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3025341$BFDB96E4-7F2A-4492-BC1C-4EB37A90B4B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025341$EC20BA9F-2AB4-41AC-8C58-1266394A89EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025341$FB97935E-F813-48D7-BDD6-F50989B2FE5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8124e149170a4a2c87f060329b84a2f24deb3c61","datavalue":{"value":"2187135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025341$61CD9D12-B52B-4FBE-A7A7-A58C73515583","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0ce36239dbd08766601c3263a7891046c0723a","datavalue":{"value":"Lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025341$F2866B14-A63B-443E-A155-686BD1C65605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d033aa5da80632e6cc21e548be4e712e81eb947f","datavalue":{"value":"simple types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025341$4A5ED01A-5EFD-423B-BF29-661ABFF6607B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fb6b96246ac18eff390d9902f8cbd6cc6f4bfd9","datavalue":{"value":"normal inhabitants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025341$6CDA937F-FF3F-42E0-8AD0-87DBFB227A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025341$60C0674B-E56A-4A1F-84B2-677DC8145F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b32074a5e00ed0adee541228e6eef05681b75afb","datavalue":{"value":"normal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025341$2FA4369B-E0DB-44AB-9294-D1F5B89C6383","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":"Q3025341$23834D7F-2823-444B-900C-93A3B04CC7F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"427e27fd2262e4bc7f829a873c4847d81b7055b4","datavalue":{"value":"https://doi.org/10.1093/logcom/exi016","type":"string"},"datatype":"url"},"type":"statement","id":"Q3025341$4283C8EE-A234-4CC0-8C8B-457D99012C28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7513cec7cb24d7008c87a96e171cacbc95533c8e","datavalue":{"value":"W2036947136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025341$C1416FD8-48F1-4BC4-911D-14BA9F957C7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b86724601c2d7473a48445eaf7d2b9c4d52be0e","datavalue":{"value":"10.1093/LOGCOM/EXI016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025341$F88C344C-9516-4EFC-8EAE-DB4652F01ACC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025341$8439374A-AC0B-456F-B59A-2A89F0FC2947","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3025341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3025341"}}}}}