{"entities":{"Q1056773":{"pageid":1058621,"ns":120,"title":"Item:Q1056773","lastrevid":66646128,"modified":"2026-04-12T11:31:43Z","type":"item","id":"Q1056773","labels":{"en":{"language":"en","value":"Core points in double Heyting algebras and dissectable lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3827952"}},"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":"Q1056773$1C637A62-9D02-4B21-A16B-DA2D8F9E87B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3199e4a8e5f7553e452f4ab6fec6fcfdbc9cde69","datavalue":{"value":{"text":"Core points in double Heyting algebras and dissectable lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1056773$C4C5A9AD-C174-4E32-A35B-45F9CCEADA5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ae0d1a1abe4cb018da36026e27034c3caa7a8c6","datavalue":{"value":"0523.06018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056773$6CB1CC25-6C51-4DA6-AFE1-0A351A4319A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1bf1708cbab60917a48feff81756096453c3abc","datavalue":{"value":"10.1007/BF01191769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056773$A2456C62-D17F-4CB2-9ABD-410382877D55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b825998e04768546ee2ebfbcf0fbf1d64376f6f5","datavalue":{"value":{"entity-type":"item","numeric-id":1056772,"id":"Q1056772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056773$8D6322C5-4DDA-4CE5-8851-8457B303DB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8069d4045a290b598b3aba54c0d238a953b6a46e","datavalue":{"value":{"entity-type":"item","numeric-id":770857,"id":"Q770857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056773$DE85F5E6-4E5D-4974-AD0D-CF74AE0CCC47","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":"Q1056773$3D215F81-1179-4C93-BE2C-698027DD6C26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1056773$65F456CD-30C5-4697-ADF5-C76B39CB7F1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056773$BD85F863-157E-4218-A03D-E210F6410A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33055bf2c57773bb56b9bc1e7d8347ad65fe4047","datavalue":{"value":"06D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056773$6C430E8D-5BAB-4E7C-82F5-198081B757B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056773$7AA0759A-F1EB-4901-AF89-A52571D49E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056773$B66F0E84-7F35-487F-A80F-E6DCC9F68BFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67bf08c0c2ec42f7ca940cbe36d87efffc500017","datavalue":{"value":"3827952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056773$618A5638-97A3-48EB-9CD4-6A2DF4D57866","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c9a28fffab7a3472c7094358efc146046f700a0","datavalue":{"value":"bounded lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056773$395994E1-7E00-4AF5-A785-F18CBDE0F973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2515de3f4a33f764f3ee7095a3f8b6b45c3679e7","datavalue":{"value":"Post algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056773$A1157F8E-B5FB-4DDC-A878-3CCE000A2C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37198e7b30f92c08b71a7f3c95fbb7c4b1f0ac77","datavalue":{"value":"monotonic representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056773$43D1702D-342A-4A55-960F-68D7AA847844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64ac522f654e13e1c90b454635fdef2b0ebd9041","datavalue":{"value":"dissectable double Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056773$C90B8969-574B-4256-9F94-BFCE1455C6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007201b3f3676249342f02a3affea6b08d166635","datavalue":{"value":"central elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056773$FCC1B111-3973-406A-BF58-8512D1FE6EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd1478ae7baade6cfed1d2f92fe3dc84932fe074","datavalue":{"value":"core elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056773$F052F9A1-EE2E-4ACE-9841-F2FF2202A5AB","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":"Q1056773$D2F4B1BE-3C7C-426A-A1B8-7A6C416BA0D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd8e87cb96460f2b05e62b8c9a76afa863b982f","datavalue":{"value":{"entity-type":"item","numeric-id":1212485,"id":"Q1212485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056773$5A30C313-708E-4A50-84BA-7DA2B34D33A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7491e9c2329a1671010c391b1a27cb5f8a62da0","datavalue":{"value":{"entity-type":"item","numeric-id":1217723,"id":"Q1217723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056773$C50CD926-144C-4135-B95C-A362A1A8DB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1061ba4dfee59eb91f071e588d854a29a14527d7","datavalue":{"value":{"entity-type":"item","numeric-id":4116448,"id":"Q4116448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056773$69155629-BCA2-4080-8816-8AC3A7481A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1fe8ea5595ba5f19098a6b846939da6eff0433f","datavalue":{"value":{"entity-type":"item","numeric-id":2557717,"id":"Q2557717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056773$D0611594-6365-4DF4-ACA0-9FD8A7660354","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Core points in double Heyting algebras and dissectable lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Core_points_in_double_Heyting_algebras_and_dissectable_lattices"}}}}}