{"entities":{"Q3764125":{"pageid":5794031,"ns":120,"title":"Item:Q3764125","lastrevid":51828572,"modified":"2026-01-20T06:09:31Z","type":"item","id":"Q3764125","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4021099"}},"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":"Q3764125$8F4FFF83-C85D-4D7C-A733-741B496DA285","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d10805e85eddb04a502ec332a4a81308eb8005bc","datavalue":{"value":"0628.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764125$30912248-DCE3-4D51-8AC9-37D4EE979253","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"445e6c271797bbd4e969d752f3f62229db781b70","datavalue":{"value":{"entity-type":"item","numeric-id":215659,"id":"Q215659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3764125$DC6B8727-3B83-47E2-9B98-BD289F32BBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"818d58e1645e330068fb9088ab9bcccf4a7d2702","datavalue":{"value":{"entity-type":"item","numeric-id":281245,"id":"Q281245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3764125$B8436D8B-08E7-436F-824C-AADA94733CAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3764125$D8F76368-7760-4107-AC75-E4FD30B59D4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764125$FFD3E4B9-6D70-4344-9FB4-D0AAF7B9CCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764125$964ED046-D9FA-4C2D-8F25-A8A932A1EE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"04396622e455cb02710e1f086a7539f11a262950","datavalue":{"value":"51A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764125$C26C6392-5C6A-45EB-A658-9B2C305835BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa1df1c80d30cbae99c821ce68cf7589f4a13105","datavalue":{"value":"51M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764125$1ECE9363-EEE9-4DC3-AFE8-D9364C477056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"08240126a81e33f43f6f0d84216dc8557b00da58","datavalue":{"value":"51A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764125$3045B1C0-18EC-4195-A221-AAD84425DCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764125$A0950225-1425-4B32-9A0F-AE43E20958A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3da5f072594ab77b1c0710bc72aef6e306661a5e","datavalue":{"value":"4021099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764125$FCDCDBB5-8EE7-4BAD-B9BD-3E0592F296B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cf7a1f80c40113568e0be03b2f3296095d14662","datavalue":{"value":"constructible theorems in elementary geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764125$D6D341F1-5795-4E1C-93A6-5DD76BF09A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb8a6c6fb3f62efbb060ad8a41bf554fcb6f956a","datavalue":{"value":"mechanization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764125$DC7BDCC5-5C1B-4382-9D56-3F788D7141F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a62e2cb39256ad8be350d962a6c33b3f71b69432","datavalue":{"value":"theorem-prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764125$B66E8C0F-DFF2-42A4-981F-5883571E5645","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":"Q3764125$5A9D57F3-8051-4870-8592-807E25093B70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34167f5f4e3291372177430bc9398ea61f49ac9","datavalue":{"value":{"entity-type":"item","numeric-id":1329538,"id":"Q1329538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40389a46a71f968554db9863279c899f1d92c7a","datavalue":{"value":{"amount":"+0.84883052110672","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":"Q3764125$A229062E-A9DD-4A81-91FE-DA666746ED23","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":"b40389a46a71f968554db9863279c899f1d92c7a","datavalue":{"value":{"amount":"+0.84883052110672","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":"Q3764125$F01FF729-BF0F-48C8-9D39-0BEC951284C6","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":"43a32cff411c471deca762e38ef9dae2fb725252","datavalue":{"value":{"amount":"+0.8394363522529602","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":"Q3764125$37DA1D71-B26C-43F6-A8FD-B9882D2497F9","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":"ffd8510ff9ee9b985558f363b4f5a772f449a2e1","datavalue":{"value":{"amount":"+0.8272464871406555","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":"Q3764125$EE789292-24D2-4EBD-B6D8-1FDE381064B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77002fe3bd44662bfca327771f35170494665ce7","datavalue":{"value":{"entity-type":"item","numeric-id":3700869,"id":"Q3700869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aacf04387156583439fcda7c846e23be8314d647","datavalue":{"value":{"amount":"+0.8231909275054932","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":"Q3764125$6F460E82-A53B-48D0-B918-CCB82837F42D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3764125","badges":[]}}}}}