{"entities":{"Q6535443":{"pageid":14146586,"ns":120,"title":"Item:Q6535443","lastrevid":57222258,"modified":"2026-03-27T12:51:32Z","type":"item","id":"Q6535443","labels":{"en":{"language":"en","value":"Towards a geometry deductive database prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7785123"}},"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":"Q6535443$C4640FF6-A6D8-4B7A-888C-6B29CB1DEE33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89574d22f0877c91564d16e640fd30cbb17be023","datavalue":{"value":{"text":"Towards a geometry deductive database prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535443$50AE199B-36FC-438F-AEAD-FE4F37C016CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d21b63f38895e247b5710211055690eb3cb8baf","datavalue":{"value":"1543.68396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535443$BB898FF1-B85E-4D7E-AD23-6E6D7C4D0318","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb31bccd43a9d88e13af892940c4674d4c0b59e","datavalue":{"value":{"entity-type":"item","numeric-id":2334577,"id":"Q2334577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535443$D48A5ABB-B624-43C3-86D2-D1CA8A3BB659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44c11fd76b0b34e5498dd7476432446f6c357082","datavalue":{"value":{"entity-type":"item","numeric-id":437041,"id":"Q437041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535443$52D9C2E4-245F-49D6-BC60-824404A86F37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535443$425E12A5-B25C-4E49-ACB0-E901A8A6961A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e50f80f2416051e0e7d7d1cfabce1de8c3ea5bd","datavalue":{"value":{"time":"+2024-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535443$ED1AFAF5-BBD2-446D-AB8C-38702CF6CE36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535443$21AABC71-C9B1-46F6-9998-721741A7C225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c63103ce8df0d554169bc6e327330dc10cd6724e","datavalue":{"value":"51-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535443$0B819889-C1F5-4321-8A4F-B73529641B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535443$9C8AF448-D4E3-4863-A05C-874AE89E5712","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7bed34f2e0bf5762acb0893b6fc3fcf46d15b63","datavalue":{"value":"7785123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535443$BCDACC1F-81CC-4E46-90E6-23A5034F7EFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57f282cfa302b36b7a0e3fe73600e26f5a9bceef","datavalue":{"value":"automated deduction in geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535443$41C1693D-B176-42BA-9CD6-1891C090781F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f43dc8fe8f1ab231872a9f4f599c0cc472dd10ff","datavalue":{"value":"automated geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535443$D98835B2-5D38-47CA-BE13-CCC4A172919A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535443$C55A0BC6-E85B-4D5D-9AAC-88F05A1139D3","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":"Q6535443$B035181F-7B38-4C2B-B36A-DEF789EFCA5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"001d81f52d456acf5e7962fa3902039b3975f130","datavalue":{"value":{"entity-type":"item","numeric-id":6653967,"id":"Q6653967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535443$2F949346-E6A2-47DF-989E-E95F8FD4DBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eadcd5b0af11c4a787ea768f95aec664bddffd28","datavalue":{"value":{"entity-type":"item","numeric-id":2751363,"id":"Q2751363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535443$FA5309A8-80A1-4D35-87E4-3C89659AB180","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":"Q6535443$AFA20230-B11D-48A2-992C-634EA4B20B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be68b034a4708066a59ca8fd26b0e32bf69a3280","datavalue":{"value":{"entity-type":"item","numeric-id":1101254,"id":"Q1101254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535443$0851F528-73C1-4A76-AA35-A2B169CA7622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab929c474f6191a6b9764b4a6b4e6045c76d6b2f","datavalue":{"value":{"entity-type":"item","numeric-id":5138449,"id":"Q5138449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535443$6B91D51C-19A9-4F61-957A-E0FFF5F7FFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27032a384168af742be76775ecf3c64f8e4bc37","datavalue":{"value":{"entity-type":"item","numeric-id":1215410,"id":"Q1215410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535443$B99AD509-0045-46A2-8C28-AAC5E4CF9151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448244272da4dbff5b7c78c2545c59c5b5af64d9","datavalue":{"value":{"entity-type":"item","numeric-id":3102745,"id":"Q3102745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535443$D96E5F0B-9096-413D-B726-234E87414DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535443$4B31C2F5-88F0-4238-9A6F-6B1502F5FE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad41095da7320267c1e9f25ef88c7327526f4b8","datavalue":{"value":{"entity-type":"item","numeric-id":3003235,"id":"Q3003235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535443$29DE855E-BA0C-4103-BE03-1A65726E969E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b919588495a38f8216cbbd7c4eafcaa8510cc57","datavalue":{"value":"10.1007/S10472-023-09839-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535443$3DC7527C-EAE5-4ED9-9315-337EB3C337D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bcad06a8b7fd792de826151e591f9a519ce1dc5","datavalue":{"value":{"entity-type":"item","numeric-id":1581854,"id":"Q1581854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f645f1b16b91da5f82c0b642d9fec93c0721fb","datavalue":{"value":{"amount":"+0.8655936121940613","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":"Q6535443$00E3339B-57FE-44CB-909A-A577640A0164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c90d6d094caf4551c936fff41b072545e6f439c5","datavalue":{"value":{"entity-type":"item","numeric-id":616847,"id":"Q616847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f1edc4644c948bb24fdbb392125cf681c99088","datavalue":{"value":{"amount":"+0.7527689933776855","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":"Q6535443$7C93C9E9-B701-4A6A-B8A4-4CF89F876C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c0fef5aeb2141cf28b0c6f96243d7760283df9d","datavalue":{"value":{"entity-type":"item","numeric-id":3102742,"id":"Q3102742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47cb790fc6d49cb8a13b59195526c66c3b499962","datavalue":{"value":{"amount":"+0.7353328466415405","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":"Q6535443$DD613F6D-AA0B-46CD-A8C7-C0299FD16425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce893cee6bc6389d031713ec635154bf89fcf4a7","datavalue":{"value":{"entity-type":"item","numeric-id":5902024,"id":"Q5902024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c4a517667c7054165f85aed7aadff2bcaa83b5","datavalue":{"value":{"amount":"+0.7223270535469055","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":"Q6535443$9243212E-CA6A-4A43-9EF6-5AAA5C1FF438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1424d6206eadde535cf9ed66458b162f4d989955","datavalue":{"value":{"entity-type":"item","numeric-id":5902031,"id":"Q5902031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9dce9e5d1aea712627ea3f3103b9aba4a7f1c7e","datavalue":{"value":{"amount":"+0.7157096862792969","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":"Q6535443$5AFA1090-5F1B-4CA8-AEA9-80D4B49EAD55","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535443$DFA99E01-B598-451E-9A79-BC6B4CD6AEBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535443","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535443"}}}}}