{"entities":{"Q5433133":{"pageid":7462697,"ns":120,"title":"Item:Q5433133","lastrevid":39840209,"modified":"2025-01-27T18:44:40Z","type":"item","id":"Q5433133","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5221779"}},"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":"Q5433133$311F9F6A-902F-44EE-A43D-9F023332BD9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d88484edeb2984df4772681ada4f044dd028426d","datavalue":{"value":"1149.51007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433133$E34B9962-CBAF-4A6D-B7C0-052D5B39D724","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25a44774625f957312bbbebc884fe42f11ed6c0b","datavalue":{"value":{"entity-type":"item","numeric-id":491568,"id":"Q491568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5433133$869D2F71-FC7E-4005-919B-0CCF5A600548","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df5b94b9643f948ad59b028b4790134db434aa81","datavalue":{"value":{"time":"+2007-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5433133$ECABB174-87D3-4BAA-B0E7-D222A1F465EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0166df3f2ef85a87e85fad615c3f5cc3979e4161","datavalue":{"value":"51M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433133$0D5105A3-DE89-49EC-A8F8-D6860EB42B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433133$75C76324-D7FE-41CD-B9A8-FD1F95620FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433133$BA7AC797-0D40-4370-B743-B0FBE25A7262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433133$CDD1D5EE-704E-44B1-92AC-A7AA6A7F2A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433133$EF29EF24-52EA-430F-8FAE-E52D06106CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143b79160ecbd84018a9432f7528f4f2e56eb50","datavalue":{"value":"51M04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433133$18D8E2E9-C986-42BA-8132-88E66E3FA926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1917337d45ddd990cbe8eff3fd5078de5d645744","datavalue":{"value":"51-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433133$311B7B01-B861-4051-A27E-D5A06569FF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433133$52352B0F-4B95-428A-AC9D-94EB895B1B45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d06a9907e83a1070d2175a979503877d57a5494","datavalue":{"value":"5221779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433133$30C68463-F1B5-42C0-AF6D-B711CB4672C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38a50ffa2df8f58dc0e19f5247e3e58137dec3e6","datavalue":{"value":"algebraization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5433133$5D6A4279-C65D-4588-88F6-EE9C81C2F22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5433133$4EE9E68B-5EA9-48EE-806E-2EA32F6AC62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2684d31bab7aae48bac6df2368510a83e67eb014","datavalue":{"value":"Ceva's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5433133$45C7724B-C17D-4BD4-9F45-443DBCCF2E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6dff05f1b3599f765d01df0ef81314822073e73","datavalue":{"value":"geometric inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5433133$C58ED9F1-4974-475F-93D4-CB503882D5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7164fb1a146782fc3fc30b688b30936e08cdee92","datavalue":{"value":"geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5433133$58DBA97C-76B8-4EC5-A634-D1EB110EBFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2db40c62fbba481c23c52e595e1d3bd4320088e","datavalue":{"value":"mechanical theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5433133$E25F130A-3F48-4967-801C-12F6EBA0F7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed3d4d4d9a22bdf4e6fd0873d2198e6c20a0bac","datavalue":{"value":"mechanization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5433133$253A26B0-646D-4A97-B40E-95411C4DEB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ef9511c711be77961d4a362add0bc4d7b6c7d00","datavalue":{"value":"Menelaus theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5433133$F473A35E-C10E-4334-9FC2-8D80044CAB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89ced6ad16477034a35faf4d88fa83cbaf2668b8","datavalue":{"value":"Napoleon's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5433133$44E6E4EC-7F75-446F-A474-C5FF6D2AFBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67aace76c075e19f5d4d7e8927dbb5006930c43d","datavalue":{"value":"Petr-Douglas-Neumann theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5433133$555B8A24-8E9B-4C25-A9E5-77DC184CA8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b0a6be56384484b87ca0ab8025d4046b931fb69","datavalue":{"value":"Simson-Wallace theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5433133$C9F62EC3-CA51-4222-B386-35CA4C2AF045","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9c1f58b8025297b76815155d9e858d1b402d938","datavalue":{"value":{"entity-type":"item","numeric-id":12911,"id":"Q12911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5433133$55DB5F78-B5F7-45D4-B485-D5100716C27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"515ee0c3e65e49f607b410421347db4c34466ea6","datavalue":{"value":{"entity-type":"item","numeric-id":21840,"id":"Q21840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5433133$628057A6-F29A-41AF-AFB3-FFAA38460699","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":"Q5433133$69EBB5BD-5177-4FA5-A539-CB069030A298","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a839d74007af1c3930450a763c8b9ef35f3d0c","datavalue":{"value":{"entity-type":"item","numeric-id":4394960,"id":"Q4394960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f6c1bb728298dc79312033db3c4ea48df4529a8","datavalue":{"value":{"amount":"+0.8315078","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5433133$C8BF2B64-6390-48A2-BD92-47FBBF0035C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d95f1d7edfdf6257ff9ad7c232192df093ebf87f","datavalue":{"value":{"entity-type":"item","numeric-id":4011813,"id":"Q4011813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f8ce3435ee8431dbe23b231b0fefe85239debe","datavalue":{"value":{"amount":"+0.8227692","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5433133$35358797-AFFE-4636-BB8D-0AE9E19BC6AC","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":"caf33fdba57eb8609719e25476b5baab02ed6a20","datavalue":{"value":{"amount":"+0.79514104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5433133$CB8B5AD2-88F2-4687-A09C-3FBF73159FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f8ab7a894f20d30190c83003c877fc78269f660","datavalue":{"value":{"entity-type":"item","numeric-id":4550487,"id":"Q4550487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce1eaa2edcb1130669d0af303e66341ab2d29366","datavalue":{"value":{"amount":"+0.77626467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5433133$1B4A8717-3313-495A-920F-FC8F3EC40FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c38ed7db4da68b169366d285fc7baaf4b267fa11","datavalue":{"value":{"entity-type":"item","numeric-id":5490283,"id":"Q5490283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"300166d560765435c7e17e7a35a4b81c7ba6eadc","datavalue":{"value":{"amount":"+0.7640506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5433133$0C3E0038-54E5-4F4C-8569-7B5BEF47E288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d772dfdc8642fe9a394e80429ca12194df583cae","datavalue":{"value":{"entity-type":"item","numeric-id":3838770,"id":"Q3838770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e72b9ab4b98f4479abe86a534746181802f492a","datavalue":{"value":{"amount":"+0.7454796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5433133$E7130D27-12F4-4A2E-9C04-60B736108D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff1887f6352aa81e4dd32e5a64ee0a7e16494b4","datavalue":{"value":{"entity-type":"item","numeric-id":1924745,"id":"Q1924745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65382b7b9d14cfccad850d928db694734daf1a42","datavalue":{"value":{"amount":"+0.73282135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5433133$BBA3A63A-03B6-4963-8ACA-974DD60F571A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5433133","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5433133"}}}}}