{"entities":{"Q3571252":{"pageid":5601156,"ns":120,"title":"Item:Q3571252","lastrevid":51036398,"modified":"2026-01-16T07:54:58Z","type":"item","id":"Q3571252","labels":{"en":{"language":"en","value":"Automatic theorem proving for three decades"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5733425"}},"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":"Q3571252$BF2ED077-7FDB-40EC-9EA1-B2CBC3CD3421","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43ff8c7f9af2d812e796a1b1113a325642d13ce9","datavalue":{"value":"1212.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3571252$5BF3BB46-E5CB-48C3-9B9B-5D9B1AB7060B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08885b1a8f2cfb423131e0fdd6c7e809277a8ca7","datavalue":{"value":{"entity-type":"item","numeric-id":242603,"id":"Q242603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3571252$A1B82741-040C-46CE-B691-BB17763A4313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbbd1bc3b6b4d41d8ce3d527e8b4d76c3a889167","datavalue":{"value":{"entity-type":"item","numeric-id":837802,"id":"Q837802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3571252$47F048B9-7340-4A9F-BDE8-5B324E2F28A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e2fd15bfb5ff75f3830c4d455e2a782e2b5d1b7","datavalue":{"value":{"time":"+2010-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3571252$6AC8450F-3C06-4DBB-908F-8F9F1EA754EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3571252$842BA76F-7073-41A9-8F2A-57572DC31E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3571252$A920F6BC-B0CE-4B93-AF12-48403DF0B0A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b6c4888bb34a4d646826d32369cbc081b00220a","datavalue":{"value":"5733425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3571252$84BCA431-A833-40A7-A0D3-1C1AD10B7DA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f43dc8fe8f1ab231872a9f4f599c0cc472dd10ff","datavalue":{"value":"automated geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3571252$3FCF4D8F-AE45-41E4-9512-1EE7320771FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0aff332c3d44bda49385d374325d21a0dbf8c7e","datavalue":{"value":"algebraic methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3571252$258F574C-C29F-452F-8DAB-335F71E765D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cccf8e51ad05a1ac0bc1bb0127778dafdc83670","datavalue":{"value":"readable proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3571252$BB622C6A-1298-455F-8FE7-CCAF2A9E617C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a0135936f0ae7132e716d8e48f819be6ff6773","datavalue":{"value":"area method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3571252$E7BF8243-F475-4312-B6AE-C35389939B15","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":"Q3571252$6CC698BC-2C0B-4CB5-9E36-65F53B4C8667","rank":"normal"}],"P1643":[{"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":"4ee15f703dc6a2a64eec36bb89fec9b342b8b64a","datavalue":{"value":{"amount":"+0.8299710154533386","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":"Q3571252$6B2B98C7-6E35-4D3A-8840-786A3BE78FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8b64b331009ade06eca684a0bc098134e3d4ae","datavalue":{"value":{"entity-type":"item","numeric-id":2439882,"id":"Q2439882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31dbec93c28e4d7ba81154b816fa9eb6d71e0498","datavalue":{"value":{"amount":"+0.8217813372612","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":"Q3571252$E6BC5FCF-EE89-4E9E-8605-6809F1FA5C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d2e078a253980ab448f3a708bdf868fd8cae7a7","datavalue":{"value":{"entity-type":"item","numeric-id":2765707,"id":"Q2765707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c83572c446560bc06a685844c1a3e13129dcc3e","datavalue":{"value":{"amount":"+0.8196671605110168","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":"Q3571252$335DDC49-B58C-4E26-9CD5-E97C8B8572B3","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":"271d70f9e0c6866ea854e0b5139df0a8bfaabc39","datavalue":{"value":{"amount":"+0.811824381351471","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":"Q3571252$67D9FE98-0909-4C4C-9FDF-EF01C2B7F90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6cc4e28fe1118af69cd2e83a0e77012518858c0","datavalue":{"value":{"entity-type":"item","numeric-id":3126575,"id":"Q3126575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45bd90d2aa1fdc93ff13410d2cbae7095730afc","datavalue":{"value":{"amount":"+0.8074362874031067","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":"Q3571252$D3142195-C246-4B43-840C-9FF738761A8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3571252","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3571252"}}}}}