{"entities":{"Q3452249":{"pageid":5227910,"ns":120,"title":"Item:Q3452249","lastrevid":52391798,"modified":"2026-01-22T13:10:50Z","type":"item","id":"Q3452249","labels":{"en":{"language":"en","value":"Semantic types: a fresh look at the ideal model for types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507255"}},"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":"Q3452249$3B9C167B-FEBD-4A2D-BA1A-D33055EC1283","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"deecdb76ecd8e2ca70fea2ec3dba74605c42d968","datavalue":{"value":{"text":"Semantic types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452249$B5E55F97-A8AB-4E73-8BDE-1978DBF7D496","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83412418c93238562f1378d7fec90e7e16260e22","datavalue":{"value":"1325.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452249$F6DB0E14-33C4-4DD5-A4C2-B709A9EAC363","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0eb57e0e549c5c325e319bf507355f6af57519f7","datavalue":{"value":"10.1145/964001.964006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452249$1E0905E8-FBB0-46BE-A199-87D962B9969D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31de6e3ea6f690e0f34598015e49f60896231fcc","datavalue":{"value":{"entity-type":"item","numeric-id":1945916,"id":"Q1945916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452249$9974DBC8-6D06-40C7-833B-FBAC8140595F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c50fe9376530cec8a3eb57fe20f53896f97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":345706,"id":"Q345706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452249$E4D3D3A7-9EF1-4E89-AB74-5E68BB764758","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0852588251a756a8ac86204eccc7b587f97246ef","datavalue":{"value":{"entity-type":"item","numeric-id":3452244,"id":"Q3452244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452249$8047BD6D-A097-474F-906E-E1042026AA21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-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":"Q3452249$29878892-4B1D-4DA6-BECC-4B5DCF8EB419","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452249$0BE1F553-8137-4533-8CB3-5361D8664445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452249$D3B8C49C-5E4D-49D6-AC3A-0439E31E5E20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"549d1c67d3187e5138703c241e7e1a20fb35cd89","datavalue":{"value":"6507255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452249$82CF6211-89AA-4781-8D6B-1F5A92E2F887","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"620d23b1d9138b393af56700731fae5959276839","datavalue":{"value":"ideal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452249$248B80EB-6C9F-4E58-B40E-D1EA81B19690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c9be2c3a9a4484b377aead2a5245caf7def1da7","datavalue":{"value":"inductive/coinductive principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452249$4BE0FE1A-9688-4677-8893-3615B5DC8C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452249$59DF1611-5953-4FCF-AB24-E1231A5A133A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452249$63F502BB-1F4A-4CD9-8997-5CDD6277C6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452249$FF42906B-63D4-4333-BAED-135C5819DD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452249$FAC1EF8F-92B8-48FA-A399-53B0F2984C59","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":"Q3452249$C0696437-3B20-4FFB-B184-0DB023A0D911","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb60e1efda6e93dabc555adf444f6bdd1dfcfe9b","datavalue":{"value":"https://doi.org/10.1145/964001.964006","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452249$2169CFA7-59DD-410C-ABD4-CBD637378976","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecc3659831bcd29b2b7afe2152537ad97710ddfe","datavalue":{"value":"W2034043336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452249$80F044B0-36AD-4DE2-A2B3-8066F2433C87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b127bbc9a2d4e633096b4beaf899857fd7928300","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bc7940c839f5c92e3ca50720743c70278d3a983","datavalue":{"value":{"amount":"+0.8516379594802856","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":"Q3452249$BD056347-69DB-4B63-A134-3CA30A3E60B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e26ef7ac46ca6ffa9c0d2bd243609233520aacd","datavalue":{"value":{"entity-type":"item","numeric-id":3988831,"id":"Q3988831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7826901f69d540360ba2e6351062ff34960ba76d","datavalue":{"value":{"amount":"+0.8410471081733704","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":"Q3452249$60AA94B7-9D78-49DB-BAF6-6F8DEF703EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42b13582039748547bca4af585df6c52a734c41","datavalue":{"value":{"entity-type":"item","numeric-id":3204052,"id":"Q3204052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0911e6c21666fb8cc59c125a6507e1e45e174079","datavalue":{"value":{"amount":"+0.8400996923446655","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":"Q3452249$4E820786-6C98-4F2F-A1E5-E6614B6E93B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b2e2b1cf655d4350a1dc386fa2ddf9033a3f70","datavalue":{"value":{"entity-type":"item","numeric-id":3835041,"id":"Q3835041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faddbd11fabb9722678a946c7c2ba98090f41859","datavalue":{"value":{"amount":"+0.7684898376464844","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":"Q3452249$E0690A7B-7251-44D7-AB2B-DDC25CF59CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48c12e038160c10bf82ab699ff0555168cca5eb9","datavalue":{"value":{"entity-type":"item","numeric-id":4206095,"id":"Q4206095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d447cc418caa6ec526146269a5088a7ccffd39a","datavalue":{"value":{"amount":"+0.7541894912719727","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":"Q3452249$F614D920-A61A-46AB-8725-5EA7E5D8B076","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3452249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3452249"}}}}}