{"entities":{"Q797188":{"pageid":799036,"ns":120,"title":"Item:Q797188","lastrevid":64407360,"modified":"2026-04-11T19:39:43Z","type":"item","id":"Q797188","labels":{"en":{"language":"en","value":"An algorithm to decide if a 3-manifold is a Haken manifold"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3868241"}},"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":"Q797188$F94AA52A-F22D-4C2A-844F-2BEAD16D3570","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75700f690298217b17309393e1d13ee034c21884","datavalue":{"value":{"text":"An algorithm to decide if a 3-manifold is a Haken manifold","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q797188$50E18AF3-BD91-4BE5-A2CA-5333A66D9F18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"524b5bd3d57499fa5e65b403d174144a8123b964","datavalue":{"value":"0545.57003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797188$DAFBE832-7EF0-45B1-A8F9-1B7DDE13BB20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8976493029107157f8e01c8524b03d02dc8d637","datavalue":{"value":"10.1016/0040-9383(84)90039-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797188$30E23EC2-4BD7-48E2-B154-3E121916249E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13f83d8c834d9042ee0cdae5829d23b7393cd9b4","datavalue":{"value":{"entity-type":"item","numeric-id":309033,"id":"Q309033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797188$39FD2365-45AF-4EAE-8A52-9080CD57C82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd99bfbd90c6f9e00861c4e730b3ffda1faeb97","datavalue":{"value":{"entity-type":"item","numeric-id":189065,"id":"Q189065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797188$1ADCB39A-2246-453E-8A8A-5FF4523AA285","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68f468c44aee9489650eda81adf5e09eaa720a8c","datavalue":{"value":{"entity-type":"item","numeric-id":172615,"id":"Q172615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797188$90555E05-D330-479F-A654-85DBD0148238","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q797188$3E6534AE-EABC-432B-84C0-FD6A2AA2D5D3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"95ceeef1a530fcc3b68fc8aa066be13050d9304a","datavalue":{"value":"The authors develop an algorithm which determines whether a closed, irreducible 3-manifold M (given by a handle-decomposition) contains an injective surface \\(F\\neq S^ 2\\) (i.e. \\(\\pi_ 1(F)\\to \\pi_ 1(M)\\) is injective). In fact, if there are any injective surfaces in M this algorithm will actually produce one. An essential ingredient of the proof is \\textit{W. Haken}'s classical theory of normal surfaces [Acta Math. 105, 245-375 (1961; Zbl 0100.194)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q797188$5FE26E92-4843-4FA2-8779-4F8FADCA3D70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fd2e677adbf3c5d393403c254a42eb2ef993b52","datavalue":{"value":"57N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797188$8DFD2122-7069-4D6A-A181-5AB36BEEEE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"47706e01ed79db828a687ee24201d11cc3ccc28b","datavalue":{"value":"57M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797188$798C227C-41A9-4C27-BCE3-87213B992BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5206f46c6ca666840f8b4128198bef996fcacb","datavalue":{"value":"57M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797188$4145D439-1254-4EF8-985A-0BBF43AA76B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"598a3735deb5f33bb7895e58290f24fbbd16357e","datavalue":{"value":"3868241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797188$8E6838FC-FCE5-4EC0-AFB3-D79BF3B36541","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"268b8ff1f3ce54d238168df7a7024d521abd0a99","datavalue":{"value":"incompressible surface","type":"string"},"datatype":"string"},"type":"statement","id":"Q797188$804FA98A-AA93-4D9E-9DEC-D35A5659E856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17f484c651c7c75c09fde4940fb40f8ab0f2fdc5","datavalue":{"value":"irreducible 3-manifold","type":"string"},"datatype":"string"},"type":"statement","id":"Q797188$54D2F62C-B2CF-4A80-BF7E-D3221F8AFD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eee297bb3f0550d0286a568703bdab911878f3c","datavalue":{"value":"handle-decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q797188$0706BA45-22C9-4704-8222-5B372A5FC9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca342b9f69510a0edf6d85254e7a46b535e13ebf","datavalue":{"value":"injective surfaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q797188$1A33AF6B-D147-4115-BE3C-75BCB4D1B45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q797188$6BA75F9C-2952-4660-99B3-8262D4E1CF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5db483bd523505e145c566ce214026cfb01d402a","datavalue":{"value":"normal surfaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q797188$B7EB8716-E5EE-4E00-9C35-E2F9212DA0E9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4d9f9052a089b2a4a588d7d89ba46270f2eea4bb","datavalue":{"value":{"entity-type":"item","numeric-id":1626690,"id":"Q1626690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797188$CE3806B6-C085-4262-AFCF-38ED0655BEE6","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":"Q797188$8FC8C50C-42BC-4FB0-94F4-65B849186AF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec1d9b50af83f772e8d9bd2c3c38b02178fae03c","datavalue":{"value":"https://doi.org/10.1016/0040-9383(84)90039-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q797188$A80FBB8F-783C-4B13-9049-A283612AC934","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1afd22a34e7581c5d1f0e1f3c4ca8c7fba9662a7","datavalue":{"value":"W1982860805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797188$E9AF96F4-FC40-4870-BDFF-4868E6628626","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"de26839199f029ccb2a9d2c85096917c19f213e9","datavalue":{"value":"Q56172022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797188$E8314543-D89E-45EB-B749-AF3932D641F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed24dc4f57f65e8c5ff847ddd61dcb97e5954809","datavalue":{"value":{"entity-type":"item","numeric-id":942083,"id":"Q942083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d93471bcbae50d0c682e655c4c0affc9f3f95b","datavalue":{"value":{"amount":"+0.8484413027763367","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":"Q797188$2556AE4B-1508-469C-8031-A5AB04DC5ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f105936b09d1a815a10aa86d1c699e3374dfa20e","datavalue":{"value":{"entity-type":"item","numeric-id":4382025,"id":"Q4382025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8856e181f76157a50aa4341db83a69ec5929edbf","datavalue":{"value":{"amount":"+0.8330338001251221","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":"Q797188$C8FE16B3-D19B-4F15-96DF-0727BD85582C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228bc817eaa866f92597097aafde671e281c4d8b","datavalue":{"value":{"entity-type":"item","numeric-id":2498127,"id":"Q2498127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c18d1e5ca8a2b6f1b38905cdd1667838691435c8","datavalue":{"value":{"amount":"+0.8141624331474304","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":"Q797188$AE9F9B80-82DB-438A-BBB1-EE155800C017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d08856d0878f1e76a85fc36a4ea2410a7d7ee3e","datavalue":{"value":{"entity-type":"item","numeric-id":1598356,"id":"Q1598356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d50d7f63e17b317b956d95faf4e3ecd2d97860dd","datavalue":{"value":{"amount":"+0.8074048161506653","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":"Q797188$208DFE81-E08C-4EE9-AA72-B0DF0FD25515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09b1358c8769967cde5506045eb834b644ed88ff","datavalue":{"value":{"entity-type":"item","numeric-id":1909529,"id":"Q1909529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a816cabaf27dd3f893a7e855f6f9cbefd958995e","datavalue":{"value":{"amount":"+0.8053106069564819","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":"Q797188$53C829D1-5D9D-4704-9CE6-14D70703E10D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithm to decide if a 3-manifold is a Haken manifold","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algorithm_to_decide_if_a_3-manifold_is_a_Haken_manifold"}}}}}