{"entities":{"Q2996167":{"pageid":3006891,"ns":120,"title":"Item:Q2996167","lastrevid":85348382,"modified":"2026-06-03T07:15:06Z","type":"item","id":"Q2996167","labels":{"en":{"language":"en","value":"A type-theoretic approach to induction with higher-order encodings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5884907"}},"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":"Q2996167$F0BDA17B-6236-44CF-89A3-2FB3C28100D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89c575f3d4d051386ecf14479455e3e14bd1807e","datavalue":{"value":"1275.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996167$A91BDABB-6EE7-4EFD-8E06-7C07AB60F845","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da3b7e36e778e75704c29271af6d74f1ce8cd89","datavalue":{"value":{"time":"+2011-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2996167$078C8DF2-F791-46E7-99F1-9E670F57767C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996167$5423946F-DC1D-4CDC-AADD-9DC882D1921D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996167$4CCF2BA2-DD25-4A45-A901-D606C650237D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996167$13AC568A-19B6-4139-BB0E-438AB50C1E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996167$997CEC7E-0D2F-46A6-8788-9D2F9706C181","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccaf676b4acfc926ca0e07d22176f1207836901c","datavalue":{"value":"5884907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996167$DD2DD64F-A63F-4418-A1C5-F75BF68D779D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996167$4036CD17-D2B1-4FC0-8955-96300356B525","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1024ad51fb0c89617301d9b58c1789ce603d4d1","datavalue":{"value":{"entity-type":"item","numeric-id":2092486,"id":"Q2092486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996167$F390CDF8-075D-4FA6-B452-BAE49CF78D79","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":"Q2996167$73700ACC-BB54-48A0-8D0F-CA2B4039F129","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a60c342ca70b6a001e5ab65f9968fc1d0ec10393","datavalue":{"value":{"entity-type":"item","numeric-id":3805882,"id":"Q3805882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bebdd091c503823743d4ce9ba32d6cd80bf6391","datavalue":{"value":{"amount":"+0.762446403503418","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":"Q2996167$4B10D6B2-F90A-4359-B459-F58459055704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db0fc7f44189aaffeb910455ec48d98d1e35fe6","datavalue":{"value":{"entity-type":"item","numeric-id":5901573,"id":"Q5901573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89511bfc79f4a75e2c9ba2b851a128bbcd81e61d","datavalue":{"value":{"amount":"+0.7599794864654541","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":"Q2996167$D7C376D4-8882-41E7-B87E-67430F58D618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2abb394675a0b074dfe7372120f9c17eb470562","datavalue":{"value":{"entity-type":"item","numeric-id":5958752,"id":"Q5958752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d44b77e6f487ce83851bdce5e34c8669a5c9203d","datavalue":{"value":{"amount":"+0.7525182962417603","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":"Q2996167$3B9A4FDD-B171-4385-B21E-979CF3E0863A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cba2f7ff378d313a9a94ad6d6c129f25bdbb4f","datavalue":{"value":{"entity-type":"item","numeric-id":3024905,"id":"Q3024905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdccbd226ca01659fba634fcf4af8b0d72bf27a7","datavalue":{"value":{"amount":"+0.7524517774581909","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":"Q2996167$ADA7DB76-B50B-44EC-8565-47FF9A29F5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a299ada1677cb50f9badc2dfb747cce9998463ae","datavalue":{"value":{"entity-type":"item","numeric-id":3026376,"id":"Q3026376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b65b07dace92644d339dc22d8a1cb4cbf2ac27d9","datavalue":{"value":{"amount":"+0.7524266242980957","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":"Q2996167$4E7E9B13-374B-4722-A5E1-5C7D7360C555","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A type-theoretic approach to induction with higher-order encodings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_type-theoretic_approach_to_induction_with_higher-order_encodings"}}}}}