{"entities":{"Q4362923":{"pageid":6392522,"ns":120,"title":"Item:Q4362923","lastrevid":46489371,"modified":"2025-12-24T21:52:39Z","type":"item","id":"Q4362923","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1086673"}},"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":"Q4362923$2DAF6829-FE69-408F-A21D-BB0DA19B52A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc1acfbab48922bc413cbd64bb9f4c9d711cc9ba","datavalue":{"value":"0882.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362923$89E2399E-4B9E-419D-ABCA-72B998C092E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5113b34e3bbf27434e01e2c75e261e7834776faf","datavalue":{"value":{"entity-type":"item","numeric-id":220709,"id":"Q220709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362923$230DA3E1-0AE7-4ACF-9FA7-F7E7EDD62ACD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a25635c340656bd7c7bb911f1494199e5379f0c","datavalue":{"value":{"time":"+1997-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4362923$C937C59C-6BAE-4EE3-83A7-4EFBD228A5F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362923$26C2B192-5C06-41D8-8DC4-D4404D64D916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362923$9F8BE18B-8522-434D-86F8-D63428AFE421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362923$7BCFEA2C-D964-439B-9ABA-E9C053537DD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83b0adc09213b36a93973d600b688aaa4d6b6575","datavalue":{"value":"1086673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362923$7927183C-B2CB-4603-A329-296889BF0741","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7165fec9115f05c93be2e6750db8f2bb02167cc","datavalue":{"value":"coercive subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362923$29CFC3B5-114A-4E09-B246-0D54A795F064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b8395f1e96ae94b60d5ef35760850144d10737b","datavalue":{"value":"dependent type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362923$528B5A93-FAF1-4F6A-8EF8-DEC347E5979E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c51344918cf160612586ae31930ddba9864b1c0","datavalue":{"value":"subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362923$91C645BA-D438-44C0-A12A-36CFCAC63697","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":"Q4362923$39B01327-C8F4-43F6-A2B5-A301A7DB22E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b715475a5e4b33503e21e86d37cb680ba74d1b5d","datavalue":{"value":{"entity-type":"item","numeric-id":4238487,"id":"Q4238487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c1caa8f8ca6df9cb32bec45fe8bf97b90381cbf","datavalue":{"value":{"amount":"+0.98358815908432","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":"Q4362923$E307F943-EA46-444F-BD9C-ACAABF4A32F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"648908b5d41c6c11916370c6ee58e60f77eb1f1f","datavalue":{"value":{"entity-type":"item","numeric-id":1951591,"id":"Q1951591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce9de8dae1b8e1ccc3f5aaf542cdf3090e1b930","datavalue":{"value":{"amount":"+0.8952264785766602","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":"Q4362923$2565F71F-B58C-42C4-8559-52CCB95BEFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f29371f29340ab7599f22a7c91c5319d3120fea","datavalue":{"value":{"entity-type":"item","numeric-id":2996166,"id":"Q2996166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a528ba80dab8ee3e98b670a7329a080958f3286","datavalue":{"value":{"amount":"+0.8652671575546265","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":"Q4362923$B05720F8-C8AC-4B75-BB67-34CFD632FAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6272bff2ef2753562174842ca396160d3c8e9852","datavalue":{"value":{"entity-type":"item","numeric-id":5957918,"id":"Q5957918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb36f19741ccf132201a55be63d0c03f2efe949b","datavalue":{"value":{"amount":"+0.8544475436210632","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":"Q4362923$2CA99AF3-1661-4CC6-9CAB-F8DE42282F42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4362923","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4362923"}}}}}