{"entities":{"Q1355750":{"pageid":1366489,"ns":120,"title":"Item:Q1355750","lastrevid":67224867,"modified":"2026-04-12T16:11:46Z","type":"item","id":"Q1355750","labels":{"en":{"language":"en","value":"Type inference with non-structural subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1014240"}},"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":"Q1355750$86773BA8-897C-4769-8D71-3855AA2D8729","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bca96a0eab55e4172c49d7cd6dc274109c67791","datavalue":{"value":{"text":"Type inference with non-structural subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1355750$6C19687F-87CD-4FCF-90D1-720C4ED3D90B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f94acd80cf60657c3006b16f6f08bdad03dd6e5c","datavalue":{"value":"0868.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355750$2AC58C0B-9A34-415E-9C8F-30BE51BC78BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d3bf077538607e1c696070f7c50648c2d3fbc50","datavalue":{"value":"10.1007/BF01212524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355750$61AC8963-4D18-41E3-845B-00877D736C46","rank":"normal"}],"P16":[{"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":"Q1355750$0E8DDDE9-0F8D-4B65-9C28-AFD5808E5865","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":"Q1355750$94CBEEFB-F9BA-490A-8127-9B260C5BB1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"437e27f39d9f4ede0992af724048fe19602330ed","datavalue":{"value":{"entity-type":"item","numeric-id":1355749,"id":"Q1355749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355750$69326AE5-4543-4EEB-96C7-E1E974A01731","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355750$28113B21-7A50-4670-8372-31C091DD94B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b34f93578f34bf813eb265da2a0d58fb3d8dd5ea","datavalue":{"value":{"time":"+1997-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1355750$4F6A7042-8B2C-4F31-83EB-3B591EF413B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355750$E9D6BB5A-628B-4FDF-A78B-39F724B309BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355750$A6E9666B-8E33-4875-B107-D882294464A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355750$114FB0FB-7532-4544-BDC5-0AB7057F32A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c1b3d037aa95b27e8fe58c7645def0f5097c4f3","datavalue":{"value":"1014240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355750$1E9676AB-04AA-4D35-8FA2-C1E40EFF779B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e09ff2e7dda5dd7cf580b3bc4bf62a48cf8f6c","datavalue":{"value":"inference algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355750$8DE64525-5F73-4BF0-8DA1-D4DF1B5F991D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fdac489de3f2a7d97a01560f5409c27658376818","datavalue":{"value":"Q61660786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355750$27D7F7D6-23AE-4750-9CCD-AD01C95869A6","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":"Q1355750$2CC838F7-B5D0-4070-BA20-1EAEC2D0C125","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e8d9092234dd4289988ba4e073f4eadee7dd3d","datavalue":{"value":{"entity-type":"item","numeric-id":1337466,"id":"Q1337466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355750$5E11D3B6-B248-4A0A-83DB-1F7B4654EC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea65036ecd194ff8221becdeb615d4d21186d775","datavalue":{"value":{"entity-type":"item","numeric-id":4847313,"id":"Q4847313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355750$F38F355B-DBB6-4BC7-994D-75B30FABB2C6","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":"Q1355750$CA7E1CA7-4ECB-4CB7-8F2C-C891DA49124C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ac3ec01883f9afb7f64445e0b4904ccd7aa4c19","datavalue":{"value":{"entity-type":"item","numeric-id":1199876,"id":"Q1199876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355750$C9AD1D6C-C997-49C6-9B7E-13815D889744","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":"Q1355750$5953587C-F9F7-42F3-BB12-5625AFE5345D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff07822832d6f2b37392d53640e87cc5f372eae3","datavalue":{"value":{"entity-type":"item","numeric-id":808687,"id":"Q808687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355750$92DAB798-E9B1-4AE5-B037-535579CCB623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc540f1067f7834cee8f3fc63ea5adef5a4d4da","datavalue":{"value":{"entity-type":"item","numeric-id":4862765,"id":"Q4862765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355750$70D45FFF-05C8-4F66-9E4E-3F8F38EA77C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e42bbea7cd67be0948ecc04ecbc3f09e316312d","datavalue":{"value":"https://doi.org/10.1007/bf01212524","type":"string"},"datatype":"url"},"type":"statement","id":"Q1355750$EE842078-1CF9-4F4A-9966-63A972D5FFFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc5e11cf22f6a627abd7759b23a05095a1dbe851","datavalue":{"value":"W2156211387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355750$4C51B2B9-25E8-44B6-BD37-094B444858A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e4ed5da66b9b8d0c38fc30aadf7bbe8801ccb9","datavalue":{"value":{"entity-type":"item","numeric-id":914357,"id":"Q914357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cc9d7a67d61eb16545922aa427f0e90b020b77c","datavalue":{"value":{"amount":"+0.94888884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1355750$8EBA643B-6E61-46D1-A000-FA0441A79CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ada67c465d3744e43183e0f26cb801c32e625bdf","datavalue":{"value":{"entity-type":"item","numeric-id":5348899,"id":"Q5348899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24ba23308973eb92b5c28f9bbe2429a3b10ec8d8","datavalue":{"value":{"amount":"+0.94550866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1355750$23588F6D-9C26-4F9D-A3EC-3C92E2892D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5290c0ccb7aa8018a2f2bf6b931e4236417232f","datavalue":{"value":{"entity-type":"item","numeric-id":5096210,"id":"Q5096210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a578fccd01caa32749048ecd6a17d34fa4695e","datavalue":{"value":{"amount":"+0.91363037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1355750$F4C7F3B5-2A94-423B-9B6F-553E67490AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3920d60595b82c842b3f7398b11719680c162d0","datavalue":{"value":{"entity-type":"item","numeric-id":4490755,"id":"Q4490755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b4520c0c0e77951af75fa45c0dec46c8393353","datavalue":{"value":{"amount":"+0.91168046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1355750$1AAE18FB-ECDB-46A7-B34A-B02ABF25565F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1b0f160bbc941ec74ecbc89400d2c491580c66","datavalue":{"value":{"entity-type":"item","numeric-id":1271309,"id":"Q1271309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7aba3671bb016944ad0e3c474008a580808612","datavalue":{"value":{"amount":"+0.90961426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1355750$C7F0AC20-631D-403F-9042-FB125DA8EA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61e3564cf3644023b49c87415d47d0b19f8f2603","datavalue":{"value":{"entity-type":"item","numeric-id":1318726,"id":"Q1318726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb65a9272bb43a8e676d422180eadc702d50a7aa","datavalue":{"value":{"amount":"+0.90787005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1355750$8889183F-BB45-4308-BCBC-5207D8CB3E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b71cf434253716a7043a1ac82b2e00512471d48","datavalue":{"value":{"entity-type":"item","numeric-id":3793704,"id":"Q3793704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"702e4c27e31d245caa4a9fa452c7016ad5db6001","datavalue":{"value":{"amount":"+0.90786994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1355750$A2CF3DD2-BAEC-4C19-A6EC-501EEEA76E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff5c726b0add03572e8b3285b9075bc6bd5c3b62","datavalue":{"value":{"entity-type":"item","numeric-id":3142165,"id":"Q3142165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10bf0d8052f11ad761d389ab58511e7560cf4f9","datavalue":{"value":{"amount":"+0.904997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1355750$CFC66902-45B5-4D7B-8A58-8589E8F2F064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6f76415a446fbd42c606c261fa56ffb5c9a4fa","datavalue":{"value":{"entity-type":"item","numeric-id":3705422,"id":"Q3705422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f2e537c5ac3012ac3e4e81c8df7cc3688bec58a","datavalue":{"value":{"amount":"+0.9041632","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1355750$3F02B1EA-868D-4EE0-8149-81183CDAB2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2894654c7c0130bc8011bd63f636a88f835b55d7","datavalue":{"value":{"entity-type":"item","numeric-id":1595249,"id":"Q1595249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d54cff44bb2a22045996311b9caba8ca84091b8b","datavalue":{"value":{"amount":"+0.9039676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1355750$3FD18C9A-AE2E-4AAD-8340-52730A81E70C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type inference with non-structural subtyping","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_inference_with_non-structural_subtyping"}}}}}