{"entities":{"Q2725960":{"pageid":2736699,"ns":120,"title":"Item:Q2725960","lastrevid":82867004,"modified":"2026-05-06T22:15:48Z","type":"item","id":"Q2725960","labels":{"en":{"language":"en","value":"Automated theorem proving in projective geometry with bracket algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1619753"}},"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":"Q2725960$B22115F4-9AFD-45FE-8549-06B5D3E1E027","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d79170dcc583c34d2a0ea8a9ae577ff043d01390","datavalue":{"value":"1017.51015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2725960$47401423-DB65-49BA-9503-297383CBDA4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3e8d2cc6522135154a9ec4d190cc43d91d65016","datavalue":{"value":{"entity-type":"item","numeric-id":851795,"id":"Q851795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2725960$9C5F5D7E-E5E0-436F-9702-B81B1240CE48","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":"Q2725960$6EF0EEE0-14C0-4689-9D4F-A482C2EFBCBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"433a0b2d5ca848667b737a26efa25021702b8585","datavalue":{"value":{"time":"+2003-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2725960$58774DEC-35FD-4F15-8373-1519F7373451","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143b79160ecbd84018a9432f7528f4f2e56eb50","datavalue":{"value":"51M04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2725960$025DD17C-85FC-42C0-9860-75C8A5E3FD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2725960$350AB169-C106-45D2-B8AE-A67AF04AD23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6b7d280784e3e535f98c580c25a7302405be20d","datavalue":{"value":"13F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2725960$AC95EFB9-4203-4E3C-A76A-38C0DBE71676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2725960$16BF52BB-0D51-4CE8-B1FB-41C69079FB46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"904518d76393662a8664ccbf8cfa8e514b4cd3fc","datavalue":{"value":"1619753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2725960$F495604B-3B04-4F6E-AA01-51B374FA0D5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725960$7AA1B087-0D90-4301-859E-57BD4CE26952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"619cec4664a98d8c81850d161b273c3520446471","datavalue":{"value":"projective geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725960$16364BBC-2BC3-430F-A3C7-C9DAEB63F534","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":"Q2725960$18B0FD9D-E984-4327-8263-C002B7EEAA0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f16fed0316de405302c58060ce2a37784839d062","datavalue":{"value":{"text":"Automated theorem proving in projective geometry with bracket algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2725960$5DA72F8A-7C7F-4373-A4E1-4D08BB33C27A","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":"2c7274701bc04c6ba8ef52fe088cdfa37aa053a1","datavalue":{"value":{"amount":"+0.8685189485549927","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":"Q2725960$5E067991-A8F9-4C40-A6F1-F20DCE6B90C1","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":"73f26e97ce0944b09ece8d5614371acad496f516","datavalue":{"value":{"amount":"+0.8649465441703796","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":"Q2725960$3929C30A-F0A8-40FD-A79A-542409E108BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a39fcd5ef7522ead3da88859a39ec062c6df251","datavalue":{"value":{"entity-type":"item","numeric-id":1426144,"id":"Q1426144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac8fdf42c32a72c70f839e4ebbca844b4804ca8a","datavalue":{"value":{"amount":"+0.8317906260490417","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":"Q2725960$2BABE152-6A3A-4078-9B0D-54CF08527895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c0177aad1a922de43a104a9b7109b62aa12b987","datavalue":{"value":{"entity-type":"item","numeric-id":4234209,"id":"Q4234209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58711f8fdfb6962b09c31bbed2c8f22e1696c699","datavalue":{"value":{"amount":"+0.8233206868171692","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":"Q2725960$C27EBCAC-2C57-4CF3-8D34-88512CF50DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b461a7b1e3567d271b2c033650f5b2fc95634533","datavalue":{"value":{"entity-type":"item","numeric-id":1426143,"id":"Q1426143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d71460a0c7af58a2e3beddc2b8bb159211644ca","datavalue":{"value":{"amount":"+0.8231773376464844","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":"Q2725960$2BEABED1-E518-47C3-870E-4BB55C861DFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated theorem proving in projective geometry with bracket algebra","badges":[]}}}}}