{"entities":{"Q585199":{"pageid":586966,"ns":120,"title":"Item:Q585199","lastrevid":62973975,"modified":"2026-04-11T09:24:31Z","type":"item","id":"Q585199","labels":{"en":{"language":"en","value":"A representation theorem for polyadic Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3829908"}},"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":"Q585199$8F1FFD7A-0DEF-4407-9482-13252C5ABF99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fec8440a01d291cb18666ec920edc2b34e4327f","datavalue":{"value":{"text":"A representation theorem for polyadic Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q585199$1CDD0169-780B-48A8-84A2-634C31D5E074","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c953da6ef6327260b789eff291cf692742f97c1e","datavalue":{"value":"0524.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q585199$3D9B8175-3850-4BC4-9AB6-7F88EA1A1DBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8b2b19ba95efdec190bcdfce3c8b0a7ff804305","datavalue":{"value":"10.1007/BF02483920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q585199$35B13647-99AA-433B-AEE2-E9AF32A4FBB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ccb0bfd6631a1549ad4fd4e04d60519169799c2","datavalue":{"value":{"entity-type":"item","numeric-id":377476,"id":"Q377476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q585199$5471CAC1-0104-40FD-9CCB-9B9C73D475E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q585199$19220192-4ECA-4A35-8976-59114216B188","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q585199$D119E70E-CEF5-48F6-9C9E-BAD3C4E3ED6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q585199$87EF7B73-094D-48A1-8C87-222B2DC5B9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q585199$5BEDD93B-1E15-418C-B8C5-29147600AE1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"683ea628464c27c70dc15d49b0d1c118f90f0622","datavalue":{"value":"3829908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q585199$FF9F27F7-91DF-4374-8F77-816387014AD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4021d0926f1d7ac61b70c9a6e2ff997f4f5969a4","datavalue":{"value":"polyadic Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q585199$F571DC82-0181-4C3C-B072-891A81B50E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f92aa58ee68327ec51c193be5ca79f4fea1c3f","datavalue":{"value":"transformation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q585199$6CC143F8-5012-4EAA-B185-A52A0CFD5D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8c9657f277d3aeb8425004fa7e1b0182aaf6af2","datavalue":{"value":"Kripke system","type":"string"},"datatype":"string"},"type":"statement","id":"Q585199$78E966D3-BF15-485B-883D-84CE8C37FB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b9dc8ad3d716500945f24344bc628ac3e6598e","datavalue":{"value":"representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q585199$05D85504-7007-47FD-89C7-A2326CC440C3","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":"Q585199$00E1541B-C0BE-4517-9DC7-D9FA223656BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f32ca22a9f233a77383e4645eab4f27dcbd08be","datavalue":{"value":{"entity-type":"item","numeric-id":5672890,"id":"Q5672890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q585199$A597DA74-F93D-48E3-8B99-1B8C0D74E285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54885bbfa8aa8525df1fda1937ed9ed06683319d","datavalue":{"value":{"entity-type":"item","numeric-id":5733519,"id":"Q5733519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q585199$83EA024E-216F-4AC5-8205-FFD96EBAF7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q585199$C94ABE3A-0F8F-4F3E-9638-63F4BBAFDA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b8ad7ab5d7720dda62712d8750e40fbc6e3809","datavalue":{"value":{"entity-type":"item","numeric-id":4124818,"id":"Q4124818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q585199$F1D8F05A-F4F9-4758-8F0D-D454C6A5521B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc336d95ebc0e931fc7b259d3e30dadc8dba2a52","datavalue":{"value":{"entity-type":"item","numeric-id":4180350,"id":"Q4180350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q585199$288FA620-D6D8-43AF-B5EC-A685610537A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06da0733433b72cc38e384260530070cb37219d","datavalue":{"value":{"entity-type":"item","numeric-id":3282928,"id":"Q3282928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q585199$6EF34E0C-2EFC-4C24-8421-77D9DF9FF750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68f7a36eccab527aac2bf668ff89a767760f9874","datavalue":{"value":{"entity-type":"item","numeric-id":5598336,"id":"Q5598336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q585199$B5C5D9F6-2C68-4480-AE47-851297EF869B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8b03f2e8165e9b463d9f5c35af5ad9968efcb2","datavalue":{"value":{"entity-type":"item","numeric-id":1216293,"id":"Q1216293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q585199$3CE91A1F-5336-4D30-8FCD-555C8A84E2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f57927ebce9a9f478d2ab721a25fd6e7cd4bbdf3","datavalue":{"value":{"entity-type":"item","numeric-id":1219313,"id":"Q1219313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q585199$CEB5DD8A-AABF-443A-B8A3-DA27EB0194D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q585199$1712FB68-2C56-4F83-A954-8CB91963A4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecb691ce41a7ef44b79ceb81e3babab9e31844af","datavalue":{"value":{"entity-type":"item","numeric-id":5537601,"id":"Q5537601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q585199$C0ADCBBB-071D-4117-B8C4-7F2ED9A794E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A representation theorem for polyadic Heyting algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_representation_theorem_for_polyadic_Heyting_algebras"}}}}}