{"entities":{"Q3312222":{"pageid":3322930,"ns":120,"title":"Item:Q3312222","lastrevid":48670234,"modified":"2026-01-05T13:49:22Z","type":"item","id":"Q3312222","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3841847"}},"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":"Q3312222$AE1DADC4-8775-4D13-A635-D0DAAA658EB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af9500793150419646cf1bbe5660195ddf2d6cab","datavalue":{"value":"0531.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3312222$57E5774F-ECB2-4A5F-B2CE-3C565713923B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3312222$AF1743F5-DEBF-4009-AAB1-33086A4F5842","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3312222$EB211FB4-2768-48B9-B991-5673D3AE2704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3312222$DCCB51C0-3685-4901-B451-859FFD25E6F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7163e7df6109b25d120aec716a645a601bbd798","datavalue":{"value":"3841847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3312222$A7156CA5-5CEE-4CAB-992C-13FB207EA62E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c506e8ff411f4892fd688be886ab4138d835201","datavalue":{"value":"extensions of the intuitionistic type theory HATT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3312222$2D74ABB6-3DF6-4821-B027-DFE4661B593D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e827a2f1d9e2ec3bdc3a7ec6d04e64033483bb","datavalue":{"value":"existence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3312222$20FC7E0B-1F0C-43E0-BC27-19C9582724BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3312222$CA8D63A2-0C51-4081-B4C2-1FEE85CB924A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24b8f9e5f49ee9cc7730fc330731e00244bbebf","datavalue":{"value":"theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3312222$017874B7-2262-4A23-88EA-702ECF1E4C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3312222$B50A2FC4-EB29-4A41-87C8-0DF529B6B834","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":"Q3312222$FFE3578C-D4DA-4483-BF08-A7144AE589D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6abce847cf695a1699d312233c2b4b9995b7529","datavalue":{"value":{"entity-type":"item","numeric-id":580341,"id":"Q580341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd158831c4e82607c522f50e14d341f548e7b38","datavalue":{"value":{"amount":"+0.7695900201797485","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":"Q3312222$02072DB4-2BF6-4DD2-AE5F-58B7F186FF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59792b46501abd53f850dfa193e4dbccabd0adb","datavalue":{"value":{"amount":"+0.7666428685188293","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":"Q3312222$2E2DCED9-1C03-4264-8A53-F183832144D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0627095eea66db634fda4421e1e92d7c3f8e791c","datavalue":{"value":{"entity-type":"item","numeric-id":1192333,"id":"Q1192333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8707f11cd5b3d0be1cb8e338183d8eb2d928603","datavalue":{"value":{"amount":"+0.7645836472511292","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":"Q3312222$49D4DC01-108E-4C01-8854-B6EDF4C0292F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c78480b647da916ec4a81a367238985aec48ae","datavalue":{"value":{"entity-type":"item","numeric-id":3312223,"id":"Q3312223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1c74adbe3c067c977cc7c3a8eb79e2e6f7e93a","datavalue":{"value":{"amount":"+0.7635581493377686","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":"Q3312222$3883226A-F6D6-4662-BA51-C88B1A46B591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98289c13eae7d2d17fdaf082e38656c033afa530","datavalue":{"value":{"entity-type":"item","numeric-id":1080424,"id":"Q1080424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd162955294faafb315571a10f2b3bbcaca1d68","datavalue":{"value":{"amount":"+0.7581607699394226","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":"Q3312222$FD96A8AA-4A2C-42C8-97A2-A2946036B13F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3312222","badges":[]}}}}}