{"entities":{"Q2994246":{"pageid":3004970,"ns":120,"title":"Item:Q2994246","lastrevid":85877540,"modified":"2026-06-03T12:19:26Z","type":"item","id":"Q2994246","labels":{"en":{"language":"en","value":"Factorization of morphisms between Heyting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6612693"}},"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":"Q2994246$553966F0-FA2E-4B90-AC8E-EAE1F47D8B0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67e90252c882615742b82687556a27208e5281a3","datavalue":{"value":"1349.06023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994246$C3689A6E-3837-4ADA-AEA4-48AA9D2C8251","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe727d445f59b448e3febc33c822d7023d91417","datavalue":{"value":{"entity-type":"item","numeric-id":1758220,"id":"Q1758220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994246$B4AD8041-212D-4788-B056-4411B37F8CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74aff76c19afc2f067dbcd99e66f4bbc81c4fa57","datavalue":{"value":{"entity-type":"item","numeric-id":2815863,"id":"Q2815863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994246$55112119-2DED-4FBF-8EF5-3AFF966152B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"632762f18b1136ebfb5f13b4269afddfefdbe92e","datavalue":{"value":{"time":"+2016-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2994246$7A6318A3-80A5-4A38-BD08-E6750105D380","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994246$93F47910-40EC-4225-806F-ED663C6D3EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac53b3d8ea831a008f6edc0617972e2b6304397","datavalue":{"value":"18A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994246$45095FE2-71C7-4749-9603-E0035D8337C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa9e35a35411582625643bd3fe18ff26dc343699","datavalue":{"value":"6612693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994246$4583286A-F64C-4347-901E-E1B8F9CAFB34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce3047d3e421d044ddcef038a0a063c84577f945","datavalue":{"value":"topological system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994246$80A06F88-E9F5-4A1A-8055-7DB516AB7620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994246$AF81A72E-E153-4F21-9DC7-745AAA909ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c95cc2a1d282e9fd55b8d1746228cc2524fb4da","datavalue":{"value":"H-continuous mapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994246$5DDF13CE-430A-4E45-94CF-E6A9C3D2F1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6be93fe0e6b1d35973862464b757fe51f630304","datavalue":{"value":"Heyting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994246$84ECF18F-EE90-45FC-9317-61301BF83733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2b90591e937d1940fb79f23aba146f5efe50d02","datavalue":{"value":"injective-subjective mapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994246$B8034108-7679-4D36-9C77-A727AF84CE41","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":"Q2994246$4DACF569-FACD-4DB4-B8DE-A68E0912FD7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51be21b9807f64686c8ffafcd9a98dd9deb0ac5e","datavalue":{"value":{"entity-type":"item","numeric-id":5399385,"id":"Q5399385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b27a5d512166ac71950e40157aaf43eaca0d6b","datavalue":{"value":{"amount":"+0.7770153284072876","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":"Q2994246$56C1C77E-BD61-4CAB-AB16-8163CC0E447D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b3b7974580a4d97e494dd6c5fb4119d5da626a","datavalue":{"value":{"entity-type":"item","numeric-id":4926300,"id":"Q4926300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4584722a27bd727e2ba649ec38be05f65dffab40","datavalue":{"value":{"amount":"+0.7137346267700195","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":"Q2994246$D577DC7F-9F8C-422D-A553-73FBA85B9E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54a0e61b8bbc133f65a7bedbe2707b87666dcc55","datavalue":{"value":{"entity-type":"item","numeric-id":3392747,"id":"Q3392747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d176b260fee5c98d5563b9ef9f38f40fa83e60e6","datavalue":{"value":{"amount":"+0.6818010210990906","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":"Q2994246$2EC5FB73-A899-4263-9CBA-EAF5DCAC7224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0f3e3b1a81cdb2065619ac551eddaf813cb75c9","datavalue":{"value":{"entity-type":"item","numeric-id":5039182,"id":"Q5039182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf09c8aea3d4ff09d2a0c6a5d41d3daab2604478","datavalue":{"value":{"amount":"+0.6749628782272339","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":"Q2994246$E463DEBA-ED5F-4306-B485-3472F0E08818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1623c4d0531a1d9e2c978bdd740f55b69fca5f1","datavalue":{"value":{"entity-type":"item","numeric-id":2379262,"id":"Q2379262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3aa8dfc0fb827f0263f2726ce667d7b405b3057","datavalue":{"value":{"amount":"+0.6731621026992798","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":"Q2994246$33836BF2-7F25-4FA4-9D15-F56DF0E3BEF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Factorization of morphisms between Heyting systems","badges":[]}}}}}