{"entities":{"Q4847313":{"pageid":6876893,"ns":120,"title":"Item:Q4847313","lastrevid":47355610,"modified":"2026-01-01T12:03:47Z","type":"item","id":"Q4847313","labels":{"en":{"language":"en","value":"Efficient recursive subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 798805"}},"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":"Q4847313$74A42756-A460-47F8-92E4-492F56C7B0A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32ca990c83a087df1e23ef906f0a308ec86c3b8f","datavalue":{"value":{"text":"Efficient recursive subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4847313$68207343-4875-41AB-8DBF-530671C8A912","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8269dd4c3a0b9e4212bf7c2a88f93a1907f77742","datavalue":{"value":"0840.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847313$4A750A6C-A8F8-4256-9955-7966DE42A11C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ffc13817ba33cdb9b8bbb4db44af0363f0edef9","datavalue":{"value":"10.1017/S0960129500000657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847313$91962974-7426-4638-991E-C60B5E637124","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847313$8E1EFE17-D975-4D5A-A4EF-6039EF5F79CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7f811e3f3dcab3f43bc2cac5f5c769c98be55f5","datavalue":{"value":{"entity-type":"item","numeric-id":672458,"id":"Q672458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847313$D5BA4842-37BA-4B7D-B244-15FE7F30B590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8d335d38758832e72d934ab76956198e7e084cb","datavalue":{"value":{"entity-type":"item","numeric-id":685349,"id":"Q685349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847313$8B05F86D-81D3-43C4-BADB-A9001F787AEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847313$57F6F389-DD16-47F7-B573-AAC4DF0D1A29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3dc154eee51bf5abce35383f4dbccd662b8b9c55","datavalue":{"value":{"time":"+1995-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4847313$1E7AD1D4-1B77-4D75-B715-7292E9D2E95D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847313$F4BD7BD7-5E8F-43BC-B694-50BA19228C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847313$23EEC8EC-CE2F-476D-8EBF-6B20DC37960D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847313$BAA05CD4-D9F4-46AC-B96B-427DC2570DA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ff52eb10fb001e53924d79ab591675b02851b5e","datavalue":{"value":"798805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847313$461EFC13-5045-4A32-A20D-9918F6D0A64A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a96e78bb75655ceb613e6fc852784365b7f003ba","datavalue":{"value":"subtyping in the presence of recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847313$99ED162C-2C24-451D-B51E-1686D0CEC190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847313$11910717-DDEE-490D-8F4B-24438CAF1B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847313$F27E967B-237C-4724-A844-C072C73AF568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9159d4f959d21ef7c3c5f2d36ede4144c26f9c","datavalue":{"value":"emptiness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847313$709503D2-E265-4C5F-ADB9-DE56934760D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847313$7D7E0ED7-9E25-40FA-BABC-A248D8EFB3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a1f0b6e200e3127337e76bdf76a56dbff3ed5d0","datavalue":{"value":"orderings based on contravariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847313$9648E6A5-2E93-49A3-B856-BCD1D7955BA1","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":"Q4847313$F88DAD05-1E83-498B-8C8F-A04400FE7926","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847313$DD4CBC94-6278-459F-9052-0C72F720999C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01290aa132a6a73fdc9b31993058e60441c9cb10","datavalue":{"value":{"entity-type":"item","numeric-id":2943374,"id":"Q2943374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4d3deb1d72743d7a0f8fd73586715c7589dd14","datavalue":{"value":{"amount":"+0.8047669529914856","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":"Q4847313$C0270026-9504-4012-A1F4-C4DE9FDA8993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9db87dd978af34a06ed490bec7c1b4734f165f1e","datavalue":{"value":{"entity-type":"item","numeric-id":1854490,"id":"Q1854490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd4e1fdbc8d17fa7070bced24767c1e91a2ff3e","datavalue":{"value":{"amount":"+0.8010444045066833","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":"Q4847313$F0848627-F1B9-4121-B26D-BBDEDC5B6341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e519c12e13a98e58aa84386b746b0088886c0173","datavalue":{"value":{"entity-type":"item","numeric-id":4709841,"id":"Q4709841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e4f6291ad3647ce0c78e663227e82d511c09768","datavalue":{"value":{"amount":"+0.8003494143486023","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":"Q4847313$80BB5217-04B7-4D39-8778-ACAFA532E3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ba36fde3d46f584cd2580b22efabfed2b1db2a0","datavalue":{"value":{"entity-type":"item","numeric-id":5044773,"id":"Q5044773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d545b565beefdbb7d87a37677a7dbdd2880979ac","datavalue":{"value":{"amount":"+0.7807791829109192","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":"Q4847313$6212F00E-B96B-41E5-87FF-E2DD41085259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb809402d697e2121d3f8072f5a8d478fae64b0","datavalue":{"value":{"entity-type":"item","numeric-id":1780453,"id":"Q1780453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85fc417d06cd5722eb7d4a2c71bde51dadd1062b","datavalue":{"value":{"amount":"+0.7675077319145203","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":"Q4847313$4338DCDD-5DDD-4D6A-A27A-DAFEC5C20557","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4847313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4847313"}}}}}