{"entities":{"Q1756694":{"pageid":1767436,"ns":120,"title":"Item:Q1756694","lastrevid":57544158,"modified":"2026-03-31T08:28:09Z","type":"item","id":"Q1756694","labels":{"en":{"language":"en","value":"Hindman's theorem and idempotent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6996742"}},"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":"Q1756694$64F81BB3-D392-4B2A-9410-5FE4635103BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9048004e4d020f846034b84b78783053c00368d5","datavalue":{"value":{"text":"Hindman's theorem and idempotent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1756694$3516E4D9-DCB0-4CBE-88B7-7292A64A95D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d88c500429fb7b6164e418a3f8eb0389be93d0db","datavalue":{"value":"1436.03301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756694$FF0A609F-4988-466B-B2A1-61C5E081758D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d4e8d0d40de5d64578f28267ba69171aa96f9a2","datavalue":{"value":{"entity-type":"item","numeric-id":375900,"id":"Q375900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756694$C4FC1871-EC18-463D-8CC1-79741F2C825C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15e66a1daa50c9d0cd6d768e1f85fecfbf74f4b4","datavalue":{"value":{"entity-type":"item","numeric-id":246268,"id":"Q246268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756694$378B14B4-4D8A-4127-8DF6-9E493C5DBA07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756694$58B79DAB-C9BE-4233-8BA5-6069693E7E1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b3e8ce19e9f5978e8f566795e3d4c40e60d6b31","datavalue":{"value":{"time":"+2018-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1756694$A7B4C9AF-88DC-4BDB-9130-F09A6F1FF77D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d08252d0f06679b08355e965641e7cc2fcc7c815","datavalue":{"value":"https://arxiv.org/abs/1508.03613","type":"string"},"datatype":"url"},"type":"statement","id":"Q1756694$B5F8F064-7469-4CEF-A1C8-60CDF3AF8614","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756694$82DEE04E-F700-4474-86FF-22FB8EB5490A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756694$F4FC5958-CF87-48DF-854E-6A8DE73D22F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756694$B9C2F078-AB4C-4E27-9E4A-2CEDFEC9613C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f33344b856afcd243dd06368256d1b876615836","datavalue":{"value":"6996742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756694$6410105D-2BB6-4DA5-9265-65439D909F9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"859cc94a2cca460b33d2964d9c1bddd0e9026224","datavalue":{"value":"IP set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756694$399F9337-0CB7-4008-829C-226D54F4817F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcad3561c61d4f97ad27779fd167cc89a20b0358","datavalue":{"value":"Hindman's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756694$E8D7121F-B671-4FDA-852E-E7C6EEF59BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"060b76e2e6852dd17533b91483b05a40940dc097","datavalue":{"value":"idempotent type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756694$BD926DB7-3970-42C2-B850-C510CCBC2473","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":"Q1756694$49F22207-B47B-496A-8CDC-865F17D2D610","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a893c35b4f38394995857f8eb7abea6bb90f2c6f","datavalue":{"value":"W2963830770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756694$8D052927-9B09-4FFF-AE79-125E119900EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a626ae0f7a6274ce46db2e781f171a33cbfee9da","datavalue":{"value":{"entity-type":"item","numeric-id":4590993,"id":"Q4590993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756694$2733D7F7-763E-461A-94D0-7B6430772826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bffbf777bbb311af622efeaeac2d3e9b54f41eb","datavalue":{"value":{"entity-type":"item","numeric-id":2443249,"id":"Q2443249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756694$81661807-C5EF-4BC0-8186-2079EBD3633D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826cdac53d2b2a0228c9744af77af5a01b9de2b4","datavalue":{"value":{"entity-type":"item","numeric-id":5631201,"id":"Q5631201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756694$C80BB440-97B5-49E7-AE3C-3EFDF92EF885","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b34c4034c9632bf3f9e3da111a17b5eddac3082b","datavalue":{"value":"10.1007/S00233-018-9943-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756694$84F54D76-79A9-4F73-A039-832FE182D404","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1756694","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1756694"}}}}}