{"entities":{"Q4835538":{"pageid":6865118,"ns":120,"title":"Item:Q4835538","lastrevid":47322715,"modified":"2026-01-01T09:05:19Z","type":"item","id":"Q4835538","labels":{"en":{"language":"en","value":"Principal Typing in a \u2200\u039b-Discipline"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 761118"}},"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":"Q4835538$E75DE212-5B62-4976-AB55-830B6EF4FC45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4028b8267d402e483a467c297e448036c7da029","datavalue":{"value":{"text":"Principal Typing in a \u2200\u039b-Discipline","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4835538$5F3302B3-189D-46A9-B05B-E32DA671B7AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89a031b6ddab513bc0e0db1c93624466a5eaa8a3","datavalue":{"value":"0826.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835538$3FD3FE2A-ADDA-4617-9932-30065A07A283","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0530af78a69085c7bfc0867e4b4548e1bab174da","datavalue":{"value":{"entity-type":"item","numeric-id":737094,"id":"Q737094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835538$D4B3276E-6EAD-4D87-98CE-03894FD1021D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c0a406e32bc293813ec17d6275bafcebd0b2af4","datavalue":{"value":{"entity-type":"item","numeric-id":737095,"id":"Q737095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835538$8693B906-4C87-4AFC-A8D1-B3FB6844F1EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc3f5466e9c88a7c802540ef52e7255943d06ade","datavalue":{"value":{"time":"+1995-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4835538$12F0761A-F615-409C-B84E-F678277471F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835538$E71E4760-8CE1-4B6D-B68F-7A046C232F7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ef327cf2d5e156a5109dd95b3aad711ad009d87","datavalue":{"value":"761118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835538$C859C779-424B-44C3-B7C4-FF62405F00AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835538$96B15C38-4C85-478E-8763-AF21C81B2D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835538$964AB52A-1F5D-46DA-A6E5-718C58BDE210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c51cf925ba6fa31daf1d9ec9d2cd203492fb59b","datavalue":{"value":"principal typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835538$5C9CE581-4379-472B-86FB-3D2A0F699DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0070bb9bbebf3c3a8422510e6b975581fd450fb1","datavalue":{"value":"polymorphic intersection type assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835538$F6B28018-0425-45FB-B783-D7918702D34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d843044a6936b272fcc2a2db856d37bd4f0028f","datavalue":{"value":"polymorphic type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835538$35D89825-159D-497A-8CC3-2D8419C3DE78","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":"Q4835538$D1DBE670-6AB2-44AB-9F3E-3CCE7ECD84E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3e4afb66b298471150667e049073d56c853c29e","datavalue":{"value":"https://doi.org/10.1093/logcom/5.3.367","type":"string"},"datatype":"url"},"type":"statement","id":"Q4835538$77364FF2-B13A-4CDC-899A-DB3FC23E387F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97808252e18f5847c433fc76ea12b841ae84e56b","datavalue":{"value":"W2091711296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835538$E14FFDDA-1870-4422-95CC-FEAE7E4536A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6317c703232688fc0498f2fecb42a9bde569cdb","datavalue":{"value":"10.1093/LOGCOM/5.3.367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835538$51E40C26-A3B4-49FB-9458-38C20B757361","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":"Q4835538$B87FD27F-FAB3-442B-A73C-2949C80A4F16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a4fa3dc06a7ec04c149955b20385bac0a0d8354","datavalue":{"value":{"entity-type":"item","numeric-id":1110311,"id":"Q1110311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df9564ff0e85c39c93df3fe0951546c8521a6e17","datavalue":{"value":{"amount":"+0.8443456888198853","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":"Q4835538$003CAF9A-8EA0-4F29-AE70-6F88EC36F9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f193da7d9d3653a5704cd320c5ba1998c8c99f5","datavalue":{"value":{"entity-type":"item","numeric-id":4737219,"id":"Q4737219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55110f609a5d4a5dfca0dc7ee4fdbba5bc218ac1","datavalue":{"value":{"amount":"+0.8166985511779785","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":"Q4835538$CBC96992-D6E4-4FC9-977F-698F24FE95EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6753be00154def372d1205039c03b3a9387227","datavalue":{"value":{"entity-type":"item","numeric-id":3988840,"id":"Q3988840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3084b4e5faa3b0fb78133a19895187e1a164031","datavalue":{"value":{"amount":"+0.8149790167808533","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":"Q4835538$32F66A12-CAE2-4610-B131-87B9E9EF5B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e21353a78c24d20becae17ce281191d3a8a723e7","datavalue":{"value":{"entity-type":"item","numeric-id":1884929,"id":"Q1884929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af8bdb9f2262c2777f29d9751bc0ca5ce449845c","datavalue":{"value":{"amount":"+0.8140949606895447","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":"Q4835538$03C61407-0954-48FC-966B-F45CCE4CBF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ad3ae406a2c925ed49825c3d6fe3596eeddc94","datavalue":{"value":{"entity-type":"item","numeric-id":1900315,"id":"Q1900315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff82c112f3c444052adcedc6fd40cfec44e024ce","datavalue":{"value":{"amount":"+0.804631769657135","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":"Q4835538$515FAE1F-90B9-4CE8-9A1B-30783966CDAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4835538","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4835538"}}}}}