{"entities":{"Q4858826":{"pageid":6888406,"ns":120,"title":"Item:Q4858826","lastrevid":47377888,"modified":"2026-01-01T13:48:39Z","type":"item","id":"Q4858826","labels":{"en":{"language":"en","value":"A sheaf representation and duality for finitely presented Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 827474"}},"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":"Q4858826$A608010C-6284-4AEF-88C8-3B8AFD40AB14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3abaa9facdd24fcb26a57dcb91e56751c43d41b4","datavalue":{"value":{"text":"A sheaf representation and duality for finitely presented Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4858826$FBD3216C-87CA-4EFF-A333-2AE888423224","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fb00460730a2442ed6eb658ed4a39783fa8316a","datavalue":{"value":"0837.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858826$7B9783CD-F6C8-4631-83AE-BA63A5B01857","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c41320689bf5c1cb8b4b412179ed018fc44d804d","datavalue":{"value":"10.2307/2275765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858826$B0E9AB40-B3B8-4911-98A4-E1593F1BD2F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858826$33506AC2-3397-4FA8-9097-79B0FD070B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dc31f7372c2291af6dcc50b5a56a72bcaee2213","datavalue":{"value":{"entity-type":"item","numeric-id":1319365,"id":"Q1319365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858826$E359491A-8AF8-45E7-81EC-77FF6D589DBB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858826$7F1C382D-C1EF-4113-97C6-E2C7AAA73BAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae6bbe402fa411517b9e3e0f1a301dad51f71610","datavalue":{"value":{"time":"+1996-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4858826$525DF8E5-9A5A-4EC2-B979-2EDA3AFC11A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858826$265F6B55-E74F-4632-B76C-B90531474361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858826$917D2615-9B71-40F5-8441-A40586419756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858826$BC050D04-914A-4E21-9DBD-798ADFBE45C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858826$C1567D0A-EC5D-4AE0-B031-062752884CCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4615cb7419704e89c1dd185e79aa58efbb9a012d","datavalue":{"value":"827474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858826$2057CDD7-D3D7-42BC-9E35-0D4916C9BCEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"279f0e3cd6199e5f4a31fbb469e132094634d634","datavalue":{"value":"bi-Heyting category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858826$0BF1EAA6-4456-47D5-BC01-F56A1661DED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"939981c2bdc2e14859c993a5245d524f3b3381a4","datavalue":{"value":"Lawvere condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858826$C7B0A428-75F5-48E2-9146-86B634F79B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86d9b4ad5a06064fd9c9bcbc50f8026b1c776dc","datavalue":{"value":"embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858826$8778DFDC-5877-4D44-ACCD-C480099D1AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c955c19cc74a34a1a8de2f41a1a6705f05a9e7","datavalue":{"value":"topos of sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858826$D0D7E4C3-3C1D-433B-8E63-0304D3E6BD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280c8f9b5cab95a2a15b895bdb10674b8006f46a","datavalue":{"value":"equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858826$C135E43C-FE86-4BCD-96C1-FFC377B6D7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858826$F1F7675C-20AB-41D3-A4AC-B12B8E8D4924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ed1ba4a6a45ef442fb34727ac48c601792c2241","datavalue":{"value":"Ehrenfeucht games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858826$BB28B4FB-EC1A-4009-8D58-048EADCACC70","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":"Q4858826$926F2D92-4DD7-4C1C-B1C1-94BF662D2D63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f4afab783d25be1643462a1a52c36d4deff34eb","datavalue":{"value":"https://doi.org/10.2307/2275765","type":"string"},"datatype":"url"},"type":"statement","id":"Q4858826$988788F3-E9AD-4EFF-932F-B48907B87859","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d3eb446818ee868af30c2305fa19108d863392e","datavalue":{"value":"W2142413595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858826$DBBD4549-8E3F-4B98-8777-38A9E476E531","rank":"normal"}],"P223":[{"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":"Q4858826$6E278541-B6CA-47D4-9ACA-1692105855DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858826$F634617E-8E21-4C8B-9C64-3699AD40285A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858826$313336BC-6FCB-4CD8-AB8A-339B9A491A7B","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":"Q4858826$65545EBB-7E98-462D-8302-C8EC09BADCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636c131d345cd95de94bf0cb9210c398de13e33e","datavalue":{"value":{"entity-type":"item","numeric-id":2264689,"id":"Q2264689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858826$E93C43D6-683A-417F-8DF0-EBA709D589B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b7e0536b29168e39de471af102be2b186faa1e1","datavalue":{"value":{"entity-type":"item","numeric-id":1346245,"id":"Q1346245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858826$20857DDC-7E2D-4B22-9F30-BE807BAC99F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"218b3c1a5f6555ea94bb2fe53f930dcd1dcac01e","datavalue":{"value":{"entity-type":"item","numeric-id":1345009,"id":"Q1345009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858826$04D6C1B7-3C11-4FB9-9C55-88CD1FC80FFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee608b393463611c492e5fc8554fdab74ad3018","datavalue":{"value":{"entity-type":"item","numeric-id":1405891,"id":"Q1405891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60916c8942f1e8395a1f88bf2934cd18685bd3e1","datavalue":{"value":{"amount":"+0.7990254163742065","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":"Q4858826$D84CC2D2-48FD-46D8-B0B0-AAB226FB012A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef2f1e95e6ee03497b1ef03fd298e2a0562bf22e","datavalue":{"value":{"entity-type":"item","numeric-id":1861494,"id":"Q1861494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"711dd06bac28bec319c64961fc7f8aa96da148c2","datavalue":{"value":{"amount":"+0.7346779108047485","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":"Q4858826$DA85CC42-B419-42F8-AE64-C8C75DB36DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5994d512cdb3bc85eeba81b75caf6e3c6ad8af06","datavalue":{"value":{"entity-type":"item","numeric-id":1372155,"id":"Q1372155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c7c2b6467abdb524e71b5bd72869789e235db53","datavalue":{"value":{"amount":"+0.7276168465614319","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":"Q4858826$09924DAF-2EF5-42B0-9BB7-93907D0914F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d845afd6d499cefb2cde461039537fd14110ad2a","datavalue":{"value":{"entity-type":"item","numeric-id":1419380,"id":"Q1419380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5063fcc4a311b6de01d95d8dc509f83f256bbe3","datavalue":{"value":{"amount":"+0.7238410115242004","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":"Q4858826$1D2A8863-61B4-4406-A003-268E3E649D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c1ab61e71d247f1408f8b62909ecef004e4dbbb","datavalue":{"value":{"entity-type":"item","numeric-id":3837730,"id":"Q3837730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5063fcc4a311b6de01d95d8dc509f83f256bbe3","datavalue":{"value":{"amount":"+0.7238410115242004","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":"Q4858826$E7A92DDD-39FC-43B3-A48B-D6DBB8D8A410","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4858826","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4858826"}}}}}