{"entities":{"Q7232185":{"pageid":24494660,"ns":120,"title":"Item:Q7232185","lastrevid":84476180,"modified":"2026-05-18T15:33:57Z","type":"item","id":"Q7232185","labels":{"en":{"language":"en","value":"Why not \\(\\mathtt{W}\\)?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8189429"}},"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":"Q7232185$EE40EB1D-DAD9-4C36-8271-F932B71D3D48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fcdf0ca32ab8bb546a3d09e2809451694bfea91","datavalue":{"value":{"text":"Why not \\(\\mathtt{W}\\)?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7232185$CF24BC2B-4A78-4E96-BE37-54BCF72A0EE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6dfb08390d46802c0802bf05a28b54b67b80167c","datavalue":{"value":"10.4230/LIPICS.TYPES.2020.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232185$14CD179F-4E84-4FD3-99E7-3C7D42D79669","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"176c8d3c6dc12180b672296a89d7fb15b439dadd","datavalue":{"value":{"entity-type":"item","numeric-id":2289081,"id":"Q2289081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232185$EA9AABE2-C63B-4006-9F8F-84196D55CE5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22b7db1ee47288e2a17e9877aecc2cd5315e6862","datavalue":{"value":{"time":"+2026-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7232185$759CD620-889D-4BCA-BCDA-C38237E346FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232185$E25C6713-E1ED-4F62-B8CD-7AE1D80C9519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232185$CBCA7D5B-F29C-49A4-B69E-D211208C070C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47f494b883e1c3393a2bbd964d26cc4e0c3eafd4","datavalue":{"value":"8189429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232185$12FD4EB7-3507-4AD5-8D6E-632D38EE9598","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232185$8E62CFE7-EA36-4D83-9983-211704DF21BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232185$137E403B-9A06-4052-970E-A14ECD5E15CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6d307399d40747a7ccf9eafea50adb4f4e5846","datavalue":{"value":"intensional type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232185$C77FB768-4D62-415B-A5CE-CDCA5DC3FAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232185$565C24D2-2AA0-400D-B857-722EC9C9987C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b4e5ea6a9049b5382ba7c0df3255d66f950c31","datavalue":{"value":"\\(\\mathtt{W}\\) types","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232185$1B7B6C4F-E9A1-4F91-91CA-81AB5C6E195B","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":"Q7232185$875CA603-DD25-4347-9E8D-15253E232183","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdadbcbe25bd5325171cf1fa88153a2d2477cddc","datavalue":{"value":{"entity-type":"item","numeric-id":4825542,"id":"Q4825542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232185$BA21C16C-50F8-40B1-9F87-FEE711E40241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b036afb6c48675fb24ccf34d4ee6da4f94a82636","datavalue":{"value":{"entity-type":"item","numeric-id":5176923,"id":"Q5176923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232185$FFB6BF27-BD07-4A6D-800F-83FA5A64A313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232185$1EE5556F-ECDB-412A-8BCF-68978D4715F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c3bff08a591a81b01078d3191ce7312b8dacae","datavalue":{"value":{"entity-type":"item","numeric-id":1392287,"id":"Q1392287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232185$78F86B3C-7796-47FE-BB7E-C653A2343B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5765b1c70da77537c6e225225ff527afc50bcc4e","datavalue":{"value":{"entity-type":"item","numeric-id":4263867,"id":"Q4263867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232185$72BB70B7-0A5E-485D-8405-13B056A38BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa2590b2bc65f3f52ad3e3a05a4b9de9656ea4e","datavalue":{"value":{"entity-type":"item","numeric-id":5111280,"id":"Q5111280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232185$15BEF8F4-CF95-4028-872F-01EDDF2916FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232185$460F0FBC-EBA3-4212-B1A3-DF0A1D2CA502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232185$E0F591D1-A5CE-4F87-AAAD-421EDC8A31A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232185$66AE7152-C4FB-4434-987F-5F854CA73FC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:7232185","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:7232185"}}}}}