{"entities":{"Q1924738":{"pageid":1935480,"ns":120,"title":"Item:Q1924738","lastrevid":82048790,"modified":"2026-05-06T19:58:50Z","type":"item","id":"Q1924738","labels":{"en":{"language":"en","value":"Elimination procedures for mechanical theorem proving in geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937243"}},"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":"Q1924738$1C0E9054-4C0B-4441-A9C9-3B3604D4F5FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9740c413699c16a6960cc6c5266a674720db0a74","datavalue":{"value":{"text":"Elimination procedures for mechanical theorem proving in geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924738$50118240-CB47-41AA-A0A7-B22A77C3E638","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78f7f19cf6827df723f8c1695aedce2108841e32","datavalue":{"value":"0855.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924738$1FF5806D-877B-4B03-8E3F-E6439A410550","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3264842104dc9b12a10a381c7bedf2a620a60395","datavalue":{"value":"10.1007/BF01531321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924738$066E167D-23C5-4AB4-9B87-675A9DB0B29D","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":"Q1924738$FFBCE72E-D781-4D4F-8D23-366D9A151065","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$68A99DB8-7589-4F7E-B666-B71E567E814A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18c3bb1a11dba9f99423cf053a5921485bdadd22","datavalue":{"value":{"time":"+1996-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1924738$EA6FA425-0F91-4ABF-88D3-17B92205CF64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924738$E3078BC6-BCDF-43CE-A0A0-E794B9AA028C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffa32ab4aec0ea4aa2e3d2974f4f85bc3ac6945a","datavalue":{"value":"937243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924738$D28CB0F8-2999-4F10-BF3C-4AFDE2E8D0D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2db40c62fbba481c23c52e595e1d3bd4320088e","datavalue":{"value":"mechanical theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924738$A881CAEE-CCAB-4FBD-83F6-C8ADDA9FC2E8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$DD2F0A3C-DA8C-4E4D-9D68-FACBCC7B3A37","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":"Q1924738$FA4CAE99-3A5E-45FD-B2F2-4BCCC4501C9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7777065109a6227b3bce7c7b0da4d71e63d4776","datavalue":{"value":{"entity-type":"item","numeric-id":3833652,"id":"Q3833652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$1C89F995-85EB-4045-B6E5-68724886AA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953e262a3244da8dda3464b2c191683b0afa692b","datavalue":{"value":{"entity-type":"item","numeric-id":3994509,"id":"Q3994509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$FF9004C6-EBDF-4FB8-8DDA-8D2FECC37CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65b705669c63993345434be77161245f32637c5","datavalue":{"value":{"entity-type":"item","numeric-id":3490991,"id":"Q3490991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$DE4058A8-B789-4FE5-8F9D-D18DC2A60146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d7ca05adae7b419f17e5cddb8697a139ae3cb2","datavalue":{"value":{"entity-type":"item","numeric-id":1121669,"id":"Q1121669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$10ACBB93-00E6-42A9-A42A-13F5CA68C642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e84073c1b2a7bdf1fb3baf4a38489c12a259449a","datavalue":{"value":{"entity-type":"item","numeric-id":805606,"id":"Q805606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$37968F55-415D-4627-B36A-B3342024B776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa588edc61501d2e3161268602c55037716baa5","datavalue":{"value":{"entity-type":"item","numeric-id":3735803,"id":"Q3735803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$DE4D30E0-6102-4600-9D2E-C540EFA1FBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25310d0cb3d051f21b58d609e9bace6518e8da3b","datavalue":{"value":{"entity-type":"item","numeric-id":1924743,"id":"Q1924743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$7E378BE8-D415-450A-B7AC-966A39AAE321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb88951437ccd14e6bdebc77cda052045a02f0ce","datavalue":{"value":{"entity-type":"item","numeric-id":1094150,"id":"Q1094150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$7A2F9FFC-5D0F-49D5-A27E-D9ADEA3EABA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66f1b17812e6037d2b7d557b0a7606920332b887","datavalue":{"value":{"entity-type":"item","numeric-id":1124373,"id":"Q1124373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$EAA2D0EB-8D3E-447B-B810-DAA32D792EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c1353552771c76410cfe34ccaefc15ebfda51a","datavalue":{"value":{"entity-type":"item","numeric-id":1118424,"id":"Q1118424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$19E998A2-5D9C-43D3-8BFD-1EE35C0D924D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027e018eef8810ffaaa3893bf67adf6d2ef52c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1094149,"id":"Q1094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$0B241B77-D6CF-4EB0-87FF-A00E536EEC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343f0b15bec560f521728084130c9740575f7f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5795628,"id":"Q5795628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$F08DFBC1-E14E-462A-9B00-4F21CAFCC0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df948e4bb6ef04b815bf8ced8a2c78f6b42f20d1","datavalue":{"value":{"entity-type":"item","numeric-id":768207,"id":"Q768207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$3A4CC73F-8B14-4F60-B1E9-73F9D0B095D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3eac13511980297f5a8e1006e1ff657b61874bc","datavalue":{"value":{"entity-type":"item","numeric-id":3491012,"id":"Q3491012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$8A75742D-ECD0-4C22-98BD-BEB95829059A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0c40327cf7f6744c28e523b89f49083e848b3d","datavalue":{"value":{"entity-type":"item","numeric-id":3135176,"id":"Q3135176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$258EB928-A140-46D4-9D48-510965268596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e0c63d216bbfa7efe8dcbacffeffd7bfcb3cd5","datavalue":{"value":{"entity-type":"item","numeric-id":1332646,"id":"Q1332646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$CA7C749B-AA67-4CBD-927A-79A4779C4525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a610ceea0d0b3eb6c6f91e35e578f645aa376f4f","datavalue":{"value":{"entity-type":"item","numeric-id":5203713,"id":"Q5203713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$B17A014A-79B5-4AD9-91F5-62119823B251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d57db4d3216bc53e46ae99a268680181eb65b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4153620,"id":"Q4153620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$882DCEBA-7A9C-4A45-9FC0-33487B8F2138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1d8151d9f7f131336a7e50465185aef197a38d","datavalue":{"value":{"entity-type":"item","numeric-id":1173667,"id":"Q1173667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$35B0662E-02D0-4DC1-B17E-F9E9F85006CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92aa42a2fc1588dce592fa4b81fd744ad89eaba0","datavalue":{"value":{"entity-type":"item","numeric-id":1329538,"id":"Q1329538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924738$39092E20-7E7C-4746-AAC7-24FD46AC82EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06686c30dbb854f6561bc62c0ea99ae28592b751","datavalue":{"value":"https://doi.org/10.1007/bf01531321","type":"string"},"datatype":"url"},"type":"statement","id":"Q1924738$35531088-AA9B-4851-9171-E08C84405EA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61edc9daedee44120300cd2ae758b4cdac979bc2","datavalue":{"value":"W2029256996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924738$CF5F5AEC-6419-4839-8717-8570BE1F780E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d56fd5f71423e20181a19c4ba4b24357809235f","datavalue":{"value":{"entity-type":"item","numeric-id":3700870,"id":"Q3700870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c6ac664a545957dff5789f873c08ebfe716bad1","datavalue":{"value":{"amount":"+0.8616025447845459","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":"Q1924738$FC7562E8-0526-4F39-8B40-EDCE254DE70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"073536ae33d3db7c62a007d5c740317951ac24be","datavalue":{"value":{"entity-type":"item","numeric-id":2765682,"id":"Q2765682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2174e93932aa0591e0b9855e1d1346ffe9802439","datavalue":{"value":{"amount":"+0.8601586222648621","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":"Q1924738$F40D5018-1EC2-4899-A531-EC60080C7101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55452173f8dbce5ae4837d8eefd40dbdd98c802f","datavalue":{"value":{"entity-type":"item","numeric-id":3125007,"id":"Q3125007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9667acbe599e041841fdea46ebcf4288f5efea","datavalue":{"value":{"amount":"+0.8350239992141724","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":"Q1924738$F6A6E308-3AA7-4AF1-BA38-5F434D4A2874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c26d395bc25e0c0008e1c08b53aadc201ee49a8","datavalue":{"value":{"entity-type":"item","numeric-id":1101257,"id":"Q1101257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6233188ddd76115147a17afeb73de549c3a6b2ec","datavalue":{"value":{"amount":"+0.8306454420089722","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":"Q1924738$3D54CB8E-CC76-47EE-97B7-117F041C23B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed32a4f5d8b518e0ac9f5003543d94b115432ff","datavalue":{"value":{"entity-type":"item","numeric-id":1924746,"id":"Q1924746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f7ff15a92948bd07c83a88430d55497a8cbefe0","datavalue":{"value":{"amount":"+0.8302494287490845","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":"Q1924738$62975B8E-37FF-4AD7-91DE-E7731F602FA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elimination procedures for mechanical theorem proving in geometry","badges":[]}}}}}