{"entities":{"Q6934148":{"pageid":21108454,"ns":120,"title":"Item:Q6934148","lastrevid":84114959,"modified":"2026-05-10T10:47:58Z","type":"item","id":"Q6934148","labels":{"en":{"language":"en","value":"Automated completion of statements and proofs in synthetic geometry: an approach based on constraint solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8089302"}},"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":"Q6934148$AA0BD03F-7752-4F3F-8055-4194B15CEB6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b484548521ed65c28f7e9836223765f8d3a9834","datavalue":{"value":{"text":"Automated completion of statements and proofs in synthetic geometry: an approach based on constraint solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6934148$86D61BEE-023B-47B2-8B45-FF33A5E07145","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e8b48a14341b770b57de11cf93aa06dd91430e7","datavalue":{"value":"1573.6859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934148$1A9A46B3-AF8C-44CC-9F4C-9BFB413BC052","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02db8ef3b1be6c03ba5927cd90435e4ba1823bf1","datavalue":{"value":"10.4204/EPTCS.398.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934148$21F42273-921D-4B2F-8B3C-0F0508307FD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82a4604e43b2a64952cd93e2de508e19a8ab1930","datavalue":{"value":{"entity-type":"item","numeric-id":6934147,"id":"Q6934147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934148$E54FCF8F-673F-4311-B252-1CF2BB0D5667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c93dc7f088015e9cd1eacb5d2c04306baf043d99","datavalue":{"value":{"entity-type":"item","numeric-id":286775,"id":"Q286775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934148$7924D0C1-4B8B-49F8-A897-AB4E026198FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7154e8ca53ace223b8c5be019b7f4f775aab0292","datavalue":{"value":{"entity-type":"item","numeric-id":294376,"id":"Q294376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934148$B5AE1CA0-D0EC-4DC1-B422-CC85090F52F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50e7e1513349015c9ad9d54964e1d81738fe0b09","datavalue":{"value":{"time":"+2025-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6934148$611A3A50-B0E9-4D72-B075-41D25E328AF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934148$64240ED0-DC46-4371-B087-A5FF2AFF19F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934148$E64EAFB5-8CCE-4AA3-9B95-80B481BDEEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934148$AD304D06-21DA-4753-8AB3-8C5570D0CFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c63103ce8df0d554169bc6e327330dc10cd6724e","datavalue":{"value":"51-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934148$28EA5AD7-D0F9-4534-ACC7-9EF9EB7473A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a4eda5fa38ab3d53fa77eecc5ffc22796dbfa03","datavalue":{"value":"8089302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934148$B32BA4D8-8DF1-4D5B-A42C-9231E048BBC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bc5e9eaa6bf06ad73d7c745ca8c511ccc3a616f","datavalue":{"value":"synthetic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q6934148$87D123C8-F0FE-4FEE-872F-D758408843C7","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":"Q6934148$6D474B79-EBA0-492E-999B-D0347EEA7E1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d29c3caad4ac794c62be84521ad055da0d81da","datavalue":{"value":{"entity-type":"item","numeric-id":850998,"id":"Q850998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934148$7B2B39E0-B089-4D35-BEAB-178AEF3C3597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1b64e7e3e0a9250bcf98bbe7b0e8298f79b9f5","datavalue":{"value":{"entity-type":"item","numeric-id":7025230,"id":"Q7025230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934148$13CEBC3B-BE98-44FA-9CBC-C49884D13CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"686d8c1af79a48830313f258a972641c870a4f2f","datavalue":{"value":{"entity-type":"item","numeric-id":2631965,"id":"Q2631965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934148$B5C0E378-B405-4A26-8666-D68740AF4832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30492f77eb016746469a740ef03c349aed405ecd","datavalue":{"value":{"entity-type":"item","numeric-id":5387843,"id":"Q5387843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934148$F9D142BF-BCAE-44CB-BF23-E2C25404859F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e95031f926c5f0524c20cbbb322383964510ed","datavalue":{"value":{"entity-type":"item","numeric-id":2864408,"id":"Q2864408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934148$DFC76A4B-0EAC-4C4A-8393-72BC159B50E4","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":"Q6934148$9DC68334-5EE8-4ACF-B03A-9FB8D3890C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9cec6852b4102074c9cf75909dcf025127684e","datavalue":{"value":{"entity-type":"item","numeric-id":5902021,"id":"Q5902021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934148$621B602E-F275-4F9F-9D4E-4FEF42A2DBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f28586038cea8cbc7416baeda543b4e3023f378","datavalue":{"value":{"entity-type":"item","numeric-id":4707746,"id":"Q4707746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934148$7F714AC7-281C-464A-8238-1F2336012702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b547ecbdee111d500340a1755c27397d76f7d718","datavalue":{"value":{"entity-type":"item","numeric-id":3608794,"id":"Q3608794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934148$51EEC086-0BFC-4B12-928E-470D67EC68B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62803915aa9e18e8f4a06c5b943400f55c8174a4","datavalue":{"value":{"entity-type":"item","numeric-id":2915879,"id":"Q2915879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934148$2F45CCAB-4C81-44CF-AC96-97B047A82B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a08243fd980f5701ca2fc53c5c48bfcfef4aa6d","datavalue":{"value":{"entity-type":"item","numeric-id":2795295,"id":"Q2795295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934148$175F3E5D-298C-4E49-BEEB-3D13E7E76EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72d94f5a6b3850e86694683d94b9b8cd6b5a064","datavalue":{"value":{"entity-type":"item","numeric-id":2102932,"id":"Q2102932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934148$B164AB57-C224-4076-9A37-A9DF1582E5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c2d2213bbb9543d4ab10bf509a45bafebf9b8c","datavalue":{"value":{"entity-type":"item","numeric-id":4279083,"id":"Q4279083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934148$A0817E80-A657-4323-A8C5-598E769A01E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"236ff075b6336e5a62a73c551fd46afb75eb22f7","datavalue":{"value":{"entity-type":"item","numeric-id":1808565,"id":"Q1808565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934148$C3596BDC-7740-4A75-9CE5-23A546873D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72f2cf240c4f45db6b6b4000cb1318c1ca70491a","datavalue":{"value":{"entity-type":"item","numeric-id":2096443,"id":"Q2096443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934148$9F172923-EED5-49A0-A183-28BBA61744C9","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":"Q6934148$C7389139-6A3E-4B95-8A40-9A300B473408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0000b092379f98c95c3775e7aba07202a86433b","datavalue":{"value":{"entity-type":"item","numeric-id":5495937,"id":"Q5495937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934148$4BE533C0-BF32-458F-BCF9-F9E9DB5198CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d57db4d3216bc53e46ae99a268680181eb65b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4153620,"id":"Q4153620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934148$8263F89B-D1FA-43C2-AAB6-202049BD5271","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated completion of statements and proofs in synthetic geometry: an approach based on constraint solving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_completion_of_statements_and_proofs_in_synthetic_geometry:_an_approach_based_on_constraint_solving"}}}}}