{"entities":{"Q4556040":{"pageid":6585632,"ns":120,"title":"Item:Q4556040","lastrevid":82311824,"modified":"2026-05-06T20:36:10Z","type":"item","id":"Q4556040","labels":{"en":{"language":"en","value":"Coordinate-free theorem proving in incidence geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6984222"}},"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":"Q4556040$8A05A315-72D5-43F0-A881-4889458ED5CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"376ecf28bed023ef884dc266605488342c4ea0f8","datavalue":{"value":"1423.68425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4556040$78ACE19E-61AB-40D6-89C5-99076862CB54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1e747551cea3e18facbfe25be36852721064ef5","datavalue":{"value":{"time":"+2018-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4556040$5F37E171-4704-41CC-8D40-539180EF1F55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4556040$F0C64A8A-3E07-46DE-A768-1A6701A7EC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"93293bd859892a483ca84cc56251afdc241ec4e7","datavalue":{"value":"14N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4556040$439C06CA-26ED-4838-A363-4F2F442E756C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143b79160ecbd84018a9432f7528f4f2e56eb50","datavalue":{"value":"51M04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4556040$CDF8D75C-0C35-40D1-A87A-54E6D7BE0CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c51c87f5a52dc4b7e4823ab64d63e9230f97b8a9","datavalue":{"value":"51M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4556040$4B7B5B2F-8097-4382-A7CD-4FD74DB610F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e622eb0b1a7aebcab6dea4ce053976e07e28739","datavalue":{"value":"6984222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4556040$C5CC6F57-6540-4319-8675-A1B6CA1534CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fc2bb6bac7699021c7de03e1c312686edad286","datavalue":{"value":"incidence geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q4556040$34D9027E-86DA-480E-AF3A-477A8D0D3215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4556040$4F74031F-8596-4ED6-A954-8C20CA5095C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c09acb7bd5e8f20a6e5345ac36fdd9fa211f2ded","datavalue":{"value":{"entity-type":"item","numeric-id":688010,"id":"Q688010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556040$D7498BD8-F370-431C-ABA4-39C88EAA8EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebbcae0cd010cabad8ea55f4ed0fdddabb74b4c0","datavalue":{"value":{"entity-type":"item","numeric-id":953574,"id":"Q953574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4556040$6B612E94-50E6-4FFE-AEB7-410CB446ECB0","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":"Q4556040$8794F71F-9BB7-42BC-A68E-830E68E77D6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e8cb50ccd2983fed5457206c4654d9c133f54c6","datavalue":{"value":{"entity-type":"item","numeric-id":4530836,"id":"Q4530836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c77b1aa00e55a8306378210b45de198656ccd29b","datavalue":{"value":{"amount":"+0.8499678373336792","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":"Q4556040$37468298-9DF3-4428-9639-5ABAE51C8D26","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":"6c39d1df06614d569ad77135e313f0ae72c3567a","datavalue":{"value":{"amount":"+0.8021253347396851","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":"Q4556040$1B9B8156-AF79-4FC3-A7AD-A9ED9CA176E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0583856e3bdd33669ff6caa08619c21612f139c9","datavalue":{"value":{"entity-type":"item","numeric-id":2995120,"id":"Q2995120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d20c904ff98e9002b3dadc7f173f314cf56bdb","datavalue":{"value":{"amount":"+0.7809926867485046","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":"Q4556040$B0C11124-CCEF-4919-AC2A-CB56FA7CE66A","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":"7fde186b741ed9cbaf0e94e3434d24eb4f283fec","datavalue":{"value":{"amount":"+0.7763250470161438","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":"Q4556040$6A2EDD91-B516-4CE6-B96F-0835BD0FEFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1bf28bfe52028ed618bbaa8952574102140b299","datavalue":{"value":{"entity-type":"item","numeric-id":2631964,"id":"Q2631964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f0a62fbe5f018f4cc80af08171fab79e3012f3","datavalue":{"value":{"amount":"+0.7758671641349792","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":"Q4556040$C63D2E11-511A-4A8C-A1CC-0B046B1AEFF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coordinate-free theorem proving in incidence geometry","badges":[]}}}}}