{"entities":{"Q4857780":{"pageid":6887360,"ns":120,"title":"Item:Q4857780","lastrevid":47374321,"modified":"2026-01-01T13:33:48Z","type":"item","id":"Q4857780","labels":{"en":{"language":"en","value":"Machine Proofs in Geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 823955"}},"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":"Q4857780$DD0FCF22-CAEC-481C-BBC5-E16DC7624D70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17e90869392b8dcfce40d0bb583ddfe56ff678d3","datavalue":{"value":{"text":"Machine Proofs in Geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4857780$2CBECCED-3D70-4470-A312-466D040F0E06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3c31ad2ca7724b3d6a714e271a6e7f5ed8c53b1","datavalue":{"value":"0941.68503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857780$9E93E3E3-D100-48A2-8B94-754737D9E7E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"472a37f094dd7a5e298423f6a81ddc4bc7c6b551","datavalue":{"value":"10.1142/2196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857780$F752D594-4808-4B36-A99D-DC67ECFE515F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9ec420612a063f059cbe6ea0649d56ebd8db08","datavalue":{"value":{"entity-type":"item","numeric-id":242601,"id":"Q242601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4857780$EED4781B-6D2C-4DD7-8506-E77A5A42DE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08885b1a8f2cfb423131e0fdd6c7e809277a8ca7","datavalue":{"value":{"entity-type":"item","numeric-id":242603,"id":"Q242603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4857780$87AAD60D-78E9-4813-855F-64C26102B821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"629b2bbc2e7d5238e546439edac9cc4a1c3c9f0f","datavalue":{"value":{"entity-type":"item","numeric-id":242602,"id":"Q242602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4857780$8631D72A-3256-4AF7-B2F7-DAB10EE6F579","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"48aa95e8f0b9da823b46f4a0db77be9e249f4279","datavalue":{"value":{"entity-type":"item","numeric-id":2842219,"id":"Q2842219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4857780$CA5785D5-ABEE-4F13-88A5-2B6FBE47D944","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f205090eba2b66195a288af43491070cfb932e4c","datavalue":{"value":{"time":"+1995-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4857780$B3FB779C-766C-4EAD-866D-FD8B18694046","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857780$406E9158-7B55-433E-9C9F-C6EDBC22EA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143b79160ecbd84018a9432f7528f4f2e56eb50","datavalue":{"value":"51M04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857780$9FCEFBE4-7DB2-440D-9F58-FD5EA4B200BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857780$2893698B-F47B-4250-9163-91FFC072D6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857780$8ED59DC1-C29F-4D00-81FF-4257168B46C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"04396622e455cb02710e1f086a7539f11a262950","datavalue":{"value":"51A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857780$A8359430-2EF8-4BC4-A3DB-6DFECB229B6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4af0b92eb402644c47093cd272c1e4f9bf250c7d","datavalue":{"value":"823955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857780$B132E462-12D1-4259-9867-A14FFADB47B6","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":"Q4857780$96F4EBC2-826F-4233-8B26-8BC6AA7CF263","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3d7f12edae364441128d6aba6a2746a295b7172","datavalue":{"value":"https://doi.org/10.1142/2196","type":"string"},"datatype":"url"},"type":"statement","id":"Q4857780$86B0320E-CECC-4A22-9A53-B01490F37997","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98719172d593430849fa2123dcb4d563c919f494","datavalue":{"value":"W3143504415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857780$99127D12-BC88-416B-A214-E63A4F7C8CA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4301cc59cf5cae6bae5adf3fcfab15bda62784e2","datavalue":{"value":{"entity-type":"item","numeric-id":1891257,"id":"Q1891257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc910af5bf227f62eccd7cd8e15ef3331ca38899","datavalue":{"value":{"amount":"+0.8564470410346985","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":"Q4857780$B021A9E1-6D13-4320-B310-734B755F0FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8b64b331009ade06eca684a0bc098134e3d4ae","datavalue":{"value":{"entity-type":"item","numeric-id":2439882,"id":"Q2439882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c162fe9e6515aa242dd151d7d41eebd7019637c8","datavalue":{"value":{"amount":"+0.8415576815605164","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":"Q4857780$8AB01B6D-9CE2-4737-BC63-32B699445360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d2e078a253980ab448f3a708bdf868fd8cae7a7","datavalue":{"value":{"entity-type":"item","numeric-id":2765707,"id":"Q2765707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a6ee600cac1920bacc2cf39df7846ff8435e70d","datavalue":{"value":{"amount":"+0.8288342356681824","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":"Q4857780$E5818233-6D71-4808-BE18-F7127FCECD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec646420cd509e1a6fe6d0f38daa810e5fb10855","datavalue":{"value":{"entity-type":"item","numeric-id":2751363,"id":"Q2751363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a82f696427e6549400a767582c81bf1c3b94512","datavalue":{"value":{"amount":"+0.8181334137916565","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":"Q4857780$1B6656A3-AA4B-4DCE-A424-2B8AD438B0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f91937f59821c642c5ead31816323ad934b54abc","datavalue":{"value":{"entity-type":"item","numeric-id":2911357,"id":"Q2911357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"095f6bae14107413417b8f37336887ca22cfd335","datavalue":{"value":{"amount":"+0.8041934967041016","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":"Q4857780$71EF8E09-07AD-456D-9274-97943EBECC1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4857780","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4857780"}}}}}