{"entities":{"Q6963506":{"pageid":21284238,"ns":120,"title":"Item:Q6963506","lastrevid":84062264,"modified":"2026-05-09T03:30:08Z","type":"item","id":"Q6963506","labels":{"en":{"language":"en","value":"Density of compressible types and some consequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8060109"}},"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":"Q6963506$1B67512C-C405-495B-A718-3ECEDB652051","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6a88752b7787d0af55244eac5c966fd1519dbcc","datavalue":{"value":{"text":"Density of compressible types and some consequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6963506$E3F560DD-F720-4D36-BF75-0ECD7F06E5EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"203ebfea77f9dbebac19b4b1b27f11927904a7dc","datavalue":{"value":"10.4171/JEMS/1423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6963506$B5AC4726-5AA0-4357-B8ED-B8EB70DCEBC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da4c663c31043d89ad31cbd1d871c9051f37e447","datavalue":{"value":{"entity-type":"item","numeric-id":1643323,"id":"Q1643323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$FCFC3183-0604-4E6B-9C5D-0C0CBD6DC610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fe36c7c5213a38c4450f1e9b3914925c3c76ccf","datavalue":{"value":{"entity-type":"item","numeric-id":466121,"id":"Q466121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$427E0EBF-1FBD-4B2B-ABE5-EC6297D4967F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dab41c88f1c0d13d481bd105e9d460bc074a8bfb","datavalue":{"value":{"entity-type":"item","numeric-id":522324,"id":"Q522324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$C8D05D2C-BF6B-490C-813A-C26BCCDC1694","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"26780b1287f0091cd789fa2d15704011bf65df86","datavalue":{"value":{"entity-type":"item","numeric-id":171275,"id":"Q171275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$28FE7EEF-C9FD-4251-B5D3-227C83967ECC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4be21f7f28e97c9d3bacbf26d92b6b94dc6fcd0","datavalue":{"value":{"time":"+2025-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6963506$C703F8D4-D4AA-43C0-98A8-2C881D2F39F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6963506$58F545A5-597C-4655-91F5-6BED37E437C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6963506$77CEA3CC-04D8-4202-A0F0-0290F8B41978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6963506$73EEE5ED-9432-40F1-9035-A6A62A8A0AA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"821851944411f8f3df5e64e9997b76d608894fd2","datavalue":{"value":"8060109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6963506$CEA2EAE9-7ED7-4117-93EC-E6A744958459","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":"Q6963506$B86DCBDC-CFDB-4F22-9D0F-4182676D2BEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6963506$35F60ED6-D21E-4648-86EF-38C79B7F4AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeeaf92d4955264f018294672b609d842f36d4ed","datavalue":{"value":"NIP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6963506$223116B1-E2A5-4471-88D1-F2372B46B093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad4cba88b95d74ea429674331133021bdc4a17f","datavalue":{"value":"distality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6963506$387DF5E1-F39F-46B4-B05E-23AA5FBEDF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aa13dadab0e5786b524663cbb541075ae96dcbf","datavalue":{"value":"compressible types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6963506$8A8A9C06-ECA1-424B-AED0-BA2578DA66F8","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":"Q6963506$2AC5E33B-4214-453B-89F4-27FE858CDE71","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d7a5b862925abf59b6ade291edfdd920dd7dfa","datavalue":{"value":{"entity-type":"item","numeric-id":2921027,"id":"Q2921027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$C5863A79-A91A-42D3-BD83-617ED1301FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0169dbff6530cf3ed60a1d447f2df554e602bce3","datavalue":{"value":{"entity-type":"item","numeric-id":6047215,"id":"Q6047215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$F1129B24-8440-4ABE-910E-8FF7DBB76E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabb382f70bc083ddddf8ed1f9e099ad8dfcd9c2","datavalue":{"value":{"entity-type":"item","numeric-id":5247033,"id":"Q5247033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$D7587D7F-5628-4D9A-91A7-872B4D5BF7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d18289c0c5e487d02fcf0ea989f7a6f3279f33","datavalue":{"value":{"entity-type":"item","numeric-id":2007875,"id":"Q2007875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$67AAA3C1-DB7F-4912-ADBB-C8A1F3CBB870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87051dc857ba5655dee84dcd8264017503ffbca","datavalue":{"value":{"entity-type":"item","numeric-id":5163166,"id":"Q5163166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$8EED2906-68CE-4F03-862F-64FAD49C6190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea51a9603d985d131d32a98ac570cdf30ba5a96","datavalue":{"value":{"entity-type":"item","numeric-id":2662695,"id":"Q2662695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$016CF2D1-2DAC-428D-875D-5CEB2882B596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d39569bb829b1f512a9599d86320eeb56de2b38c","datavalue":{"value":{"entity-type":"item","numeric-id":4081239,"id":"Q4081239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$AE8B9D9E-4641-45EA-A77A-3FA560B0A6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84fe62e07b9fea3ed012a259a48599efb38fd476","datavalue":{"value":{"entity-type":"item","numeric-id":2892672,"id":"Q2892672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$17653988-DE45-4EFC-B5C7-7A04078DDCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02bb6122f36c6add95a27877cc8455e9ece474b","datavalue":{"value":{"entity-type":"item","numeric-id":794628,"id":"Q794628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$F6D86C9F-8E80-41C8-A61C-3E14FE17F291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a199be970726099a92e3b2cbf0b20042000a35c1","datavalue":{"value":{"entity-type":"item","numeric-id":3102665,"id":"Q3102665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$2E2B0258-AB23-400C-939B-53BECD7D3FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d29f9b9fd94ca46ede7e5cae51462c5d6912b89c","datavalue":{"value":{"entity-type":"item","numeric-id":4858820,"id":"Q4858820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$7B54318C-6ECC-4778-A920-7F7447710EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cdb41587cec70217ab38af9544cd601650039f","datavalue":{"value":{"entity-type":"item","numeric-id":550563,"id":"Q550563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$262E6101-B3ED-40F1-888A-D5AB9B5EC913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb6e62b8817c473ff82720b67ee7cc9d4841f89a","datavalue":{"value":{"entity-type":"item","numeric-id":1880214,"id":"Q1880214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$312230EA-4193-4753-9497-D0B1F9A4BCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc06b940bf88f9f4eae26bccca678abd1659d59","datavalue":{"value":{"entity-type":"item","numeric-id":3130253,"id":"Q3130253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$50A84A61-859F-42E1-9633-45BD7ABFE9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf688c140ce75ef239af6786dabf2bbf85027d0c","datavalue":{"value":{"entity-type":"item","numeric-id":3093867,"id":"Q3093867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$8BDB8514-373A-438F-9BC7-B9449394A3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0376df3f9b072633ed90667970c04b9642439a8c","datavalue":{"value":{"entity-type":"item","numeric-id":1188601,"id":"Q1188601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$4B5462A0-A45E-405A-9406-A5B17861506F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3db9754f46a3b223b2ad16828899c5a8f4181e0","datavalue":{"value":{"entity-type":"item","numeric-id":4824885,"id":"Q4824885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$42261546-E942-4278-AD79-49A504D6F686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"346c74a322fd563368828553a35521220cff4452","datavalue":{"value":{"entity-type":"item","numeric-id":2655752,"id":"Q2655752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$F9767A1C-6528-4DAA-9FEE-AC099133CE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9020c959fd2fe6830eb570bdc5090e181554ced","datavalue":{"value":{"entity-type":"item","numeric-id":5255892,"id":"Q5255892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$523F6E4E-35AD-429C-AE52-4B731AC6D145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494d99ab28ddc17262371ad62df1801d6d2ec64b","datavalue":{"value":{"entity-type":"item","numeric-id":5744319,"id":"Q5744319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$AF9B5ABD-2ABE-4403-80C9-9977291ED3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0025990cb28d362a6913848da65c65765f82369","datavalue":{"value":{"entity-type":"item","numeric-id":2302431,"id":"Q2302431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$A517D100-29EE-4305-8D97-B01E18A4DB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a277a8828c9907ac9c7a3e479c7bed8e7fa629b","datavalue":{"value":{"entity-type":"item","numeric-id":2879568,"id":"Q2879568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$D3787A3C-78B2-4AA3-905C-6F8F5FE0FB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b0c4289d50dc7985c919b142e9379ce6d9be4f6","datavalue":{"value":{"entity-type":"item","numeric-id":3616351,"id":"Q3616351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$165DCC05-735C-42F3-8D89-CED13C5715DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef7a811259ec296ebae22b3ab803a00212828909","datavalue":{"value":{"entity-type":"item","numeric-id":5693583,"id":"Q5693583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963506$715537F5-AC3E-48D0-983A-315E84EC18F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Density of compressible types and some consequences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Density_of_compressible_types_and_some_consequences"}}}}}