{"entities":{"Q3789049":{"pageid":5818955,"ns":120,"title":"Item:Q3789049","lastrevid":52750160,"modified":"2026-01-23T10:28:07Z","type":"item","id":"Q3789049","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4052993"}},"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":"Q3789049$EA1AD96A-C679-499F-B94D-F33B9C588C39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8365549308fa60132292e206855c70be5770d26","datavalue":{"value":"0645.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789049$E9F8E0FD-D067-4243-85D3-BAA83BDCB7D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"391ea0a2eccd2e1ffb7d70cb5807f87e3011ae63","datavalue":{"value":{"entity-type":"item","numeric-id":418827,"id":"Q418827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789049$85989762-AD05-4D10-B9B8-E83BB93728E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3789049$AFBADB58-A908-4435-B8C8-127827F35385","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789049$E0F8AA93-F3EB-48FA-B0E7-AFACE14A070E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789049$3B200855-268B-40C4-92B9-61FFE507223A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ad8a1b31b2adf0bb4f59e6a83ad957f9a59e621","datavalue":{"value":"4052993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789049$BBF34A28-0C51-4990-AF81-4B149BDD16F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2f8a8c6205b297df6a4bc7561a8d8613cb0de9f","datavalue":{"value":"typechecker","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789049$D9DA8ACC-6A80-4467-B814-1DFDB80EE794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789049$78A2473C-D2DB-4266-8698-F5F11947FA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5934bfe488ad6ac441a2d887e283b8ccc7bca59","datavalue":{"value":"subtypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789049$3701F74B-A3D6-4E71-94EC-3CD1AC137632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eaf9322006052b96f9a16f9b5bfad2492ee4d2b","datavalue":{"value":"undecidable type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789049$79348DC3-2E09-4A3C-9181-08C1A831A5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789049$ABF64565-09B4-4D49-B08C-1F177E9315AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5294f47a09b45f5a434ae5708670364f6186bd86","datavalue":{"value":"unstratified type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789049$AA1BA2FA-8DE5-4E5A-A237-15AAD83386DE","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":"Q3789049$86FC7F5E-D404-4EEF-AB44-5A4F3DFC3950","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd02653a0f5288cbd7583c98894a5128fb01b60","datavalue":{"value":{"entity-type":"item","numeric-id":5958760,"id":"Q5958760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a3dba85ef776b8753cf55cb1809f6f10a6cdf0","datavalue":{"value":{"amount":"+0.7747496962547302","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":"Q3789049$069C589F-6F61-45B9-A22C-922C13222702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e703c12462fa3c0b4409c4b169c76db5afa7ad9a","datavalue":{"value":{"entity-type":"item","numeric-id":4500363,"id":"Q4500363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe7e6958f4873cb812f6da3a9cda14100fc80ae1","datavalue":{"value":{"amount":"+0.7628847360610962","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":"Q3789049$497FB4AE-F045-42BC-AD9E-4D96DFB52CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676acc78143450b9c4ca5ecb1e6c35c2dea46e1d","datavalue":{"value":{"entity-type":"item","numeric-id":4813221,"id":"Q4813221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc96a89a5424c2b9897a77db107b9cfeb6d602ce","datavalue":{"value":{"amount":"+0.7275160551071167","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":"Q3789049$D03C6C9F-7DC6-4127-B692-7C116F5C8C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829b4d858b16a99fc7afebff6d82149e39b63c73","datavalue":{"value":{"entity-type":"item","numeric-id":5300899,"id":"Q5300899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0784fedd5f3bca9434080b2c300fa2ab2ce9b1e","datavalue":{"value":{"amount":"+0.7166150808334351","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":"Q3789049$9C3795F5-44DF-4334-A047-7FAC8BA428BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0e6455d64c974c18e666d579868b607d74d057","datavalue":{"value":{"entity-type":"item","numeric-id":5166618,"id":"Q5166618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1408abba4758e707032e219b3c15914b87e6b7ae","datavalue":{"value":{"amount":"+0.7117359638214111","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":"Q3789049$C417D575-F772-4A42-9366-F4CD887D6F61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3789049","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3789049"}}}}}