{"entities":{"Q5453489":{"pageid":7483048,"ns":120,"title":"Item:Q5453489","lastrevid":50321870,"modified":"2026-01-13T19:56:52Z","type":"item","id":"Q5453489","labels":{"en":{"language":"en","value":"Mechanical Theorem Proving in Tarski\u2019s Geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5256460"}},"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":"Q5453489$3B5FFD26-F749-4B5C-AC24-3C963A05C4D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28c7886ff8307d95bec1e8139395fc8402e7af07","datavalue":{"value":{"text":"Mechanical Theorem Proving in Tarski\u2019s Geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5453489$AD58D959-0892-45A7-812E-8FE91FC06282","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3565de8c4687133b92a5de293d54cee93f48522","datavalue":{"value":"1195.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453489$8C77D0A8-0DBF-4044-8F8A-50DF5B96FF2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b168683511324df08c1f0d041275615beca2ee94","datavalue":{"value":"10.1007/978-3-540-77356-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453489$A6877696-D041-4472-A39C-871E698C755E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7154e8ca53ace223b8c5be019b7f4f775aab0292","datavalue":{"value":{"entity-type":"item","numeric-id":294376,"id":"Q294376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453489$D00910FF-7E1C-49BC-A366-D3397713A8C6","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":"Q5453489$F51D5BBC-6E8C-4625-AC9E-ABBBA403150D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"198ebadd055eae6a54aaf8b4ed7b348339bb3788","datavalue":{"value":{"time":"+2008-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5453489$56E6534F-F02C-433F-8AA1-78C2B408EAC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed3202247b6b0b39c8c2602b60ffdb1ba5d3efc4","datavalue":{"value":"https://hal.inria.fr/inria-00118812/file/adg06-narboux.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5453489$5D1C9A7C-7E76-43B7-9BFC-3B39C542E8FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453489$A67A32FD-E31C-41F0-887C-1232F16161DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453489$2CB4B048-4427-4A12-AA09-59850FDA853C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453489$37C1148C-FEEA-4F80-B6E0-451A22F4631C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55811cc62f538127923a685bc5fa9054e725de43","datavalue":{"value":"5256460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453489$991D5648-44A7-44AB-8940-300BE4E0B0F8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453489$ABAD280A-BA98-4C75-A481-BEED8761590D","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":"Q5453489$C148136B-1829-4721-B173-B4139DA5905A","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":"Q5453489$86E89D96-A076-4FE3-94AF-C2337D36B6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ef50cc423c44138be22110bde4b56f83e61f992","datavalue":{"value":{"entity-type":"item","numeric-id":43953,"id":"Q43953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453489$A1CE6A12-ED67-4361-ADD8-A52B0729C70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86a4af2bb3c2c33ea624c50ed824f97c07fb9cde","datavalue":{"value":{"entity-type":"item","numeric-id":17876,"id":"Q17876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453489$82FA4FDB-67C8-417B-B5D8-67FA546C07E5","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":"Q5453489$D4A4CED2-A179-4229-B67D-76010DE7E7AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bdfe256eeec0859945e940881763a14702cbbee6","datavalue":{"value":"W2144907233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453489$7E92DE61-BCBE-44C4-B86E-E9B640EE0B28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13bac5997d9caf8368bd9ff9b5cd7ba88aa6b14b","datavalue":{"value":{"entity-type":"item","numeric-id":4531863,"id":"Q4531863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453489$CE943A55-BDED-41FA-8F0B-E76A6D992C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d7991ac9e7cdf85ee75bde2eeaeec3be8a2a07","datavalue":{"value":{"entity-type":"item","numeric-id":3559773,"id":"Q3559773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453489$AFFBEF0F-0BD9-48C5-B5AD-F8AD5B869AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43144c4a0a56b8fe6b196541305aec6c39695ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4262603,"id":"Q4262603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453489$D767E95F-64B0-40B9-BAAE-F1E1DB49659A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8549a72adcf761e26ac06f668c8502d7f581da97","datavalue":{"value":{"entity-type":"item","numeric-id":3678266,"id":"Q3678266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453489$150B7EED-4D0B-4222-B9E0-759EB549FA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c35f601f769b95e8a481ff9aaa800c7c31bcc91","datavalue":{"value":{"entity-type":"item","numeric-id":1825046,"id":"Q1825046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453489$9252E4E6-5B47-4ACB-8B79-D40957029389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d795b598201d37a3767197b6e0d7bcbc8cde96fc","datavalue":{"value":{"entity-type":"item","numeric-id":2462636,"id":"Q2462636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453489$079350DB-55D8-4A66-B9B6-743B1F7700AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1e35e1d6126eec41b1ea07713b5304f3ba86b9","datavalue":{"value":{"entity-type":"item","numeric-id":4790670,"id":"Q4790670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453489$C5F47DAC-D506-4253-A172-4A932F0C84CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79bfc697d8da1639edfa9171984fbef54e299a56","datavalue":{"value":{"entity-type":"item","numeric-id":5493316,"id":"Q5493316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453489$C7F3828E-415F-4F60-A6DC-4C15644D5A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b779ecca4f2c81aa34d372723ce74f8abed7b3","datavalue":{"value":{"entity-type":"item","numeric-id":2643883,"id":"Q2643883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453489$7AF01ABB-ED65-4D43-A807-8B707CDC68F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c6fc65716ca53b4df443be754d1a7c89f6f684","datavalue":{"value":{"entity-type":"item","numeric-id":4857780,"id":"Q4857780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453489$D236D252-665F-4F4D-A43D-B3FD462ACF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453489$E1C98B68-3AA1-48CB-91D9-81750DD90A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b13ca39ef78e37b93e841a7352af0085ae2fc2d","datavalue":{"value":{"entity-type":"item","numeric-id":3268764,"id":"Q3268764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453489$F7C96A24-1D29-4429-866A-EA6C2E5D7063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453489$8668DBC7-2D35-4C9F-BC3C-CBDE18CF06F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3541189dbca4e0105c0a9c876ec92d5ddebd0d42","datavalue":{"value":{"entity-type":"item","numeric-id":1902978,"id":"Q1902978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453489$F0BD747D-4D57-4A08-B7CF-1978648271A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8b674cedb8bc741aac89084d00225dcbc609dc","datavalue":{"value":{"entity-type":"item","numeric-id":2849509,"id":"Q2849509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77cd6da1246b449860a24ee29b65938892d6b449","datavalue":{"value":{"amount":"+0.8947710394859314","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":"Q5453489$E672B9B5-45B6-48C2-829D-B4308C026373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8979cc7394b54607363e20506421809afb99c0","datavalue":{"value":{"entity-type":"item","numeric-id":2362499,"id":"Q2362499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6724e164ab8a0bbca5bda1996b9ddc5caf1ec7e","datavalue":{"value":{"amount":"+0.8504961133003235","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":"Q5453489$056250BF-CA03-4DEA-A333-6FAEAAA60431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8e5fef99b2d0fc701887103ec056b6e6a245a1f","datavalue":{"value":{"entity-type":"item","numeric-id":502683,"id":"Q502683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb9e50f131ff178d1e84b9278bbe2fe23486ba6","datavalue":{"value":{"amount":"+0.8256088495254517","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":"Q5453489$F366FE6A-81F0-4F46-A144-FA83F693B16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"937ede94f6e647c0375842053f6e0b5b222fa6bb","datavalue":{"value":{"entity-type":"item","numeric-id":2362204,"id":"Q2362204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f201575d5651b4c684ddb4afdd7b7daeede84f","datavalue":{"value":{"amount":"+0.8189511895179749","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":"Q5453489$83126538-D3A8-457A-9EE5-16D08C42A721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59559947d148028b311e2b7358f27d444b2f2861","datavalue":{"value":{"entity-type":"item","numeric-id":3192214,"id":"Q3192214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df352571dfb328c278e3692608a5f960c844994","datavalue":{"value":{"amount":"+0.8143762946128845","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":"Q5453489$C1A0E7BD-B97E-4D91-ADB0-73703B6C86CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5453489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5453489"}}}}}