{"entities":{"Q4281484":{"pageid":6311085,"ns":120,"title":"Item:Q4281484","lastrevid":46311801,"modified":"2025-12-24T13:20:29Z","type":"item","id":"Q4281484","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 512791"}},"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":"Q4281484$E3E41CD4-C981-4D8A-B654-A61F61CB42B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e92b6275e709825b1e5cf85b2dce9a995cd6175a","datavalue":{"value":"0788.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281484$7B3D899E-762F-4C77-99FA-98E15AEC4574","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99eac199dd442a993b294694241ddae3fe5dfca6","datavalue":{"value":{"entity-type":"item","numeric-id":879362,"id":"Q879362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4281484$E814D4A1-A55C-478F-9C49-FF9D06F5A287","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87ddefd6c83e22cbdb85f95663ace293dcff1d10","datavalue":{"value":{"time":"+1994-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4281484$EDD890BB-DED5-4DFE-AC5A-7E077E669D67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281484$5B493930-CF2C-4E0C-8A9A-CC926322C1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281484$46EEC584-4DE8-437D-9A70-15DA9AA82BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281484$AFD0F698-84DE-413E-965B-00E5FF0DD046","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f5840bf571245e763402952ef8a0cf46bcf7023","datavalue":{"value":"512791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281484$A798C25A-53D6-43A2-A12F-DFCAFE75D0A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281484$DE389A1B-62F6-440D-8A70-0C9E1A400956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281484$A9CEDFFA-6A75-470A-92EB-1D03889598E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de3d055264c78dbe5aaa44e69c341de12cdff13d","datavalue":{"value":"bounded quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281484$6818AA0C-A4FD-4A8A-BC7D-5E1E11E4EF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69678ca0aad6e8b3a9fe9287bd913f0487c619ac","datavalue":{"value":"typed programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281484$023F4564-DEE7-4085-8AF6-C1949C3496FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281484$2DA6A91C-8A1B-4B60-BD0D-F0E83AE8AAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df70f54fe6341cf38c6056b215f3ea1da21bfe96","datavalue":{"value":"typechecking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281484$7ECE3F95-6769-4FBC-9E0B-119237CF4FBC","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":"Q4281484$8274A6DF-1B28-4C09-9643-82BEC88C3F07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc9e6a6a1904b441389cd5fbc8e3076c003b0e4","datavalue":{"value":{"entity-type":"item","numeric-id":4340497,"id":"Q4340497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc15e319370786c887da6ab99abc5dba346b7e7","datavalue":{"value":{"amount":"+0.8811176419258118","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":"Q4281484$A0CC976B-C715-4C83-9D33-C00F8C2D5D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d431a54fedd394db44def9deaa8dc8abd77b93d6","datavalue":{"value":{"entity-type":"item","numeric-id":2943370,"id":"Q2943370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bcd6c2fff1b0d798068259c5938a59140dd35a9","datavalue":{"value":{"amount":"+0.7858035564422607","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":"Q4281484$08DB481E-5A00-4B0E-843A-F77DD097DA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be203ed5abb688a0620236e2ca983819edec5435","datavalue":{"value":{"entity-type":"item","numeric-id":5145614,"id":"Q5145614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74e8f6fd3e1a0d6155d28589eed502c818dd15e","datavalue":{"value":{"amount":"+0.7852827310562134","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":"Q4281484$19EB4CBB-58CD-440C-9135-A8685241415A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fcc41b32ca24cb5011065d1804e842bea7d8482","datavalue":{"value":{"entity-type":"item","numeric-id":3365481,"id":"Q3365481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66dc7ec658c98fffef8f24ce7f8b5932db33d1dc","datavalue":{"value":{"amount":"+0.7739272117614746","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":"Q4281484$CC94BCD4-215A-42E5-97D0-9BA88D3173F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de3cb31a8027cecf8e994a218e681870271e053d","datavalue":{"value":{"entity-type":"item","numeric-id":3644750,"id":"Q3644750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d0eff3b5ca3054269d7442e4f20e2e9933efff7","datavalue":{"value":{"amount":"+0.7728084325790405","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":"Q4281484$F849ACC1-8435-4CB2-912B-5C32422EE0B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4281484","badges":[]}}}}}