{"entities":{"Q2943360":{"pageid":2954080,"ns":120,"title":"Item:Q2943360","lastrevid":52343705,"modified":"2026-01-22T09:45:34Z","type":"item","id":"Q2943360","labels":{"en":{"language":"en","value":"Fully reflexive intensional type analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481623"}},"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":"Q2943360$F96C765E-2BE5-4914-8AAE-D51F8DFD5512","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb81ea5319e243cf1cb41b2a96ead80db42fc310","datavalue":{"value":{"text":"Fully reflexive intensional type analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2943360$F15A65A8-2C58-40C4-8D53-3618E33E5642","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06cb7080414192c62fe6981de0a1daaea0b29f4f","datavalue":{"value":"1321.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943360$6A7E2500-BCD3-4E8D-8BAC-C91A93758785","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"780b340bc8a51e91bb8243fcf889dd63defc68f5","datavalue":{"value":"10.1145/351240.351248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943360$A4C8C04B-BB85-4ADB-BF53-02F8FD6DCDCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8b985082271340f912fb7d71edfa317aff8bfed","datavalue":{"value":{"entity-type":"item","numeric-id":1826462,"id":"Q1826462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943360$8EAB9FB2-56E9-45B0-8FA3-D408C6DD9541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2eb3a9888aca32002116af3b8b816ab9171e4cc","datavalue":{"value":{"entity-type":"item","numeric-id":2943359,"id":"Q2943359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943360$1769D8C8-EB35-4B6F-BC54-F52DB891356F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45204622bfa7b343b3d270acbf7de72b0faad61","datavalue":{"value":{"entity-type":"item","numeric-id":835763,"id":"Q835763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943360$B045AB68-94CF-4117-B9E4-62AD183474A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b87d3662b9ecc426ec2dd6fbd6bb4649720ef991","datavalue":{"value":{"entity-type":"item","numeric-id":2943354,"id":"Q2943354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943360$CA8113BF-4A35-460E-885C-F71FD6E9278C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-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":"Q2943360$289C0699-9173-4698-AA69-E69232B6426E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943360$A37BDD23-6BF4-4055-81DA-526BEFF6DC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943360$0D4CD96F-FE4C-46AB-B6ED-6BB977F486B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943360$2D0AC633-D69A-4A26-8787-870E17FA9808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943360$2B918BB6-9FCF-4738-80B8-D821D39C2562","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f56d0d9fdc7c84cb06c940712b3b407ddf376540","datavalue":{"value":"6481623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943360$DF473E81-2E2A-4ED3-8459-D6524CB9EC71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19cbd00e817fa68d4342c78b647ba0f8172adf2d","datavalue":{"value":"certified code","type":"string"},"datatype":"string"},"type":"statement","id":"Q2943360$7639EB39-8635-42DB-B787-B634A8005FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d4769423625024e9c982d0fabc3eb0a3f0f1631","datavalue":{"value":"runtime type dispatch","type":"string"},"datatype":"string"},"type":"statement","id":"Q2943360$616882A7-4414-4560-B112-A6FEB258E38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35a27646ecbfabe5e1b50469fa643fe30d7968cc","datavalue":{"value":"typed intermediate language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2943360$F7BF2025-5C37-408C-B951-67E61749B847","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":"Q2943360$E9BAF98C-D57C-4626-8A5D-792652FFA63A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d106997fef809f0dc1f556fa6407d577305aecbf","datavalue":{"value":"https://doi.org/10.1145/351240.351248","type":"string"},"datatype":"url"},"type":"statement","id":"Q2943360$9B48860E-77BB-4959-8680-CD83C9BAD6EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86c2275c7ef7aa1b8c2b0408fc4d9eecc3ab2989","datavalue":{"value":"W2037021191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943360$34D6F97D-EDF6-4702-95AF-70130197F3DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ebd12a3040e52aa9094f5ce4c1fe346b8dd06f7","datavalue":{"value":{"entity-type":"item","numeric-id":4709843,"id":"Q4709843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1457417a2504fff6dac1bab3893eafcebe4a25ac","datavalue":{"value":{"amount":"+0.7698140740394592","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":"Q2943360$EB957645-B3EC-443B-B053-36AA480138C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27254b93d76a85ca62fadb4aeed49ef291bbf0de","datavalue":{"value":{"entity-type":"item","numeric-id":5234277,"id":"Q5234277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d65e778374d99e93e17aeee1a99f25d0cfbc2f","datavalue":{"value":{"amount":"+0.7690577507019043","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":"Q2943360$A14BD022-4B5C-4CE2-8BFB-8BBBE4882F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3162df2fb79c73643e582db724df1477e0beec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5348906,"id":"Q5348906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d52a504b848ee09609a1c9868cc3e4844b70173","datavalue":{"value":{"amount":"+0.7690576910972595","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":"Q2943360$703EEE84-DA4F-4F51-8505-150D9B13A54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6addffac10d1336d4361b49efd084fb8ab726d39","datavalue":{"value":{"entity-type":"item","numeric-id":4738349,"id":"Q4738349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3ac1bce4e8768831b8dca0a4610c7d72b1efc4","datavalue":{"value":{"amount":"+0.767017662525177","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":"Q2943360$65C5856F-1708-4A0C-AD9B-2F92EC46C0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baa07ffd5607e102c2ba24fb205482e2eb8fad23","datavalue":{"value":{"entity-type":"item","numeric-id":2817725,"id":"Q2817725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f07dc97376088f1e57aa93a095818c11a9b7a26d","datavalue":{"value":{"amount":"+0.7471268177032471","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":"Q2943360$1CF72F4E-9BD8-493B-8DA3-914EDDE76EEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2943360","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2943360"}}}}}