{"entities":{"Q2362499":{"pageid":2373242,"ns":120,"title":"Item:Q2362499","lastrevid":72600963,"modified":"2026-04-14T06:00:43Z","type":"item","id":"Q2362499","labels":{"en":{"language":"en","value":"Finding proofs in Tarskian geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6741144"}},"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":"Q2362499$6C86C0F8-1D42-438B-AFCD-F98FAC27DA5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01528d5ec53079a35009afdf25b08df4e235c503","datavalue":{"value":{"text":"Finding proofs in Tarskian geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2362499$4A40F32B-3C74-438B-B405-C7FF62D39E20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3763696664cc8dfee1581a8b0b96db7fa76238e5","datavalue":{"value":"1414.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362499$E0714CF5-E222-4C00-9F1C-E51CD15D763B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce2cc6380726fb10d79b2328ed8cc6bcf2ac9d3","datavalue":{"value":{"entity-type":"item","numeric-id":1224088,"id":"Q1224088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$D574E6BE-B857-4994-8052-304A8A809880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba90afe3c39216a5a167db74b8f9f42ac7df8da6","datavalue":{"value":{"entity-type":"item","numeric-id":220717,"id":"Q220717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$3885DEDD-CCB3-42FF-B3ED-05EBF78EA9AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$B56BA93F-9DEE-4438-9CB1-CE907D754D3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e955e3eec351ab42dab17f50ba694aafa8d23fd1","datavalue":{"value":{"time":"+2017-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2362499$157BCE8B-F3C4-4E0B-A48C-01E9AAA1F764","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96fe2936bb347e58d25656dff144ba0b854d15c9","datavalue":{"value":"https://arxiv.org/abs/1606.07095","type":"string"},"datatype":"url"},"type":"statement","id":"Q2362499$02B475CC-15E1-49BE-B1EB-7E0ADC13D581","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362499$4BAB852A-F001-447E-A5EB-E28C9313A5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e5da3a44a6865fa2cb8e31e2f51d7e1c349146a","datavalue":{"value":"51K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362499$A6F52D30-EC11-4786-9AD5-E97878372895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0166df3f2ef85a87e85fad615c3f5cc3979e4161","datavalue":{"value":"51M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362499$A2D55656-7E2D-4898-8F50-E00187954EF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecc57263ebf1da061c2f1fa1923ac99c6acee800","datavalue":{"value":"6741144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362499$6EF26CF7-A7C2-46A5-B44C-D0AB1F6B49F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362499$BF640C22-D482-4069-9ED7-303D0546DBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362499$E4FAE33F-44AD-40FD-BA07-E154D689F275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db4284e577bcffca5569bceec67bd0ea29f84935","datavalue":{"value":"Tarskian geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362499$F5DD5E06-9A13-4B5A-966C-B2D0B64C8EE2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$788F2D66-3CEE-4948-8F2F-A84499A2081F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$4EAC85E2-9BE0-4887-A2E6-F9636887A360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$6058CE59-221B-453C-9B19-7ADF0D5F53C4","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":"Q2362499$7FFE2B0B-E3D2-40BE-89F6-DE53C18CFDAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c660949966d6305c4618bab4445a2c2fd543c22c","datavalue":{"value":"W2963109403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362499$F42570A6-6119-4447-8A51-97E4FAF11787","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"41790c8e6cc4385397f008c071ed3b965464744f","datavalue":{"value":"Q113901246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362499$E6569142-0848-4407-93E0-19A70C258050","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"412123a8b4291c2e6a045d08b2ad6880564046ff","datavalue":{"value":{"entity-type":"item","numeric-id":3192214,"id":"Q3192214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$F5AE60A5-7096-4054-B5EB-7CB065C15E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee178f7541c5d2ed1d6ee17e1e99ce6d2d8a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5195271,"id":"Q5195271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$05688EE1-EE75-4F0B-BB55-235BFD39EBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45ba0f08d8b9ad108013eb53fd86281684a152c","datavalue":{"value":{"entity-type":"item","numeric-id":2849509,"id":"Q2849509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$6E28247D-920C-42A4-BDB3-D66D3F52FDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce2a72a0fc3795c683b3cb0e52daf0929c09301","datavalue":{"value":{"entity-type":"item","numeric-id":2362204,"id":"Q2362204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$838BB44F-A97E-40C3-B723-D9EC6D3AC696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2601a05a1e709fca09151d43fc2b61e821dace","datavalue":{"value":{"entity-type":"item","numeric-id":1355986,"id":"Q1355986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$08B3AD86-61C8-46C3-A794-8ECF302D40AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f75fcb0495c3f7c17b1eca02195ed4a09e6bf2","datavalue":{"value":{"entity-type":"item","numeric-id":2354917,"id":"Q2354917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$A3857E8D-38FE-450D-ABAA-494407264B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3087f1a7eb9309c1646d3032c16c6ac9f3d28d8c","datavalue":{"value":{"entity-type":"item","numeric-id":1923820,"id":"Q1923820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$42CDB44E-3425-4DAE-BB3C-E381FDD941DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483d3c17c09c578723154da4261b70aeda673d47","datavalue":{"value":{"entity-type":"item","numeric-id":2351415,"id":"Q2351415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$74D525D1-3F91-4507-B3EF-F9507A97591A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847e3dcf8d17a4bf2ebc16dc465d8fb6ca2c9cf1","datavalue":{"value":{"entity-type":"item","numeric-id":4032144,"id":"Q4032144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$265AB68E-2922-4CB3-8B0B-0241BDDD28C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8549a72adcf761e26ac06f668c8502d7f581da97","datavalue":{"value":{"entity-type":"item","numeric-id":3678266,"id":"Q3678266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$71146B96-3F14-4848-AC0A-3319A52BEE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87660c9c5fdc45e0d7335aa6496613f4289eb45a","datavalue":{"value":{"entity-type":"item","numeric-id":4391214,"id":"Q4391214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$BBE231BC-440E-4768-A220-77A57F4B2D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43144c4a0a56b8fe6b196541305aec6c39695ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4262603,"id":"Q4262603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$1AEC532F-CD2A-4AAB-85CD-AF5D0580BE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0620e875ace4454552471ddc26f3c19b333694a","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$E38BFC95-6FB7-4E3F-9B60-1B9A09DD1DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e1a291ac3cde8edb33ae306339a64d5e53ff45","datavalue":{"value":{"entity-type":"item","numeric-id":4792019,"id":"Q4792019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$57D14304-E8CB-425D-9458-120800FE7BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cef60f49122cbdc8855980bc9949c7fcffb3541","datavalue":{"value":{"entity-type":"item","numeric-id":5444850,"id":"Q5444850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362499$E10FE630-34BC-42B9-A286-0F7B50D35385","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"965f9942673b260a36ed3a6a27706e4a37ff4ea0","datavalue":{"value":"10.1007/S10817-016-9392-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362499$DE3B7C9D-CF4C-4B96-BEFF-F7382E4690EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59559947d148028b311e2b7358f27d444b2f2861","datavalue":{"value":{"entity-type":"item","numeric-id":3192214,"id":"Q3192214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d6f8a5c225cf40c3de705c9edf2eb2aa3005fd","datavalue":{"value":{"amount":"+0.8995492458343506","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":"Q2362499$DD0D85C9-D820-4D09-B18D-72F98DF47F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3aacfe6cf5d3b632fae55df5dd68166d9c3b84e","datavalue":{"value":{"entity-type":"item","numeric-id":1825046,"id":"Q1825046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac13d511913599eb3c1e0fc1d60744046169b68b","datavalue":{"value":{"amount":"+0.8508897423744202","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":"Q2362499$2C5DD60D-3F76-4E8A-9A75-97826BDEBF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b311de376cb7ff80a749fd94f0f7c89068deac6d","datavalue":{"value":{"entity-type":"item","numeric-id":5453489,"id":"Q5453489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6724e164ab8a0bbca5bda1996b9ddc5caf1ec7e","datavalue":{"value":{"amount":"+0.8504961133003235","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":"Q2362499$0E873559-7B00-4AEC-A122-E4ED6436E89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c26126e33f0e5b2ae6522ad3d736c39146fb1c2","datavalue":{"value":{"entity-type":"item","numeric-id":2354917,"id":"Q2354917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccce7847518a80711419270a3b67cd7a47e4da8a","datavalue":{"value":{"amount":"+0.8125788569450378","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":"Q2362499$5164699C-7608-482E-8C06-70556877E5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8b674cedb8bc741aac89084d00225dcbc609dc","datavalue":{"value":{"entity-type":"item","numeric-id":2849509,"id":"Q2849509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d553d3f0f8dbf8735d50837a8e4ac7da304a40b3","datavalue":{"value":{"amount":"+0.8015632033348083","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":"Q2362499$29BF1669-A02E-4057-83D2-4F3F0FFA65D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finding proofs in Tarskian geometry","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finding_proofs_in_Tarskian_geometry"}}}}}