{"entities":{"Q3452277":{"pageid":5227938,"ns":120,"title":"Item:Q3452277","lastrevid":80487569,"modified":"2026-05-06T16:18:46Z","type":"item","id":"Q3452277","labels":{"en":{"language":"en","value":"Computer theorem proving for verifiable solving of geometric construction problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507284"}},"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":"Q3452277$769FBA62-6D1D-4A6A-9FDB-E895ACCF39DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e453d42497aef2c317f2d5f2c5c31a3470a91a22","datavalue":{"value":{"text":"Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452277$CB0D64D4-2B9B-4266-B8C3-B4960A382B63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3ad47c8e737e70e2a2179fface58a5eb6d4891a","datavalue":{"value":"1434.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452277$4EA84006-6A90-4643-998A-84CB11E05EFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4daad845e48ad41d51e1db772612ff9fb411723f","datavalue":{"value":"10.1007/978-3-319-21362-0_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452277$9CE89D94-89DA-46C9-8B10-932E5E636D9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7e35eaaccda96f63d4916ed49ef687de6057479","datavalue":{"value":{"entity-type":"item","numeric-id":294372,"id":"Q294372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$2EDB2F99-FD05-4D9E-A3CA-A3CCA880B7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c93dc7f088015e9cd1eacb5d2c04306baf043d99","datavalue":{"value":{"entity-type":"item","numeric-id":286775,"id":"Q286775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$47D677A8-7D86-479C-AD13-CEFCED5AD876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4f67aad00a911cdfd4a5f73b3962a1f5be1f7e5","datavalue":{"value":{"entity-type":"item","numeric-id":294371,"id":"Q294371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$08B20FBC-D7DE-4501-8211-12860526209C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"348c28e159850115a4bf602bf9df1d1e5c1cbebe","datavalue":{"value":{"entity-type":"item","numeric-id":2849503,"id":"Q2849503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$2E0FD70B-6910-4BBC-97E2-C7D20D277407","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3452277$795D6A1D-55D0-4358-9E0E-321DE8E2CFC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452277$31747395-9554-4E1F-B0D2-A7A4F8386C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37256f133d34bc244da0ea0fe26a04c6dadb9e77","datavalue":{"value":"51M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452277$77DA3E61-A9F2-4175-AA73-32567BDBBD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452277$1399F3A6-8E45-4E90-89B5-2676AB9A2F46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81b7f04f24c1a7c0e258fcf17faed10bb6b947c0","datavalue":{"value":"6507284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452277$BD0508FD-15D7-4039-BC47-25F1BE96E845","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0df35e35bc9e0d646d3ffec0c1dfd6eea794d089","datavalue":{"value":{"entity-type":"item","numeric-id":19245,"id":"Q19245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$130009DB-17F2-4898-95AD-CA0BE931C92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7fd741b1ceeb7995c573b98e8b2c8facb4ea75f4","datavalue":{"value":{"entity-type":"item","numeric-id":19263,"id":"Q19263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$1295EB13-060E-4456-BE5D-96C254877C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9f198e68d76fbe465111bca4c53f6e9fff596ed","datavalue":{"value":{"entity-type":"item","numeric-id":19232,"id":"Q19232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$F3A2AC97-A6F2-4232-A3A0-FC6B79B7ED6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32aff951e31cb88fd9452eb9d816a1b0d2b9e644","datavalue":{"value":{"entity-type":"item","numeric-id":13544,"id":"Q13544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$C62118FB-0DA6-46F9-B652-461DF8C56C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09d7950f01425e7e9f7da214e3be0764705999c0","datavalue":{"value":{"entity-type":"item","numeric-id":13087,"id":"Q13087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$2CD83D11-0595-415E-8CD9-ED180139F6CE","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":"Q3452277$E89D07D8-0B27-4D93-BFAE-A5EF0028C328","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74624a5f9e3a05a5574afd618ddaabe5ead3ec43","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21362-0_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452277$B1D79B4A-EBB7-42C8-B638-1A1BFA893A3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed2fbe359929766b50df6d78c0e043be49b18358","datavalue":{"value":"W2294949920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452277$5EDBA35D-02AE-48EA-A90C-31F4F3A83E26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2175eef0ab0f9526b5af3349cc01469f012854","datavalue":{"value":{"entity-type":"item","numeric-id":1110246,"id":"Q1110246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$C1FC8B0F-443A-4E59-BB88-02A6636495D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45ba0f08d8b9ad108013eb53fd86281684a152c","datavalue":{"value":{"entity-type":"item","numeric-id":2849509,"id":"Q2849509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$DCD5460C-CBCC-4F7D-9C15-46E49330450C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284ef16081e76e9a16c87b100a09db0ce7ebc3ac","datavalue":{"value":{"entity-type":"item","numeric-id":1902408,"id":"Q1902408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$6520A193-78CC-404D-8D90-911CDD147747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a5334f5bbd36d583a094ecc9ffbd95d0f835fd","datavalue":{"value":{"entity-type":"item","numeric-id":4188363,"id":"Q4188363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$529C074E-1934-4495-81E9-A46C2FEF9C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea1dfbd8054430358e470eb1a9393a895364157","datavalue":{"value":{"entity-type":"item","numeric-id":1128611,"id":"Q1128611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$02C7FE38-2898-4AFC-8109-03477A96819E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d96e0451c1e932ff5ad424923ad7cca001096fe","datavalue":{"value":{"entity-type":"item","numeric-id":1589579,"id":"Q1589579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$55CD1189-7B75-4634-BB7A-22CD679FF9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdf21144d9e32553e8f12d339373f204fb256fe","datavalue":{"value":{"entity-type":"item","numeric-id":5721424,"id":"Q5721424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$89B74564-D433-4FA5-9379-6A752C461D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a892de2e56dd171345acde0bdcc7984183005d","datavalue":{"value":{"entity-type":"item","numeric-id":3100204,"id":"Q3100204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$4EE46C73-9F97-4026-AED6-CB0FD86AE014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50194ca3b7c353b09bf7a69176aa9a9155660faf","datavalue":{"value":{"entity-type":"item","numeric-id":3003228,"id":"Q3003228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$64C20189-C37A-4952-82A7-3AA76FC254E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"328caad0b77361ed511af273d18672e961160188","datavalue":{"value":{"entity-type":"item","numeric-id":2655329,"id":"Q2655329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$49AB881D-E2BD-461E-BAE3-FC825B5676A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3e2ce8ad7eb4c407ea1e2b45c8988243819268","datavalue":{"value":{"entity-type":"item","numeric-id":3422212,"id":"Q3422212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$73F80DAC-B521-48CA-93C0-F80D1253DF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3bdf775be1796de08c6cb323fbcc70991469aec","datavalue":{"value":{"entity-type":"item","numeric-id":1071803,"id":"Q1071803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$13274D62-7B41-4CFE-BFF4-CC9989889A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0e8729fdf24608a5f0f4033ad40df25b147825c","datavalue":{"value":{"entity-type":"item","numeric-id":5792724,"id":"Q5792724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$65CE0108-337F-4B66-99AF-73E6BFA1440D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82a6fd827eafed6822bd567776637130ad374fa","datavalue":{"value":{"entity-type":"item","numeric-id":3416657,"id":"Q3416657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$F1851EF6-CE8A-4820-AC66-4D4562565795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf164580456b89d1f3cb99910c418dbf3e5875e","datavalue":{"value":{"entity-type":"item","numeric-id":2907319,"id":"Q2907319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$05196AC5-A782-4D0E-8355-94B397715B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611c1761c4972c1da31f441c3e0a540a1db05f99","datavalue":{"value":{"entity-type":"item","numeric-id":1846745,"id":"Q1846745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$E86A1464-4166-46FC-B4C7-522F559720F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448244272da4dbff5b7c78c2545c59c5b5af64d9","datavalue":{"value":{"entity-type":"item","numeric-id":3102745,"id":"Q3102745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$DFA8C573-BC7B-431E-86C0-FA51EAE246F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d12ab258abcd01ce201602a4d70ce892892adb","datavalue":{"value":{"entity-type":"item","numeric-id":3962080,"id":"Q3962080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$60E11265-87CD-4B5F-9504-F68D6BBDE0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc88136a9e64b699ae9a797cd5c1f73597a0318","datavalue":{"value":{"entity-type":"item","numeric-id":2480964,"id":"Q2480964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$169D3E95-AF3A-473D-A3F4-7D909D8053E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe961fccc96a400a33450c52d986a5b9e3c3b47","datavalue":{"value":{"entity-type":"item","numeric-id":2904392,"id":"Q2904392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452277$0B26FED8-93D7-40D8-8501-80FAF9B1264D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79065112560b80d954638832271ff884950c8489","datavalue":{"value":{"entity-type":"item","numeric-id":294375,"id":"Q294375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a1020d2e2d7e0d20821d7014ebd689d88a9c048","datavalue":{"value":{"amount":"+0.8028198480606079","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":"Q3452277$C2ACFB93-67F9-471E-B652-F08692A35D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b1d9f2ca82befd14b58ad2fe972715eb9fc915","datavalue":{"value":{"entity-type":"item","numeric-id":1640643,"id":"Q1640643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e068e2e821448b53c478b5ece8c236b42c82203","datavalue":{"value":{"amount":"+0.8021656274795532","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":"Q3452277$D04D728F-C587-45E5-B2B8-CD813D7F267E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"156d4380e0f365c5ab2edfac7290b184e9eaa910","datavalue":{"value":{"entity-type":"item","numeric-id":3764125,"id":"Q3764125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b861b20da8e7df9658f9089f0ad888b9a5eeef0","datavalue":{"value":{"amount":"+0.7649943828582764","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":"Q3452277$26BD9423-CFEB-44F9-AD2B-44AF9F8DF53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce71d9c42c9a0a10e69418a604b7c7695a923596","datavalue":{"value":{"entity-type":"item","numeric-id":2907319,"id":"Q2907319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a2efc8d5326314b8f465a2b63d7d34722c8393","datavalue":{"value":{"amount":"+0.7548478245735168","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":"Q3452277$636228DA-CF93-43F8-ACBC-0D5B03F1DA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62173cc7f91095b2fe6513fd85c60e0460b77c38","datavalue":{"value":{"entity-type":"item","numeric-id":1670771,"id":"Q1670771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6282f5c3c7d1aed0a9fb5b2a8a85d1fd30a5f531","datavalue":{"value":{"amount":"+0.7514288425445557","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":"Q3452277$A54DA25D-FE6B-4AEE-9349-EF219E4B2BE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer theorem proving for verifiable solving of geometric construction problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer_theorem_proving_for_verifiable_solving_of_geometric_construction_problems"}}}}}