{"entities":{"Q673966":{"pageid":675815,"ns":120,"title":"Item:Q673966","lastrevid":46768158,"modified":"2025-12-25T13:36:08Z","type":"item","id":"Q673966","labels":{"en":{"language":"en","value":"Divergence of \\(F_{\\leq}\\) type checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985860"}},"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":"Q673966$50175673-7671-4FE8-9AD8-066D1A3227F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2fc595970609a089fcae321b175e94b97a5f9e7","datavalue":{"value":{"text":"Divergence of \\(F_{\\leq}\\) type checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673966$CD519B08-FF8A-4211-9531-46DDF014A11B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6300e5e53a7c09786049c3dd86378b611ad9d15","datavalue":{"value":"0874.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673966$1C5051DF-A842-4D23-868D-57B2840E5621","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea6f3f2f18093ccee68af6ec917290b00debcff5","datavalue":{"value":"10.1016/0304-3975(94)00037-J","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673966$47C362D8-992D-4CF3-8F92-D9C6DFC1260D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee23461be9262b029750fffafa71dd9be63b3f19","datavalue":{"value":{"entity-type":"item","numeric-id":673965,"id":"Q673965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673966$C948A20F-FCCC-49C0-BBBD-5C38C00511F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673966$9FB11F3B-DC40-4C57-B4FD-A3105108F980","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-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":"Q673966$CF41F324-1ECE-4134-8FF5-66F7264DBFAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673966$E798B88D-2C14-4757-ABB8-F89B6C90C874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673966$6B37453C-E2D2-4200-B9E9-A6F1A3893FD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9250dfe51623078e67103cff9e891e275f1bc9b","datavalue":{"value":"985860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673966$D7164494-AF6D-4A2D-94ED-1B7015DFB562","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bc576df5b6b19911b67154249f5b93b7ecea61c","datavalue":{"value":"system \\(F_ \\leq\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q673966$20F4B137-464F-4FE0-A370-E4A87D43BE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q673966$30F3C7EB-94E1-4D1F-AE36-0E8F4AF13E73","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":"Q673966$2705D3F5-16F4-44D7-8442-550B19597E2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1c3af5b659c9cec818970365dbdcb96722aee3","datavalue":{"value":{"entity-type":"item","numeric-id":4764618,"id":"Q4764618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673966$B371D97D-B585-48CE-A356-D8A198F4D5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65795f6000b6bce782c0e6be873ab44154cb4a01","datavalue":{"value":{"entity-type":"item","numeric-id":922718,"id":"Q922718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673966$D17D7482-B268-4EAD-9503-B73ECA99BB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a4ac9496c42e23fd254aa24e5eda39806cc4a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4939689,"id":"Q4939689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673966$1058363B-546C-4A66-BAB2-7316D435350E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be63c5f271ce7f1f200c26e0ab76283f6d86ebd","datavalue":{"value":{"entity-type":"item","numeric-id":1322473,"id":"Q1322473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673966$C7FAD977-EEA7-4DF2-83BA-42EE85D1364E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a78c85c5fc419aadf018d3c9e04aeadce3f25f","datavalue":{"value":{"entity-type":"item","numeric-id":3349962,"id":"Q3349962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673966$5FA21FD5-C5CE-4B60-B243-6548C42C5257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd8d9ead5f4aef6a0df48651eef887001e51c4a5","datavalue":{"value":{"entity-type":"item","numeric-id":4005456,"id":"Q4005456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673966$989B3916-9132-47E1-B800-6893D44604E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60afb1a60f89c9f877c5dd310018f93c1008080a","datavalue":{"value":{"entity-type":"item","numeric-id":1322474,"id":"Q1322474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673966$DA553EF9-2194-40E9-BA7F-799A107DC634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"148a24ed77c369badb6d0956617c4690b3c26f79","datavalue":{"value":{"entity-type":"item","numeric-id":3795187,"id":"Q3795187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673966$7167CC8C-CB50-4AA7-A82C-3C0CB53F8624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673966$0A0FB859-2568-4677-889F-DE56AA2A7E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fadb98706e8c9ab659cb856584ca2086f4fff623","datavalue":{"value":{"entity-type":"item","numeric-id":4281471,"id":"Q4281471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673966$EE476B47-B853-4C86-8BF0-189EA5C26291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88588b78926ae4bb8fbe9ab2d45780f703ce3cee","datavalue":{"value":{"entity-type":"item","numeric-id":673966,"id":"Q673966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673966$4786BF02-0806-4E86-9DCA-8D93B940D5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f783f5f75d77ac3ad21c74c378596c6d16b55a","datavalue":{"value":{"entity-type":"item","numeric-id":4855349,"id":"Q4855349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673966$0D595167-270F-47C5-BB8A-A1B052B1907C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4436008312f50bedb48fa8d06ec6ec3a3a0daa26","datavalue":{"value":{"entity-type":"item","numeric-id":1327694,"id":"Q1327694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673966$2CCBCD12-6EFF-4FA7-B643-0D7241C6665A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673966$0DF0E0F1-2246-485D-B70E-93453668942A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedc5fc02249d7fe072d2dfa32926af06efc19c9","datavalue":{"value":{"entity-type":"item","numeric-id":1302292,"id":"Q1302292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16429bb36647032d6f7d26c46695d4ed1b8e4223","datavalue":{"value":{"amount":"+0.8214082717895508","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":"Q673966$5E91F776-A535-4638-911B-C73C7A9A0CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da613220951a6ff0da516ba157f14995da7c95cc","datavalue":{"value":{"entity-type":"item","numeric-id":4855344,"id":"Q4855344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb7cc00b88efecc5de1d7ab00d96714531cb89bc","datavalue":{"value":{"amount":"+0.8057985305786133","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":"Q673966$AED00219-C573-42E1-A283-587AB728AA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9edc535a49624d795add1c1d71a3ac0b8f178f67","datavalue":{"value":{"entity-type":"item","numeric-id":1327694,"id":"Q1327694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e80198d27c7e2da6650df82d2a429164f0fc48b1","datavalue":{"value":{"amount":"+0.7877998352050781","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":"Q673966$EDB23648-22A1-4D8D-962C-DAECE86EA607","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:673966","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:673966"}}}}}