{"entities":{"Q3342573":{"pageid":3353281,"ns":120,"title":"Item:Q3342573","lastrevid":48749218,"modified":"2026-01-05T18:54:11Z","type":"item","id":"Q3342573","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3875278"}},"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":"Q3342573$B5285068-FF7E-4170-BB22-CFD47C234072","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c12d94f5e6afd20f207ae6d42a675cd3bd2ddc0b","datavalue":{"value":"0549.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3342573$4B10EE82-AB8E-4952-9A51-CC5AB1906C57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab81d74da7d6cf4bb1c0c07253f943d18da01ee","datavalue":{"value":{"entity-type":"item","numeric-id":1123882,"id":"Q1123882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3342573$027CFFE9-13A7-41EF-95B2-FAC3993AB498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05de455bccc01699903781162e24418d46351def","datavalue":{"value":{"entity-type":"item","numeric-id":6482386,"id":"Q6482386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3342573$76D377B1-F165-47C7-9B2E-5475163C854D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3342573$1A32CBC2-0F02-4FE6-BB21-65FCA185BDDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3342573$07F1497E-14DA-41D3-8FEA-21743859C0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3342573$1C6754C2-5AC2-484D-80C8-5DC07601A140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3342573$83849912-735A-4BFB-B1EF-EC80D0371470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3342573$69DEA44D-332B-4D1B-8528-60A632EE97DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3342573$1BBF593B-543E-46A6-9EDB-032BB6813B9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f893f5c31322040447dbfe13c5e87c49d8bb151e","datavalue":{"value":"3875278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3342573$D160CDE7-EFA7-405E-B278-030BA984340F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3342573$48CBFF68-0081-4687-8135-8DFC510D749D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q3342573$9A8CB03C-8FD1-493D-A027-9DA7D5BD0AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a645f1ee8946a03309984f61203be8759d9dedf","datavalue":{"value":"cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3342573$5BACBB38-8CB8-42F8-96F2-F4449D262D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0bf47e30f145de43703e723c78a91703177f656","datavalue":{"value":"higher-order type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3342573$5D42AF70-4A8B-4250-9534-628C0C698375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e1a27388601c045a8d9f673692f60d4475ff15","datavalue":{"value":"toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3342573$A329BF78-8323-4FD4-8105-E60BB4A925BE","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":"Q3342573$92AA7D2E-6D7C-48E6-A28D-6E2871FA77D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75c29a9e841d715a0607f285af610409eb4f288","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71197a91d28e7873966ee801bd6e2c7e052aaf7d","datavalue":{"value":{"amount":"+0.8762322664260864","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":"Q3342573$1BC4A502-5D93-4C9A-B8C6-8083F2ECA1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba734823adc944777046576f863268cf0a8a7f78","datavalue":{"value":{"entity-type":"item","numeric-id":3749213,"id":"Q3749213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"007a02820c11725da77785e36356e418503ea48d","datavalue":{"value":{"amount":"+0.8226106762886047","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":"Q3342573$223782FE-2CEF-41AA-B02E-C7CD502B9F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b921691b4d2505e7a5c5ded47c65c86ae05c09a3","datavalue":{"value":{"entity-type":"item","numeric-id":3760508,"id":"Q3760508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8917ee88cdc5b455f51062c02cc8bea5e69fea5","datavalue":{"value":{"amount":"+0.8113637566566467","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":"Q3342573$00FC4E0B-0B65-4F5F-827B-FEE188461FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9e609a2379b41de718b1b2609daec239b1baa58","datavalue":{"value":{"entity-type":"item","numeric-id":3694667,"id":"Q3694667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fca01601554875cb504fcb2e363a5c39101c9042","datavalue":{"value":{"amount":"+0.7875099182128906","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":"Q3342573$3EAF4487-DDDB-4FC0-BB68-573063AB8FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53facd2fa443e736e0cad757fe7e0f6d3112630d","datavalue":{"value":{"entity-type":"item","numeric-id":3768870,"id":"Q3768870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a003ef20eb0092c053773687592fcee04f98ca4","datavalue":{"value":{"amount":"+0.7874971032142639","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":"Q3342573$03FDB63D-0E35-4BA7-9FF7-442D1EF5D449","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3342573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3342573"}}}}}