{"entities":{"Q5178032":{"pageid":7207604,"ns":120,"title":"Item:Q5178032","lastrevid":52220321,"modified":"2026-01-21T04:40:26Z","type":"item","id":"Q5178032","labels":{"en":{"language":"en","value":"Types, potency, and idempotency: why nonlinearity and amnesia make a type system work"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6413043"}},"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":"Q5178032$53E05BC3-DD5C-461D-83EF-8478B18A8481","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d21acd83b8ddd9c94a3f4a8a418672488a139858","datavalue":{"value":{"text":"Types, potency, and idempotency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178032$24A04192-3D1D-4E86-8344-502DA99CAEB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75b894c7b46dc96d50098062fa5b12d3538c4e9d","datavalue":{"value":"1323.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178032$B506B234-835A-465D-88E6-B3135FCD5201","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1c2c6f6c916eeb536472d386a64c97ca1742d9d","datavalue":{"value":"10.1145/1016850.1016871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178032$22779148-FC5B-4DFC-A6A4-A68F78CB403C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47c7e636f05cf030ba35fcdc6e045d22964f0661","datavalue":{"value":{"entity-type":"item","numeric-id":1854561,"id":"Q1854561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178032$92EDF2D2-51F5-4D4C-988D-7F88986CEDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be8aa6a584af6ab1dfc32be732b34caa5aaa87e6","datavalue":{"value":{"entity-type":"item","numeric-id":1198970,"id":"Q1198970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178032$9AC78EAB-3068-4419-8C14-7701088DD8B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f33a483a1a2d9de990034c7d88e54d11356b8521","datavalue":{"value":{"entity-type":"item","numeric-id":5178016,"id":"Q5178016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178032$625978D8-2448-439E-8BEA-86652524CCDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19529df7d3312773fdd8684f0485c293d53ec310","datavalue":{"value":{"time":"+2015-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178032$BFDBBE3A-098E-4839-85CC-79B7D7C8EA9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178032$438DE55C-E15D-4CAC-9AA1-7B76F753F3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178032$D1AC8769-A3E1-4281-945F-71109050A0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178032$A704F045-50C2-45EA-BDC3-9AAE76321B4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2b24cb86791d0d39ca363bfffd13ef85a760b93","datavalue":{"value":"6413043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178032$C1689346-77DD-4AE5-91E7-E4B70051CD6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178032$9AA7B8D1-3B74-4F4E-994E-91D4D3B988A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721fc485f6834429079d73fb043fd7d5c7af6226","datavalue":{"value":"idempotence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178032$9AF16482-1E25-4C80-96FE-1E50EF2C02B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178032$B50C1CC8-CEEF-4621-8C8A-803DE326CA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178032$F9FC6871-D5A5-46B3-ABE4-545CDBD073FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"315e2e5892bd068ac4dec677b2965524ac903fdf","datavalue":{"value":"proofnet","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178032$FABA50E9-DAA1-460B-89C3-EFF86A5C05DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178032$F585BB99-4E68-4246-BD4F-3CF136332652","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":"Q5178032$42F1BB12-7C46-4BAC-9679-FDA0EB75F5D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4118eae860adc908726b70a05aaf214e35c1c250","datavalue":{"value":"https://doi.org/10.1145/1016850.1016871","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178032$BB8D20F5-62B5-4497-A15B-D0BCA012F8D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1efa17280dc88d9b9673a8fce2be574f9d680dec","datavalue":{"value":"W4233636389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178032$9CEA4ACD-E40E-4D0F-9AE2-E3604DE1E4CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241fa85fab1fbb8731063dc0d36ef24d03c1f1bb","datavalue":{"value":{"entity-type":"item","numeric-id":5308705,"id":"Q5308705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"731fef46ab942b73ca0bb3c9177951c6fc44961d","datavalue":{"value":{"amount":"+0.768771231174469","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":"Q5178032$9789FBAD-0E71-4931-83CB-706A934A7084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de130555eb69cf97ad1ff27332a93c8b10c7601d","datavalue":{"value":{"entity-type":"item","numeric-id":2851085,"id":"Q2851085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0181f9977ca12cf9833421ef04ed982efe656ec","datavalue":{"value":{"amount":"+0.7441944479942322","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":"Q5178032$343E7621-1EB4-462D-8C1F-06B1C70D903F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce3a08a6d629c133ffc12dc11354926d33a92305","datavalue":{"value":{"entity-type":"item","numeric-id":1322480,"id":"Q1322480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d1d0f564955900b14289d5c1aff51bd12dadc4","datavalue":{"value":{"amount":"+0.7399898171424866","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":"Q5178032$046CE190-731D-4D6B-9E1D-BEEC11688FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c600efe4f58f1e6a12d345b86d99f8295fffced5","datavalue":{"value":{"entity-type":"item","numeric-id":1887145,"id":"Q1887145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00b956e8092191c449580c62a793b14f5d626315","datavalue":{"value":{"amount":"+0.727380633354187","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":"Q5178032$3AA8DFA0-C187-4F9D-88F3-B31E337D8E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11b60a48fccce9bd2910309eec203ab697e0a9d","datavalue":{"value":{"entity-type":"item","numeric-id":930868,"id":"Q930868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eada6e6705a6e0f7c1f7d4f47a6cbfb37162534","datavalue":{"value":{"amount":"+0.7228301763534546","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":"Q5178032$FABCB60F-E682-4838-BDD5-0B17CEAFA79D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178032","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178032"}}}}}