{"entities":{"Q3102739":{"pageid":3113454,"ns":120,"title":"Item:Q3102739","lastrevid":86210294,"modified":"2026-06-03T16:29:59Z","type":"item","id":"Q3102739","labels":{"en":{"language":"en","value":"Some lemmas to hopefully enable search methods to find short and human readable proofs for incidence theorems of projective geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5979327"}},"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":"Q3102739$A6366148-CCBC-40F9-92C8-FCAE780D3D73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98785927203785990e8e364569c66958fca351b6","datavalue":{"value":{"text":"Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3102739$4A66AD96-D939-4144-A9A0-8B962023A8DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3ecf3e316deb19290765693006753381a7e51bb","datavalue":{"value":"1350.68240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102739$B91EFF2D-EB64-44FE-83AA-4F78EF1D3F86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f84a3a006750a1e2b2b4173f4409fcf57b78ca0c","datavalue":{"value":"10.1007/978-3-642-25070-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102739$649528AC-7B37-4BB0-ACAF-0B78CD2785BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de356827efaf56c94a8a01601c4670c1b3ad9ebf","datavalue":{"value":{"entity-type":"item","numeric-id":426182,"id":"Q426182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102739$0BD69B47-B710-45D2-B4C4-8E98830DFADD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"348c28e159850115a4bf602bf9df1d1e5c1cbebe","datavalue":{"value":{"entity-type":"item","numeric-id":2849503,"id":"Q2849503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102739$1E56FF47-55C6-4446-8DD9-730959C0D948","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79dc9dc12f99c62816fe3504c8615ced523dbc1","datavalue":{"value":{"time":"+2011-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3102739$EBA917CB-B0B0-47B9-B7BB-6E5333A2BB98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102739$C89A9A96-F3FC-426E-B07B-59F075657463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"987534210f24e22be743ce682e8bd441c895d89c","datavalue":{"value":"51A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102739$C2CF025F-B84A-4171-AE0F-EC037365A585","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b4931eb7e2cb335a50f13cccc895203196be521","datavalue":{"value":"5979327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102739$D98AD56C-8F0F-48F0-8D4D-8A86E16DA51F","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":"Q3102739$FFB7DF6C-719F-40C2-9E83-8FF793EC5B8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"549916eff581bcbc6577cb34adf2f1d69cdeddb5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-25070-5_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3102739$EC2D0A32-33A7-437F-8979-A2D2497329F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c98ec4b8c7a61bd739ca6094edea06f3b1e0e931","datavalue":{"value":"W1449190760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102739$60FE2820-6637-46CE-A19B-3B8C76D08B76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccd44ec518caae7d3b8d914984d66bb6ab160240","datavalue":{"value":{"entity-type":"item","numeric-id":3102732,"id":"Q3102732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102739$26FB6E2C-65E5-4D6E-9A32-29218DDC6CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3ce1ee58279755f58a5703c75b4ded8f273cae","datavalue":{"value":{"entity-type":"item","numeric-id":5961492,"id":"Q5961492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102739$64317DCF-0F06-4F30-A4B4-E0C5D3928AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b5cbcd9f590bf8dc2909b7292864d5304bd5fa","datavalue":{"value":{"entity-type":"item","numeric-id":1581854,"id":"Q1581854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102739$BE5EDC4B-92C8-4A44-8957-621AA8045C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"304bbbea7e709f84aad610e1815b85b69d728ea5","datavalue":{"value":{"entity-type":"item","numeric-id":3766390,"id":"Q3766390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102739$72AE146D-F20A-4366-977E-072E2ADAFD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc813c3420ba0b42fe4bea1f4208b1eb74e62860","datavalue":{"value":{"entity-type":"item","numeric-id":448975,"id":"Q448975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102739$67A6BEBD-07C9-4088-B817-F9B3FC7EA56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14eaea5e70421a0f35cb1ec9446f91898b6681e8","datavalue":{"value":{"entity-type":"item","numeric-id":714618,"id":"Q714618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102739$96FFE0BD-AC47-4DC1-84A1-0B373D7CF582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc41f2b2a8aa0d1d1987dc920f043ef4c6d51ab","datavalue":{"value":{"entity-type":"item","numeric-id":3422215,"id":"Q3422215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102739$300A625F-B1A0-4B92-BD33-FEE738B44228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd062f0ffb5297275f3946e06aeb5f61d17e653","datavalue":{"value":{"entity-type":"item","numeric-id":5492562,"id":"Q5492562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102739$9A683C86-6388-447E-B3DD-F1510265C37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f062ab3db8b1af2c06a12fce2b726ad85e0e9c1","datavalue":{"value":{"entity-type":"item","numeric-id":3071037,"id":"Q3071037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102739$2C34AC75-7F72-494A-A2BC-760CB8E8A2EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e733cbcb74d830ed593336a2fc75897e9cafd95e","datavalue":{"value":{"entity-type":"item","numeric-id":5961492,"id":"Q5961492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c01da3cec508de8348148ad8b2c641dc09d9dd","datavalue":{"value":{"amount":"+0.7810742259025574","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":"Q3102739$04E76CF6-CB71-433E-92FB-3D29E9236263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112bff3de7fba1e4a6400d24d67646b1c361f62a","datavalue":{"value":{"entity-type":"item","numeric-id":2725960,"id":"Q2725960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"117cb29ba2489dc9589918622d7166671a6fd17d","datavalue":{"value":{"amount":"+0.7776798009872437","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":"Q3102739$0AF56739-7794-46BE-A256-7D499E322068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed32a4f5d8b518e0ac9f5003543d94b115432ff","datavalue":{"value":{"entity-type":"item","numeric-id":1924746,"id":"Q1924746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee9d631568e1ed80296af10dad46f2efc5dad3d","datavalue":{"value":{"amount":"+0.7725167870521545","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":"Q3102739$5F316837-9FBB-4787-A1FA-E721E2B12FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50815e7d96b445346fc2b2ff758ec87f0fb8f74f","datavalue":{"value":{"entity-type":"item","numeric-id":4556040,"id":"Q4556040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb256e878d5e533ea7eadb3ddf3b627f1e4a6299","datavalue":{"value":{"amount":"+0.7507474422454834","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":"Q3102739$B5E49CA3-2A8D-4676-94EF-E95A35109B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0457379bfd5ab807a18016658f5782e444872d8e","datavalue":{"value":{"entity-type":"item","numeric-id":638479,"id":"Q638479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d785c4d9df9de5551961f44df6f1bece1b86205","datavalue":{"value":{"amount":"+0.7495390176773071","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":"Q3102739$D82D6271-E45D-4511-9DBC-8CF08A90ECBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some lemmas to hopefully enable search methods to find short and human readable proofs for incidence theorems of projective geometry","badges":[]}}}}}