{"entities":{"Q4904162":{"pageid":6933741,"ns":120,"title":"Item:Q4904162","lastrevid":58355940,"modified":"2026-04-04T20:57:51Z","type":"item","id":"Q4904162","labels":{"en":{"language":"en","value":"Type inference in mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6131612"}},"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":"Q4904162$C7A62C6A-21DA-4910-952D-43FBF94BE6BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a833b1a9f1ef12f6d1b915f252ebd405cd8b4938","datavalue":{"value":"1267.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904162$BB8D5EEA-75EA-4433-AF4D-0C5FD8DBFF29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4904162$56539693-AD46-4572-A854-F3F8CFFC873C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab088451157c933b8b5d1688c69e028b7366511b","datavalue":{"value":{"time":"+2013-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4904162$A39F70F7-1168-445E-9AF8-F9AD3F85D277","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d577b09751ae1135f8e0e0b25ab05a89ba9603e6","datavalue":{"value":"https://arxiv.org/abs/1111.5885","type":"string"},"datatype":"url"},"type":"statement","id":"Q4904162$D309DD3A-2195-49E4-8B94-C8274995CF3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904162$5E15FA21-AED1-4C9B-A293-B084E6E73E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904162$80277629-7574-4797-B854-0BB2A957ACC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904162$ECDC82BA-C1EA-4BF0-92BC-FDF06947B4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904162$3472CE63-1A4F-4A22-8BF3-686BABA161EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66614a67500bc077a35f177491f33c28e1d92ece","datavalue":{"value":"6131612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904162$29F3FAB0-98A2-42B2-8A2A-485E241C6A41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4904162$FBD9872F-7A0E-4518-A41A-07D846D4171A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4904162$D12288E0-012B-42CE-9A08-12ED6094B1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q4904162$89F87C17-D1C9-43AE-95D5-34A78067CF8C","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":"Q4904162$E8A31148-B643-4C0A-96F2-E776AA080B2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d418b1916f055252798ddb01731a341d8407187e","datavalue":{"value":{"entity-type":"item","numeric-id":5327334,"id":"Q5327334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb99b2937a415a679b091d152b2fb1d92676695","datavalue":{"value":{"amount":"+0.7466138005256653","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":"Q4904162$2585A86E-699B-4028-874E-DE56A77E05C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776a7f81bcf627160ac001fd4998e9de8ac0400e","datavalue":{"value":{"entity-type":"item","numeric-id":4215639,"id":"Q4215639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3feeb870c1cfba7aac44294b6eb47b17162c6db7","datavalue":{"value":{"amount":"+0.7222343683242798","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":"Q4904162$B744B63F-6B54-4914-8619-D5B5E930ED41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c84bd1bdbb45eb6adcf8aedb897c0844b38c3a60","datavalue":{"value":{"entity-type":"item","numeric-id":3453108,"id":"Q3453108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f6f78d274a31973491bb3025dea6bdc092d8f8","datavalue":{"value":{"amount":"+0.7166903018951416","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":"Q4904162$C21ECC32-8C50-4D23-8570-C32690171F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b215bf34512acd6bcf522fcb8600bc4a72a5aa95","datavalue":{"value":{"entity-type":"item","numeric-id":4289277,"id":"Q4289277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9758442c73c5597da73f852594c9cb34a06649c3","datavalue":{"value":{"amount":"+0.7150989770889282","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":"Q4904162$71E70A04-B0EB-4EF4-9A07-596A319B809B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa085ac5ba0c4b8a88a3f802d2741d0b756a39cd","datavalue":{"value":{"entity-type":"item","numeric-id":1961917,"id":"Q1961917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1cb5ca99c1bd6c51d96fce325c9fa40425ef955","datavalue":{"value":{"amount":"+0.7114967107772827","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":"Q4904162$FF67E1A2-9CEA-47D2-A05D-85986D0EE9A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4904162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4904162"}}}}}