{"entities":{"Q5756517":{"pageid":7786068,"ns":120,"title":"Item:Q5756517","lastrevid":92895179,"modified":"2026-06-05T03:02:13Z","type":"item","id":"Q5756517","labels":{"en":{"language":"en","value":"Type Reconstruction for General Refinement Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187174"}},"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":"Q5756517$954BAE2A-19DC-4157-BE7B-4E10DF62204B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a7f041991afbb3aee2a72e611db3ce3e50eec8b","datavalue":{"value":{"text":"Type Reconstruction for General Refinement Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756517$C0D0721A-1B2E-418E-95CA-C24E478A3A99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"813e0529cc1fa4bb8578f521c847fbffddc96fe9","datavalue":{"value":"1187.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756517$6BFEB425-B1BC-4866-867F-03114B24F602","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2116d0e9354216ce100990708a120c659b265a3","datavalue":{"value":"10.1007/978-3-540-71316-6_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756517$6E9B6807-5F64-42CE-A7FB-E4F554A9D72F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9e0b6cafc94c23d062a1b07eb86e586eaafa042","datavalue":{"value":{"entity-type":"item","numeric-id":5756516,"id":"Q5756516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756517$A57F1A3C-A074-4A65-BF83-5901E92BB27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38126dc183098febb961ba3435b28eb28edd09c1","datavalue":{"value":{"entity-type":"item","numeric-id":557791,"id":"Q557791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756517$44A6B7C7-9FA8-4581-89EF-988F01520A45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756517$CA4F51E1-200D-447C-A0CA-821CAED0CC3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756517$FEADFDAF-24C2-49F0-9B4F-61691949080F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756517$D0218F4C-9955-45A5-BE14-D4F1B765D056","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2489c4fb4b325578e278b8a63b0ef86da7ce10ff","datavalue":{"value":"5187174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756517$A4C4E3DB-000F-4DF9-BABC-B3C2F353146C","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":"Q5756517$48F191A4-48CE-463B-A4DB-3C307E7448E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"101a5bf2c8bb131402213f637b5bef1c06893c8d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71316-6_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756517$5DEB476E-07E8-4FF9-8AF2-886451772AC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7471cfe0b234ce7bd65c351dce3a8eb951815fa7","datavalue":{"value":"W1766132142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756517$E43E6D0B-0283-4575-BF2A-22C8BE77EBAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d00651bf759d19ea59d81693e43e7c8aa8b9c90","datavalue":{"value":{"entity-type":"item","numeric-id":5326287,"id":"Q5326287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e130c6bee3ebc445dbc3baf957e6f4c5fffced97","datavalue":{"value":{"amount":"+0.7559643387794495","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":"Q5756517$35C1104C-8F4E-443B-8204-1EFE516029EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b69d8dd9871d8473fb2140a1e4380fc0ac7220b1","datavalue":{"value":{"entity-type":"item","numeric-id":4912883,"id":"Q4912883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a081fa460d65b4801c35c9d9c123f94d00ae30d2","datavalue":{"value":{"amount":"+0.7551235556602478","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":"Q5756517$BB0FAD1F-C7C4-476B-8EC4-6D44975C2E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129b5ea492b78f982bc5d0f15a8d1fffbb6813a1","datavalue":{"value":{"entity-type":"item","numeric-id":5370912,"id":"Q5370912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298e22919d90fb2178563dc7747cc76ab3570914","datavalue":{"value":{"amount":"+0.7513973712921143","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":"Q5756517$28A89765-FFBF-416A-AB49-AB250D19E6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb749952a68c5b82e606596cc60d6f39df18bd79","datavalue":{"value":{"entity-type":"item","numeric-id":5030192,"id":"Q5030192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56eab8abba9eb9de53c8edeb5840435421172207","datavalue":{"value":{"amount":"+0.7477319836616516","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":"Q5756517$A6DD94AD-2C6D-4F44-8281-1FC7D9846431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9425ac4f2b0d553e23ac5338717734486a1b4b37","datavalue":{"value":{"entity-type":"item","numeric-id":3060978,"id":"Q3060978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7685f23d238556b68e329b15466b0d591e7222","datavalue":{"value":{"amount":"+0.7424328327178955","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":"Q5756517$D6AE3F53-E0E4-42A7-B643-A4DDAE19B0DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type Reconstruction for General Refinement Types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_Reconstruction_for_General_Refinement_Types"}}}}}