{"entities":{"Q2232709":{"pageid":2243452,"ns":120,"title":"Item:Q2232709","lastrevid":78345083,"modified":"2026-05-06T11:22:22Z","type":"item","id":"Q2232709","labels":{"en":{"language":"en","value":"Profiniteness and representability of spectra of Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7408029"}},"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":"Q2232709$D6BC57C0-5EF6-4993-8F53-FFD0B8C1A6CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f52bf7e5e833575cfd982591f687aa907242b391","datavalue":{"value":{"text":"Profiniteness and representability of spectra of Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2232709$DA7AD6E3-EEF7-4434-BAE0-4CF8BD8FCAFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$CF658327-F7F1-4F32-95EC-A8F42E7FC7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$D41479B3-2911-471E-B890-B3D0D1BC37D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85df26c66de56d0d6dddc989cdbbfc63a8da6f68","datavalue":{"value":{"entity-type":"item","numeric-id":324256,"id":"Q324256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$D881BEA8-14C6-4287-BBA9-91ABD26E6CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40b30937fc6a69f3c0475f72a86b9dd7abccdcc0","datavalue":{"value":{"entity-type":"item","numeric-id":278761,"id":"Q278761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$D85454A8-490E-4050-B1BF-A8FDCA730B54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$6079AA6B-C1D9-4575-AA78-59104078091E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de933dbe9097032f43430008ac1661f561c682fa","datavalue":{"value":{"time":"+2021-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2232709$A6407CAC-632A-4ED8-9243-A5AC42FB4C6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e425aaead1c27472fd4bd91e85870337b2803fa3","datavalue":{"value":"https://arxiv.org/abs/2103.02530","type":"string"},"datatype":"url"},"type":"statement","id":"Q2232709$1066DBC6-4C83-490F-B289-CCBDCF22CF91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232709$90E14964-9B4D-4967-87A5-3A6DA4DC35E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c4ad1785471f430c5505937f552960d16df2055","datavalue":{"value":"06F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232709$EC6F370E-B588-4ACD-B097-749FFBE91A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232709$303E216D-F550-4327-89E8-01A03E00C21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232709$013C665E-9E65-4FF7-AA2F-C79F06A8E83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae96d749ed729f5c3d9ba235c923f35a27a788f5","datavalue":{"value":"54F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232709$2371C554-6B15-4AD0-BE73-2C0E653946E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0dfad138577b432aec70146ff9a7e7426f145ddc","datavalue":{"value":"7408029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232709$F2DF6EB6-8675-470A-A498-F8BDC557FAF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2232709$FB4221AB-AF07-426C-9B25-0551DE34109D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f977b8c24a2df347c9314687bc809f991bfc86","datavalue":{"value":"profinite algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2232709$3C57EA60-2D6E-4630-853D-30909A408A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b4f2b50199815748f444f1f08fe6916e9c807c","datavalue":{"value":"profinite completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2232709$6ECCF627-9C85-4E76-AA57-4315DB64B0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666837db57503fdcb4cc08c3a3e89fc1fd322654","datavalue":{"value":"representation problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2232709$9F60CF35-4097-410E-9E8F-EBF77DA0371E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7cefb910ae76694268e96ffec22bf413f1ebe4","datavalue":{"value":"Priestley space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2232709$A159615B-709F-4653-A405-88E878A20CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8658d1fafd4d1a05080867862eaad470b6d08959","datavalue":{"value":"Esakia space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2232709$896CE9C8-B6B8-4240-838B-86E7F71E9172","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":"Q2232709$3797A3D0-0D5F-4945-A650-8011B76EAAC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1db98a0b421aaab170252df5aaab013bd905aa2","datavalue":{"value":"W3193959723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232709$3CB88F2F-E94B-453A-BA44-5536416B3458","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9e36ee4012ef546cb881d1f8055042f64fc036","datavalue":{"value":{"entity-type":"item","numeric-id":3007237,"id":"Q3007237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$D0448C90-6D65-40E5-96EA-44F53312208F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"945b569cb2b5d0341f9462d371c087963dc779f6","datavalue":{"value":{"entity-type":"item","numeric-id":3411966,"id":"Q3411966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$8833D2A9-A455-425D-882C-A724B61FBAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356a3fdf6bac97b46b7603f58646ea4cdc9da4dc","datavalue":{"value":{"entity-type":"item","numeric-id":5615375,"id":"Q5615375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$88383581-54EE-489B-B8FB-A138FDA18CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$1D89D5E5-0678-45D4-960E-3D1505DBD187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aff3558b2c1b1ae25ab492a683c4939dc6f9924","datavalue":{"value":{"entity-type":"item","numeric-id":1975163,"id":"Q1975163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$EB203C03-4B97-4CEA-80E1-29C3645ACD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a73c74d930d7a7a0ab19d11647d9f975fd080bb","datavalue":{"value":{"entity-type":"item","numeric-id":953270,"id":"Q953270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$ECCE4D82-CC43-4841-86B6-0F8E9600E56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30063d2699688d2edf5c1fbf012dbad6a80577e1","datavalue":{"value":{"entity-type":"item","numeric-id":862977,"id":"Q862977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$7C36E9BD-8BDF-4CD0-B35C-97F051715225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc5a7bfe7af325884e1f0a8f64c0983a41f7dea9","datavalue":{"value":{"entity-type":"item","numeric-id":334967,"id":"Q334967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$D9FD5E05-2ED8-4A63-B8B0-3B44A65C515E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf94fac951b9ff7c3befe3d82841c9944c619bac","datavalue":{"value":{"entity-type":"item","numeric-id":3634666,"id":"Q3634666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$F0EC37D6-1DB0-4BAF-98C8-6BF5E3630738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00597f1037a916fe90bbb9f8b2789c58e5a7ff45","datavalue":{"value":{"entity-type":"item","numeric-id":2411405,"id":"Q2411405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$69A620C2-1892-4093-8A8D-6E94A5F385A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$70728A8B-E838-4785-8223-7CEA85D0AEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283258d8f6a50611821873bfd86a3de7be3d7b97","datavalue":{"value":{"entity-type":"item","numeric-id":2433094,"id":"Q2433094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$18B0EE4D-A042-43A8-B3FB-B2E9FE83CB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$942B2635-EA3C-4AB0-98CF-6EFF6C3A9845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$5E2ADF6F-A190-4464-BD25-CDAFD57AD8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$B8B2BB79-E858-4FE7-8F4A-DB163F04C64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93dac38f16d261644fc5f7dd64cd00e25f1e7f54","datavalue":{"value":{"entity-type":"item","numeric-id":4198474,"id":"Q4198474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$26C2D1D1-54BA-4479-BA35-7D918A8C51A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7934e33a35dd0c63bef1207c76931c406afb2c","datavalue":{"value":{"entity-type":"item","numeric-id":3772270,"id":"Q3772270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$421C57AE-C80B-44F2-8C2C-0245D8AE2258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d7b37506bb172540f1ce23f74cdb68f21270f61","datavalue":{"value":{"entity-type":"item","numeric-id":932172,"id":"Q932172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$A738DF0E-0211-453E-825E-8D76872FA979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db84f34ec74672084a6cbe4ecfcf897db31b8725","datavalue":{"value":{"entity-type":"item","numeric-id":4111635,"id":"Q4111635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$853BF830-E986-4E9F-A773-26EE20D1A7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986413722b76985e5563365eb3dfdce74a9084b","datavalue":{"value":{"entity-type":"item","numeric-id":4342082,"id":"Q4342082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$B7930E6C-8AE7-4193-B3E1-C0C16B09911A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbdf63a7896696ddb6905e29eda6c797354cd6b5","datavalue":{"value":{"entity-type":"item","numeric-id":5907067,"id":"Q5907067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$CD5B0561-6559-4C94-A0F6-A1F68EEF02EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$8B369BAE-A6A4-4352-B1A2-5F6DFB443643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$7BDA3E58-DBCF-426D-B1BD-3532B885C497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610b44df1969f52ae2fd295997bea86f1f6ce30","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$DBDFA5CD-EE7F-4549-8679-6BFACEF2131F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c465e3220f9229b4b5469019142cc9e4590fd2","datavalue":{"value":{"entity-type":"item","numeric-id":4193453,"id":"Q4193453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$BBDE5E84-7CFA-4CAA-AC81-21D398A2E507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e077e7607e20bb5a3fdafc25ee20d2f189f763a0","datavalue":{"value":{"entity-type":"item","numeric-id":4773678,"id":"Q4773678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$2208494D-1AB9-42CC-9CAE-23A8755EF185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231c35167d2d6cb2de7e405681f0a9426aed9453","datavalue":{"value":{"entity-type":"item","numeric-id":3185647,"id":"Q3185647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$0209CF27-F3CB-49A4-888B-760E8F532D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6027f7e7caa3f9f4bec3d5352d5c5a0eccf91c9","datavalue":{"value":{"entity-type":"item","numeric-id":4313857,"id":"Q4313857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$BE07394E-D7C6-4D29-8AEF-258C88A259D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595ea8d5495f6a030f5ccaa66b916fc74dd73ad5","datavalue":{"value":{"entity-type":"item","numeric-id":1800462,"id":"Q1800462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$726CE23D-03F3-4C01-8946-2A64CBA59CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933f5379577635c6add77213748d749867f72aa3","datavalue":{"value":{"entity-type":"item","numeric-id":1593962,"id":"Q1593962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$E89F6C6B-5D3D-40AD-AF60-C22CC0531B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad6861c78fd4390c0613c4ab63948d956f71fd","datavalue":{"value":{"entity-type":"item","numeric-id":5639727,"id":"Q5639727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$7CA16BCD-9981-4D21-9145-7FF44D9F6747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$D7601A31-EF30-4F72-BB9E-B6078E1CB470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff1a7d8cb713a95d4566ce6118a7a2ff0ad8c6b","datavalue":{"value":{"entity-type":"item","numeric-id":5576276,"id":"Q5576276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$D61A3576-02FD-4122-8CF9-C4A4F95CE1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1583acb2b9353fcb03f8b0420b193966affeb10c","datavalue":{"value":{"entity-type":"item","numeric-id":5582306,"id":"Q5582306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$106F197D-29AE-4BB4-9609-AC17D74EF6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91aed4ff7969ae62a864e7e6e6061b889189f091","datavalue":{"value":{"entity-type":"item","numeric-id":5519127,"id":"Q5519127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$C7F09269-C60F-4F02-A346-F641A289B295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90e62a647d76324dd712fbc39d6d3cb2ce86e17","datavalue":{"value":{"entity-type":"item","numeric-id":5595146,"id":"Q5595146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$5C262E57-5AF6-4B73-9A47-23E88693CC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a21c64ef90c253f5ccf479b20911f9df3bd6b1","datavalue":{"value":{"entity-type":"item","numeric-id":5570908,"id":"Q5570908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$E566AF49-11E6-47A9-821F-99B824D1F66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$C2D5C863-8F03-4221-800E-F78C0A8D3D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e41c5d14fd3b298ecbf72d80a5fe11cbbb13a5a1","datavalue":{"value":{"entity-type":"item","numeric-id":5603302,"id":"Q5603302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$F401A5AF-B300-46B3-B6C7-A7578D0AA92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463cf8243e4109af3f29fbbc771487068a0df78f","datavalue":{"value":{"entity-type":"item","numeric-id":703523,"id":"Q703523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$07979647-14A3-4982-938E-0306F8CE5BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"158780c5b17a311ed724c022ce7bd7ec55df7323","datavalue":{"value":{"entity-type":"item","numeric-id":4109648,"id":"Q4109648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$2785B730-C42C-474E-ADEE-DC636D062B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3409cc0e2d3a2838a76734f60d842ae324d59da","datavalue":{"value":{"entity-type":"item","numeric-id":2562115,"id":"Q2562115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$EEEBE9CC-8983-4F7E-8425-F624A44A94AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e69b725f6112ecd9384d9f4600cfb645f2c024","datavalue":{"value":{"entity-type":"item","numeric-id":2265416,"id":"Q2265416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$A74A1B4F-E9B9-4AE3-B6BB-26280F0401FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00384a76875c337bee9b78d7d4661914ed6c1eb","datavalue":{"value":{"entity-type":"item","numeric-id":1181493,"id":"Q1181493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$03D18CEE-890B-4E67-8850-2A733E108979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39dc764f22ab5d834c0754c2faa319e9b89c27a8","datavalue":{"value":{"entity-type":"item","numeric-id":2307302,"id":"Q2307302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$4F16E753-A76E-4974-A503-68B0DAE5CCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a658205e083eec48e234d217c2ce719cd154e09f","datavalue":{"value":{"entity-type":"item","numeric-id":2195632,"id":"Q2195632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$5424DFD9-8D2C-4287-8765-AA67EDC61C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62faedd60bb6a3f2e5834be01bcc070832edf4a","datavalue":{"value":{"entity-type":"item","numeric-id":5957698,"id":"Q5957698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$E3D747B8-D412-48E9-9DD3-8759E12669EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d14d473b17b76e9069e2128d7a1079b30d8eac4","datavalue":{"value":{"entity-type":"item","numeric-id":2548955,"id":"Q2548955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$45DF7EE4-8EEA-49ED-9234-CF151DFA230A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$B1358467-9BDC-4728-B46D-91A89251F512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0943e126b844734d0e41e82ee07b2fa3388352","datavalue":{"value":{"entity-type":"item","numeric-id":4085773,"id":"Q4085773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$C5E6CA30-586D-4857-8940-48A84E80BEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c77671e24707382bb30db375b3d83bfe31e5e643","datavalue":{"value":{"entity-type":"item","numeric-id":1330687,"id":"Q1330687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$BB522DB2-43D5-4EB8-8BD6-C29D3E24D967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$26A4BD98-0B7B-4FC1-833D-8814B12AE94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$B94BA2D4-A724-443A-A8CD-58DAE80FEDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3bf00be569f5793f4110d9a07b01a28d23556f5","datavalue":{"value":{"entity-type":"item","numeric-id":340419,"id":"Q340419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$A0EEAE3C-C4D2-472F-8FC2-67D1BD17D568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422496f9bfbafe350c29b299f8bce3425d4c3da6","datavalue":{"value":{"entity-type":"item","numeric-id":5631608,"id":"Q5631608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$34107393-3818-47B0-8530-78980096E8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a8ad4a778e95e38bcff5602b2a526c01ce00cf","datavalue":{"value":{"entity-type":"item","numeric-id":4168611,"id":"Q4168611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$FB0AF476-13A1-4416-9552-1FCCA58086C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab4be3f0e7c2da65fd8e3b6ee7b538b6614a51bb","datavalue":{"value":{"entity-type":"item","numeric-id":5669962,"id":"Q5669962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$9BEE22B2-6EBF-49BA-9CAA-CC1B119B725A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e295200959a23dbda2610c8c475aead07af32140","datavalue":{"value":{"entity-type":"item","numeric-id":5767211,"id":"Q5767211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232709$0C054953-4E2B-4B74-BC30-AB05B9FF3D83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f78a8dd36e7293814d356dcc1db99253fb8b0b4f","datavalue":{"value":"10.1016/J.AIM.2021.107959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232709$64201530-0F07-45C0-83F5-6AFD90425BA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a522c174a629ff198f75cd79a25f960dc1fead2","datavalue":{"value":{"entity-type":"item","numeric-id":3634666,"id":"Q3634666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d25710d9c064f7c1f39310a6574646115b7db6","datavalue":{"value":{"amount":"+0.8455110788345337","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":"Q2232709$00FA2CB5-7852-4B35-98C9-D483004A3CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837bace85121ee9a6ccf6cb79a6c68006bac1e60","datavalue":{"value":{"entity-type":"item","numeric-id":953270,"id":"Q953270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe88e587a768972b23734d8d137e63ef20ab090","datavalue":{"value":{"amount":"+0.8447631597518921","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":"Q2232709$1262473C-D5C8-4242-BE11-F7D73D93F195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b673d6154f882387c138f7a7a8f0afbf7e69a8","datavalue":{"value":{"entity-type":"item","numeric-id":862977,"id":"Q862977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eaafc88f2341c380b2dbafddcd9cb9aa6086e3c","datavalue":{"value":{"amount":"+0.8403852581977844","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":"Q2232709$CA0BFF16-4D1C-4239-BDE5-EAA85F7A7CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97865be76c26ac08bb6b9956aa055346294860bb","datavalue":{"value":{"entity-type":"item","numeric-id":2767244,"id":"Q2767244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3413f0dbb97fa65ec0b683770b62f5e766629b7a","datavalue":{"value":{"amount":"+0.8095840811729431","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":"Q2232709$2F89C9B0-259E-4AD9-B527-7C3DD171A256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b78fe98b928f3a3642614f00dc29cd06118637","datavalue":{"value":{"entity-type":"item","numeric-id":334967,"id":"Q334967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"652bd48fd7033dc5d82c30782a391e419aa3e12d","datavalue":{"value":{"amount":"+0.7753267288208008","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":"Q2232709$9B20A43F-FC09-4F19-BE10-7A389572484C","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":"Q2232709$1CB7B65D-2173-4D01-9FF0-26E30D684A86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Profiniteness and representability of spectra of Heyting algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Profiniteness_and_representability_of_spectra_of_Heyting_algebras"}}}}}