{"entities":{"Q5044773":{"pageid":7074350,"ns":120,"title":"Item:Q5044773","lastrevid":54433805,"modified":"2026-01-26T19:44:52Z","type":"item","id":"Q5044773","labels":{"en":{"language":"en","value":"Type reconstruction with recursive types and atomic subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7611297"}},"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":"Q5044773$80ABCABE-9182-473B-A49A-FE244F21EC52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b3d8a75e58863567faa8fe0477005583e883913","datavalue":{"value":{"text":"Type reconstruction with recursive types and atomic subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5044773$189768E2-A874-4B3D-9D39-4A7AFA6D5183","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"892661f80e77ce63f7a217e8ccb0dc3435aa600a","datavalue":{"value":"1497.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044773$8278505D-9B2B-4D13-916A-8A33233538A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b268f03af39eb1a2eaec82e44107506f501b19a","datavalue":{"value":"10.1007/3-540-56610-4_98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044773$47C24037-A1F4-4A89-A9D3-5ED5B3F5387C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b456eca97fafb1433d85c58dba82fee4a5004ff","datavalue":{"value":{"entity-type":"item","numeric-id":801683,"id":"Q801683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044773$97CE99CE-7943-405B-ABE4-F1C602AB3876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0df46863ce98323a92df75a33b2683b5441c935a","datavalue":{"value":{"entity-type":"item","numeric-id":808686,"id":"Q808686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044773$59D31E29-155A-4E97-A5B8-D92D12574064","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044773$0556D061-F883-4574-89C5-BEF30729B012","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965dccc7e527e2e46ab67b03737c8d96f54b00aa","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5044773$EC6BEAB3-0113-4603-A8F1-597F8969C5B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044773$0BA0F0E0-B202-4EFB-A65E-7B46F28DC48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044773$B1991F0F-B4FE-42D1-8E4E-99EC9833D466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044773$70103776-407F-45FB-B1BB-DC12BEDDDE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044773$2D2EA42E-D6DA-45F8-A384-4BB8A1945046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044773$D0EF250A-22D5-4CA1-83F3-B593E8B6663A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044773$1E4CEBB3-A1F5-456C-B63F-4151A301D169","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e87364b2214b746583e3f78eac74936fc2688f6","datavalue":{"value":"7611297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044773$3D7B5B43-ED01-4E2A-8A6E-EE7D6978CE4B","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":"Q5044773$66F308E3-44F9-4B80-BB52-7ADF73B032E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ceabc9c386782c6f749f1f73dc7f194e731457d3","datavalue":{"value":"https://doi.org/10.1007/3-540-56610-4_98","type":"string"},"datatype":"url"},"type":"statement","id":"Q5044773$CB37568E-BB4E-4D34-BC3B-D3B8C8D85D5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32382639af8d43ad72ec635d4e19e2402989b99f","datavalue":{"value":"W1779315440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044773$E430D595-107C-4221-BDEC-2B04C8818500","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044773$611B0D73-C29E-4C52-A91B-8C892FE4DA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a9169f9863dd0cf907a7ea462945e74c6dee2f","datavalue":{"value":{"entity-type":"item","numeric-id":4939703,"id":"Q4939703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044773$17CD07F9-EAA8-431A-8D68-653EC3326A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300e1e7990d1f1904b1034a2731e332147efe257","datavalue":{"value":{"entity-type":"item","numeric-id":5616162,"id":"Q5616162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044773$E34D3F22-F100-42FB-9283-BF7FC46F9E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a3c56a9c2e26fe22a7a8fa0ec9218029f11576","datavalue":{"value":{"entity-type":"item","numeric-id":3793704,"id":"Q3793704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044773$F728EEC0-D1F2-44DF-9228-4446A7365530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044773$EB1BC919-FE50-4E26-8A8A-A8ADE7AE62CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b5d59f3624f21c2d43731419df26dd8d547233","datavalue":{"value":{"entity-type":"item","numeric-id":3787979,"id":"Q3787979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044773$CC20F181-C156-4751-9A1A-4D3E417049BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f377d2f7d8286c8518da236cb0e22f6899cbe4be","datavalue":{"value":{"entity-type":"item","numeric-id":4893144,"id":"Q4893144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64752ae95c815ac203f5a001c3cb2c92d86b39fe","datavalue":{"value":{"amount":"+0.7930867671966553","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":"Q5044773$5B692E4B-D279-4E82-8A36-45FFDAD3A70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d91df6876d18efe8160d4b788d4be02a841cfc6","datavalue":{"value":{"entity-type":"item","numeric-id":1275620,"id":"Q1275620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be3b28c246b59ed3ee60dbb1256a6443f48d81c","datavalue":{"value":{"amount":"+0.7882972359657288","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":"Q5044773$A0F12CA8-903D-49DB-94D6-A243D01BACFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf628d97675155cf4264d9db17543f83fc483b3","datavalue":{"value":{"entity-type":"item","numeric-id":4847313,"id":"Q4847313"},"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":"Q5044773$817A50BB-AB80-48D5-A8A3-41AD76F61FD5","rank":"normal"},{"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":"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":"Q5044773$BE387D35-1E7D-4643-BBEA-11A9B2F74CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5eea353e0db3c4a9c6271e40563adb65a914c93","datavalue":{"value":{"entity-type":"item","numeric-id":2736357,"id":"Q2736357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5846fbdc1449d04a8f08e7fce7275f775e9d9b5","datavalue":{"value":{"amount":"+0.7615952491760254","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":"Q5044773$8863A966-DF36-4545-88BB-3807950C6B61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5044773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5044773"}}}}}