{"entities":{"Q4240685":{"pageid":6270286,"ns":120,"title":"Item:Q4240685","lastrevid":46755102,"modified":"2025-12-25T13:00:45Z","type":"item","id":"Q4240685","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1281390"}},"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":"Q4240685$2A83F008-72A9-414F-8D27-98C8702BBF7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d35402833c8b85c74b0054bb046daeabb78db47","datavalue":{"value":"0917.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4240685$2A9C4D35-07EF-4EAF-80CE-941553A7B41E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9908da4c0d15bb70ccc4f3e4cf3d81e70c4d2006","datavalue":{"value":{"entity-type":"item","numeric-id":201220,"id":"Q201220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4240685$E927E6B7-BA9F-4F92-829A-D6BB7A495F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4a5a54a621b19d48a1bdb28e9166ed9e18d050b","datavalue":{"value":{"entity-type":"item","numeric-id":1666121,"id":"Q1666121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4240685$87FC6C8C-55E8-4AC5-A243-2266E324E92C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"503a477c7265a39fb9bda62eb38138aad91710bc","datavalue":{"value":{"time":"+1999-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4240685$022C25CB-F313-4198-BCD5-9DE908E7A7D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4240685$C90CA7A9-A68A-483B-B3B6-B66963F08E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4240685$5BBD3F80-4200-45E3-9B83-2DCB8CC02671","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a82f475c6a4d2dae9c46aa99a1fca831d87e5ddb","datavalue":{"value":"1281390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4240685$E53D050E-F610-456F-A8CE-96B2A6F83A29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ab3abe25afe02748eb31a714dcf00eade3f91f8","datavalue":{"value":"mechanical geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4240685$C6086F33-69D6-4A1B-976B-FE993697D496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7823dde53558f4ac6fe11e5eb16aeeebed964943","datavalue":{"value":"Wu-Ritt's well-ordering algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4240685$9B89497F-23CA-4A02-8359-FFB641DF913C","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":"Q4240685$53674D04-A56B-4338-B206-FFC129F5B60A","rank":"normal"}],"P1643":[{"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":"44b4872e1e87be245ac4d5436ab47453b6b85597","datavalue":{"value":{"amount":"+0.8689349293708801","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":"Q4240685$5916955E-291F-4866-ACC2-15FDE1C1D03B","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":"3d5bd7e58f794362fd75379600b2259185a8c50e","datavalue":{"value":{"amount":"+0.8544269800186157","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":"Q4240685$3F12C62B-3809-41C1-B93F-EC179921753A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2556a49c571b088eb4778b9a55bda1898ff545ef","datavalue":{"value":{"entity-type":"item","numeric-id":3772181,"id":"Q3772181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5080f5ef4111ce84a3a350743323061979edf7a4","datavalue":{"value":{"amount":"+0.8472661972045898","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":"Q4240685$12ABDDFC-CCAE-4455-BC2C-A30D0B677447","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":"045b79cd9809547b88c96969503aa0b9e5b8a37c","datavalue":{"value":{"amount":"+0.8362776637077332","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":"Q4240685$4A3BF952-30BA-41EB-9401-7D5E93705E68","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":"d28a7b154055eea37c69833e1eb973e5ad01fad8","datavalue":{"value":{"amount":"+0.8287062048912048","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":"Q4240685$6AC36D01-CF9C-4F03-93AE-10EB71559EC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4240685","badges":[]}}}}}