{"entities":{"Q1122363":{"pageid":1133112,"ns":120,"title":"Item:Q1122363","lastrevid":42888363,"modified":"2025-07-15T18:08:53Z","type":"item","id":"Q1122363","labels":{"en":{"language":"en","value":"Automated reasoning about elementary point-set topology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4106293"}},"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":"Q1122363$ED668329-528C-4016-A623-204AADD10E31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"584bc0cf16d7a3bb97589146c8978c65cf003d88","datavalue":{"value":{"text":"Automated reasoning about elementary point-set topology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1122363$1A84C16A-BDD4-43BA-B786-D29509BC0F16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4df9e5a7b6c821f37dd837900911d2c97be10c6","datavalue":{"value":"0675.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122363$F0B5B619-BDE9-41FF-802F-9ED3F7AEB932","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4def20cc628c2b687890075cf8ce7f37d8e315d","datavalue":{"value":"10.1007/BF00243005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122363$CCFD577F-B6D5-4C9C-9063-A29B3040C8F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dbb9f91c6c5e6893da7f61e8ebf686f58c561ab","datavalue":{"value":{"entity-type":"item","numeric-id":1122362,"id":"Q1122362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122363$7FB9F3D0-46A1-4312-B891-218323B2BE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e0028fa115cfaf177650f352dee75f3c9756682","datavalue":{"value":{"entity-type":"item","numeric-id":688545,"id":"Q688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122363$1C8ACD15-A0CC-4581-8707-69E5E8680C8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122363$57071955-9259-4F66-ACF2-B4C3A711332E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1122363$1179F56F-B7F3-409B-9582-64A6C35869D1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8da0babeb8cc6c8a4b94a19dda28159710de5ea6","datavalue":{"value":"The authors use a first-order formulation of point set topology using sorted logic where one has three types of objects: viz., points, sets of points and collections of sets of points. The use of typed variables, however, presents difficulties when one applies automated reasoning. The authors try to get around this difficulty by using ``implicit typing'' where the position of an argument determines its type. Using this formal framework the authors describe the basic notions of point set topology and they give a resolution proof of the fact that a basis generates a topology with that basis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122363$963D358D-C293-4B3E-8C95-E2BD5CCC1AC2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4fea8c273f1a6845d0930057e5f06ed705673a6f","datavalue":{"value":{"entity-type":"item","numeric-id":1110853,"id":"Q1110853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122363$EC1D1FD8-DC5B-4E1D-98A7-9841411BA944","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122363$C7D3E764-6748-4CFB-8ED2-EC91E6DFEAD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d07a40c9131ab533d765bbb4222e8b1fbe2f51ec","datavalue":{"value":"4106293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122363$FC6352C5-8AB3-4C2C-9A80-E1D90F55337F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122363$0150D123-2E09-4476-8BB3-08809287FC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122363$54111FF8-8ADF-4356-9845-7E6D6FFD1511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122363$9868A110-D44B-4112-B963-AF9D62C7361D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122363$3EB80659-228C-443A-BB8F-BD30D880B44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f80346103797e8c8b7ec7fe02553e7f66697af25","datavalue":{"value":"sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122363$0B490395-3FEA-4F9B-87C5-ACD5E4CDCFA0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cfe4917f47df85084aaacd4d417abed0d82eb6cf","datavalue":{"value":{"entity-type":"item","numeric-id":19078,"id":"Q19078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122363$E3C7AFFB-F11B-4345-A0E6-9A7AD2DD78C4","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":"Q1122363$D4872805-F71F-4479-8FFF-938C87E3AFFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1c93ec3ceca6b73c079719a4fc054360dd3e9b0","datavalue":{"value":"https://doi.org/10.1007/bf00243005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1122363$5D3F460E-54AD-41FD-8CEC-BB6B671EE5D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31c139371f264b12af1fd739d414685ec5bb7051","datavalue":{"value":"W1969873554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122363$676505B9-3ABC-4076-9D89-A8ADB35FB0F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07bdaad05d5c51987524bcb49dd5d14706fb261b","datavalue":{"value":{"entity-type":"item","numeric-id":3533154,"id":"Q3533154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13179087446a949de1f248d00771b50777a5e243","datavalue":{"value":{"amount":"+0.91457045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1122363$B4F94B01-A4A4-4299-90CC-4E5022979303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b2c3f9dd5dd7cf99b077f1e3783c9e0f21081ea","datavalue":{"value":{"entity-type":"item","numeric-id":3486874,"id":"Q3486874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"926071a7b77fbe326eb8399c4a5fb2f92378eb93","datavalue":{"value":{"amount":"+0.89169025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1122363$BAA987C7-878F-48A9-A2D8-788568081EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4759887f2efde6f52432de8771c4b96c2f71989d","datavalue":{"value":{"entity-type":"item","numeric-id":3486876,"id":"Q3486876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe48974e527239d0fa4085b0beddfab395225fd1","datavalue":{"value":{"amount":"+0.8730909","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1122363$FF6A030F-9D56-4C7C-AD9E-2F6857608C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e82d2dfc118f5923143098851e55d0fd6f35780","datavalue":{"value":{"entity-type":"item","numeric-id":5718720,"id":"Q5718720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afed0c7a7a5e518c1c5d351be31ee05c852963aa","datavalue":{"value":{"amount":"+0.8641118","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1122363$7A6E1185-4B58-47B0-AAA7-7883449CBA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec646420cd509e1a6fe6d0f38daa810e5fb10855","datavalue":{"value":{"entity-type":"item","numeric-id":2751363,"id":"Q2751363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f0b5861b493447b77b504a8d8c607f1bba57a3","datavalue":{"value":{"amount":"+0.8612057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1122363$5F75AD70-3CC5-498E-A754-4CB5F29416A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d83a358bd8b5db47f8808c520601f81798e6337f","datavalue":{"value":{"entity-type":"item","numeric-id":3639070,"id":"Q3639070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a836bb386f69a24561a361a1d4541f7bfac7c27","datavalue":{"value":{"amount":"+0.85909826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1122363$555CC2E6-3AE9-410A-9BAE-1DE1397ED5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913f5efd90d90f85d5491384cc864170d414521d","datavalue":{"value":{"entity-type":"item","numeric-id":5200131,"id":"Q5200131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bc515cfe4ce68c196fdc30cae788a55603306cb","datavalue":{"value":{"amount":"+0.8534175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1122363$074B660C-2295-4CC4-B108-0D9932BE9F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"574b501907af6944f78e404b9a87365a8960c672","datavalue":{"value":{"entity-type":"item","numeric-id":4537681,"id":"Q4537681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ccb4afa796ccd147c86c14e6853d6e6a1e3b46f","datavalue":{"value":{"amount":"+0.85030705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1122363$8E1DB7A8-BD3F-4CA0-BBC9-3025D4367E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57072ebf9c9c83029ddb55ec7e6016c17f6c3c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3188478,"id":"Q3188478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f80c9ca444270a5dfbb35aff1d630f652e0d74aa","datavalue":{"value":{"amount":"+0.8466708","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1122363$91C77854-2692-412C-A589-3B8DC9A1B40D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1122363","badges":[]}}}}}