{"entities":{"Q5393347":{"pageid":7422921,"ns":120,"title":"Item:Q5393347","lastrevid":51228647,"modified":"2026-01-17T08:35:30Z","type":"item","id":"Q5393347","labels":{"en":{"language":"en","value":"Implementation of a geometry theorem proving package in SCRATCHPAD II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5879086"}},"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":"Q5393347$EC41C622-07C0-4EA3-B5F4-26816ECF7C24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68ad6bedbbc714038b4de219e15ef37531e64bec","datavalue":{"value":{"text":"Implementation of a geometry theorem proving package in SCRATCHPAD II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5393347$8C875691-7A44-4ABD-86D8-8D8970BF9E1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"834a99a94f306e93759eccd021213a1c857507a5","datavalue":{"value":"1209.51001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5393347$C86A56D0-DFD9-4873-A62C-9157FDDA146A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d859c17814d1124b9bd4eee5a17864974ec38b89","datavalue":{"value":"10.1007/3-540-51517-8_123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5393347$9ED1AD14-82A3-41DF-B2F2-77E467EB089E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5393347$C4B9019D-5896-40C2-B9D3-7822C947141B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef8db849926e732bf11887cd9a4e54da546d971f","datavalue":{"value":{"time":"+2011-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5393347$FED317D6-6A9C-4171-9C2B-F583F04E40E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5393347$7C72A7DF-436C-4676-99F2-202207D2EABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f7f43158b42f0a7240ceb9aa177f89dce451dc7","datavalue":{"value":"13-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5393347$1465A2BE-A205-48D7-A51E-191FCAF3E8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5393347$DFEF9A0A-8581-43E9-B6B4-6C4278BF0D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5393347$3D6CB3EE-2D69-43D4-A05B-663227CE1DA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12f86e7bb4d21a431e990678517f476dc7e4e16e","datavalue":{"value":"5879086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5393347$318D9519-248C-42A2-A714-91B35AA47D1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d39b4f79408faefc5e51ebdd39c041961ec702f","datavalue":{"value":"\\texttt{SCRATCHPAD II}","type":"string"},"datatype":"string"},"type":"statement","id":"Q5393347$77636A85-C6F5-40A1-A6F4-47A4DC9ACEA0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e33638c86f3c05d458e62c0a83dcc72f2a0d42ef","datavalue":{"value":{"entity-type":"item","numeric-id":13189,"id":"Q13189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5393347$1E826BC5-E2F6-409F-8A1B-0D66D9B359C1","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":"Q5393347$66AB5CFC-3FC9-4D2F-96C0-A50E3471AF79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"830ccc11cb50e72aebd3dc0079094695bf4491af","datavalue":{"value":"https://doi.org/10.1007/3-540-51517-8_123","type":"string"},"datatype":"url"},"type":"statement","id":"Q5393347$1F9D17F5-6A99-41EC-8266-14F6C4E8EDC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fb253945ae67244bbca4d93994b70b9894726b9","datavalue":{"value":"W1480001877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5393347$FF93DC2E-7462-4F1A-AB5E-D2A6863F3E05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1424d6206eadde535cf9ed66458b162f4d989955","datavalue":{"value":{"entity-type":"item","numeric-id":5902031,"id":"Q5902031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e59be165b26e6ef211553d1822170b1378f12cd","datavalue":{"value":{"amount":"+0.8178262114524841","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":"Q5393347$A5A1F268-A02B-468D-86BF-BB7B5D1603F2","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":"38ad377470fe688295cbee92033cc4c505804c2f","datavalue":{"value":{"amount":"+0.8094702363014221","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":"Q5393347$D4701A69-3C30-4798-B3B7-1A1D3066E0D0","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":"e8eabc30e4d25571135d7437a85a0e9600a09cdb","datavalue":{"value":{"amount":"+0.8081517219543457","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":"Q5393347$3FB06D8F-F936-4E57-B927-DDAB76015FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a68f59ae32b2681c35c7ea8f212502168273b26","datavalue":{"value":{"entity-type":"item","numeric-id":3994509,"id":"Q3994509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2e9421d615f8c6d1af266ebc6cf99f8bed22d5","datavalue":{"value":{"amount":"+0.8013885617256165","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":"Q5393347$E4DCACA3-7777-47D1-9F5B-53EAF855AC99","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":"6cd44c6289de7ba1d25122b04e57fec85a7dbae6","datavalue":{"value":{"amount":"+0.7900161743164062","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":"Q5393347$C5883507-C494-465C-9CA2-45B9FDDD9FAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5393347","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5393347"}}}}}