{"entities":{"Q3003228":{"pageid":3013952,"ns":120,"title":"Item:Q3003228","lastrevid":51253985,"modified":"2026-01-17T11:29:28Z","type":"item","id":"Q3003228","labels":{"en":{"language":"en","value":"Proof certificates for algebra and their application to automatic geometry theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5899968"}},"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":"Q3003228$07AABB77-09DB-4DCB-B611-31780BF6ECE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3130df7d6e8ab05b0b5449ca2fff1acc663767dd","datavalue":{"value":{"text":"Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003228$AE4BC0B9-A9A1-4D48-9F90-4D60A17E82C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9c9e2b57d830e00cc0cce43d69159564ecb889f","datavalue":{"value":"1302.68242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003228$910112D1-8B46-44B0-B350-27317C2F73D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43a4ff9a6fe4a2c84df157394b2c7c6bb9c470e8","datavalue":{"value":"10.1007/978-3-642-21046-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003228$86A34E7F-94C4-4B3F-884C-998A9171E0EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bffd823543cff1e715d11a4bf716725d42966bb","datavalue":{"value":{"entity-type":"item","numeric-id":633301,"id":"Q633301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003228$DEDEA106-2DEB-43F3-A99A-1B78DDDE57B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7993379b8a926ff9eca3cfcf3866fd4acb043619","datavalue":{"value":{"entity-type":"item","numeric-id":3003227,"id":"Q3003227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003228$A0907253-CDAE-43B1-BA45-BE67B0E64D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5fa5da603477bed196262dce34c616a0a67c991","datavalue":{"value":{"entity-type":"item","numeric-id":742366,"id":"Q742366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003228$AEA4A6D6-7019-4600-9727-73EA0A08C21A","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":"Q3003228$57ED3C96-B29E-406B-BA7D-48BB151016C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003228$2FDA1937-D050-4E1F-B86D-90EBC9AB5B92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa3a444452ebef29529bc7d8c556c7f1f9640514","datavalue":{"value":"https://hal.inria.fr/inria-00504719/file/pottier.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003228$A505539F-2F8F-408A-8D1C-4AF9C0F12BBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003228$D81CFDF2-CE10-4BFE-ADA4-D238C22C1DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003228$12761950-3642-435F-894C-BDB23BECDA3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b2cc6b95042aac034e4f5e684d944ad35f7981a","datavalue":{"value":"5899968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003228$9DE53B11-997C-4E0F-BD09-A3F2E5D4CDA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003228$69559002-406F-4388-989F-7C49A779A9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"393ea5959b60028dd155de81a4c97d51567f82f7","datavalue":{"value":"Nullstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003228$39113107-39DC-4CB0-A4AB-D77A9D8E3693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7164fb1a146782fc3fc30b688b30936e08cdee92","datavalue":{"value":"geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003228$D148290A-E633-47E1-8058-67FCED3D50B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003228$4EA9DECC-8E64-4666-926F-B4060EC5EE02","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe2977d14a6006fa56768c0bbf4b09337d85306","datavalue":{"value":{"entity-type":"item","numeric-id":16387,"id":"Q16387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003228$DF0B0BDD-A095-409F-AD63-975A2F6F0A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003228$C89E6049-B8F0-499E-B765-92D0A6832441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003228$7E142E9A-153E-4026-AE69-0A4D2B8CCC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003228$BFD13A7A-0512-4592-A9C0-8234CDB5D481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a7ab78c11a5a96fc598f910c529b2ab4e71c73d","datavalue":{"value":{"entity-type":"item","numeric-id":13292,"id":"Q13292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003228$5F3C504F-FC99-4010-A258-B4788C73F840","rank":"normal"},{"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":"Q3003228$F1D77172-674F-4A56-A809-37BD35FEB174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31a461888bfe9315ad7d7f5e0da5f5d5d2bfb22e","datavalue":{"value":{"entity-type":"item","numeric-id":13048,"id":"Q13048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003228$F3B05519-B414-4FC4-A481-DFCE3DA97E1C","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":"Q3003228$28175E1C-0C3F-49DE-94AB-87AEC9954C5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33b1581db919e2c4c1056b6098230bed3ca5c6e8","datavalue":{"value":"W1562231403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003228$7CE1BB9F-E6F7-45EA-9EF6-84C8AC3B1897","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d058c194163f72ccb038d2e587173b46ba0f7a6b","datavalue":{"value":{"entity-type":"item","numeric-id":3100204,"id":"Q3100204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d969287d02cf50316e6f1cd8d32855d57796c3f","datavalue":{"value":{"amount":"+0.8450314998626709","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":"Q3003228$97AC0CDE-6576-4470-8888-6B748194CFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff50cbc6eae1f2084c620650aa95944a904e0330","datavalue":{"value":{"entity-type":"item","numeric-id":5464649,"id":"Q5464649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5daaeeb53e5ad08008e0ba3f774b69fcebe577e","datavalue":{"value":{"amount":"+0.8072736263275146","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":"Q3003228$8EBD4000-26C0-4D06-BB5D-07FAAF304E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c160088cf25b70d48dfb6c6d0df5e8c0b8a72f7f","datavalue":{"value":{"entity-type":"item","numeric-id":4249903,"id":"Q4249903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00fb71f35f87861f294c221410b1c3b383ac63f","datavalue":{"value":{"amount":"+0.8037886023521423","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":"Q3003228$092F3705-330E-41F1-AA2A-AB8456490DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602600e7166d4fbeb1bec8dbee66427995e22ff5","datavalue":{"value":{"entity-type":"item","numeric-id":1094149,"id":"Q1094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"523a6acd6c59c015490eb9530e5ae78dc1d31ad9","datavalue":{"value":{"amount":"+0.7938191294670105","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":"Q3003228$18C86637-BB70-4ABD-813A-172BC043C920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d95f1d7edfdf6257ff9ad7c232192df093ebf87f","datavalue":{"value":{"entity-type":"item","numeric-id":4011813,"id":"Q4011813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"625b98d82ff57a8f5a3c6867ac884d949797bc36","datavalue":{"value":{"amount":"+0.7724360823631287","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":"Q3003228$B6609A24-2625-402D-BEA8-459F0A96AB49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003228","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003228"}}}}}