{"entities":{"Q583606":{"pageid":585373,"ns":120,"title":"Item:Q583606","lastrevid":62966583,"modified":"2026-04-11T09:19:35Z","type":"item","id":"Q583606","labels":{"en":{"language":"en","value":"A new theorem discovered by computer prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4133012"}},"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":"Q583606$7802E851-129E-4DC4-9F3D-1D9591DB43FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b12ed81511d12ae741a03204bf4a7ef80a2ffc0","datavalue":{"value":{"text":"A new theorem discovered by computer prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q583606$5E356F6E-BA75-4B03-9A8A-17E40C0DC2BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"276a2d4b47bf52ccf1885ac966f10a4c3eaac15f","datavalue":{"value":"0692.51004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583606$FA668866-A14C-4C00-8EA9-7A77EAB3EFAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6501dd22cf88b990ddb4d5d595b7df4015473ac","datavalue":{"value":"10.1007/BF01231031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583606$337C3E6F-5F5D-4829-84DB-41AB704525E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"445e6c271797bbd4e969d752f3f62229db781b70","datavalue":{"value":{"entity-type":"item","numeric-id":215659,"id":"Q215659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583606$E5987057-4F56-4EA4-ADCA-A9D1E1DBD648","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7946688d25c7526bf38e6f25dde02f73646d21e5","datavalue":{"value":{"entity-type":"item","numeric-id":206518,"id":"Q206518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583606$7F4D4C61-BF64-4240-8F1C-D66E622C1799","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":"Q583606$FA4F97EA-16CC-42CF-A27C-2CB459DED1D2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bfcf738229eb5cc9de21a95a3d8d3485f343d7e1","datavalue":{"value":"It is shown that some interesting theorems concerning Pappus lines and Leisenring lines can be easily proved by computer prover which is implemented on the basis of Wu's method for mechanical theorem proving in geometries. Using this prover a new theorem is discovered: The six intersection points of every Pappus line and its corresponding Leisenring line are collinear.","type":"string"},"datatype":"string"},"type":"statement","id":"Q583606$F229182A-8E66-4795-9CFA-C7B4D31F0FD7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"81f6c4acc14213666fc75fd9b7e3778359d51d7e","datavalue":{"value":{"entity-type":"item","numeric-id":593721,"id":"Q593721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583606$B5AD4216-4CE6-4539-8F43-2623C19C65A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"08240126a81e33f43f6f0d84216dc8557b00da58","datavalue":{"value":"51A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583606$9130711D-CFA5-468E-8274-DE6B62660FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583606$6D221C37-62D7-4DBC-8184-B25633A6085A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42858fd342eee10ad416dde9f5f8197cfe4381cc","datavalue":{"value":"51A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583606$77B6021D-C892-472F-99C3-5EAEDED534E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583606$0CBA138F-CF7F-45E6-AF1E-7EED7E31A9F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"156d4d06d77c7439635e14913a71c5450180abc5","datavalue":{"value":"4133012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583606$4BFA262E-B58C-4591-B475-608C72BFF3B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456187a8833ab84fc799c1f6f5268b34890f6d85","datavalue":{"value":"Pappus lines","type":"string"},"datatype":"string"},"type":"statement","id":"Q583606$7D535B8C-D378-4A43-B2FC-906001BA2E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f49f88e9d1f48bfb85cae1d49b69bb13bfa10602","datavalue":{"value":"Leisenring lines","type":"string"},"datatype":"string"},"type":"statement","id":"Q583606$2B004769-078A-4945-83B2-4B7A42B66CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2db40c62fbba481c23c52e595e1d3bd4320088e","datavalue":{"value":"mechanical theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q583606$E9C84612-3529-4AC5-B623-155275C4F12F","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":"Q583606$9328F361-9174-4810-A9C4-E5781B6E5A8F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"11992e70ac405f569c3740bdf537d44646833fd8","datavalue":{"value":{"entity-type":"item","numeric-id":794265,"id":"Q794265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583606$74CBC6E9-4CEB-4A51-A6BC-F408A7469E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"118858ecd2f9d1466353d75b0635465c1149d745","datavalue":{"value":{"entity-type":"item","numeric-id":3764125,"id":"Q3764125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583606$0C3C3F99-26C5-4683-AE15-A7DC599C1017","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"195d5af25b8a9696f1a7675b7d1972891dba3692","datavalue":{"value":"https://doi.org/10.1007/bf01231031","type":"string"},"datatype":"url"},"type":"statement","id":"Q583606$BF2BEAA7-6924-4543-A935-61C5E0DFF9F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"571bcf53d10692e05d432adf42489299478f3574","datavalue":{"value":"W2074337495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583606$2F6F178C-934A-45F9-8F6C-4296B86AF0CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0888312d5d037668edf06291d3bd615acae65ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3682661,"id":"Q3682661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154be2feb83f5dfdaf0986879d5fce33431c3ac4","datavalue":{"value":{"amount":"+0.8523008","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":"Q583606$9CEE85AC-F8E6-4296-BA1D-14BD2746CF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a939ed648a237f64d31aca234634c0cc921feea","datavalue":{"value":{"entity-type":"item","numeric-id":4523482,"id":"Q4523482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49351fe4a9b0f8829551f583c4e8eb7c0f921dd1","datavalue":{"value":{"amount":"+0.8473593","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":"Q583606$E597F363-9E20-4DFD-B7E3-BF5C1B2CCDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ad84288a2be163178056aeb5b680c5ac004582","datavalue":{"value":{"entity-type":"item","numeric-id":4000960,"id":"Q4000960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5129087a8a0dda7c063bc4cc593e99103bd49c0","datavalue":{"value":{"amount":"+0.8465999","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":"Q583606$3E9549C7-A6DF-42D2-85F4-1DB271ACCF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a86155b6926eb9cad9fbe5fcb993e648483c1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5384980,"id":"Q5384980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d839ee2afbfe9e1addf327f795c9df85489169","datavalue":{"value":{"amount":"+0.84279305","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":"Q583606$3F8C8635-1769-4763-AF21-48BD8B45D7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cb99d1cbd48ad2aaedd97d112f51f6226672f2f","datavalue":{"value":{"entity-type":"item","numeric-id":3803794,"id":"Q3803794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d596756b1fd6bf3f5c83d54483b2802d13e17d1","datavalue":{"value":{"amount":"+0.837825","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":"Q583606$0E720A3E-C809-4FC6-B484-A079A94E8939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a23ca919e2611a12c37bf88ca01dcd1ea080e4","datavalue":{"value":{"entity-type":"item","numeric-id":4013350,"id":"Q4013350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"641362aca922c3087a1f214e2c17a7e613d066f2","datavalue":{"value":{"amount":"+0.8372038","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":"Q583606$7750038C-8436-4472-B6F3-7828C64A879E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5caf9de33d1799cb19ca4a87514a35fe4bcf1918","datavalue":{"value":{"entity-type":"item","numeric-id":704001,"id":"Q704001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d570cf4dc0621c67ed426bf7e6eb0fd39b1211df","datavalue":{"value":{"amount":"+0.83434194","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":"Q583606$2C1D25A1-8819-424A-9C90-BE714F0DBD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c546f0a5b92ea4c4519515703879deb27cc8a401","datavalue":{"value":{"entity-type":"item","numeric-id":3514553,"id":"Q3514553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d71027612b6daba8ddc1a4da6fa8b1a3d285a6","datavalue":{"value":{"amount":"+0.83207524","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":"Q583606$395D9EDB-63C5-4C9A-9781-E6FB45FB28C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new theorem discovered by computer prover","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_theorem_discovered_by_computer_prover"}}}}}