{"entities":{"Q6653967":{"pageid":14265124,"ns":120,"title":"Item:Q6653967","lastrevid":103835726,"modified":"2026-06-06T08:18:23Z","type":"item","id":"Q6653967","labels":{"en":{"language":"en","value":"Open geometry prover community project"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7959272"}},"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":"Q6653967$173ACAC8-9E91-4815-9EC7-DE808559FFE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d7a5cd48c91390aaccaa1136f2d41866cb8f651","datavalue":{"value":{"text":"Open geometry prover community project","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6653967$527E0897-EA0C-466D-9DCA-757ADA12BB76","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":"Q6653967$69407AA7-A811-4F71-9E4F-55001DB3CBF2","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":"Q6653967$211F034E-F728-4EF5-AC5A-D2A138D3B445","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"225560291f4bcf404dd3dfdfdd922a74c2690673","datavalue":{"value":{"time":"+2024-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6653967$B009D23E-7597-4C7D-9EBD-09E8AD22259F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653967$C2027F09-4082-415E-82A2-61778A407853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653967$37DA0391-5A8A-414D-A926-BF4F738B1512","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46dbb698dc741ef02512570c8fdbb1d4a095c7e9","datavalue":{"value":"7959272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653967$80AAA6F0-FD75-4B30-8337-4E20DF88F23D","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":"Q6653967$A0AB38B9-71AC-4FD2-B681-C6F99D3BAE1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9ce3fd590f4e1e8b190609d9ae1cb8518e9d37","datavalue":{"value":{"entity-type":"item","numeric-id":286780,"id":"Q286780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653967$DE7F54DB-C609-4AB4-A7F7-6B4414C5742C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b740cf5fbeafe020237f7c1a45499bcb07842a5","datavalue":{"value":{"entity-type":"item","numeric-id":2071524,"id":"Q2071524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653967$6ED8DA5E-5C65-4B52-984C-BBDC1A2ED922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd54c439cf61ddbcffdd270224937acc2274e55","datavalue":{"value":{"entity-type":"item","numeric-id":5961493,"id":"Q5961493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653967$210287AB-2E54-4DFC-AFEC-CB42DD33394D","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":"Q6653967$1C3C0D55-DC3A-44B0-A760-0122F8A01A85","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":"Q6653967$D7F7B65D-8EF2-45CE-AF2D-165A2D8D69E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e27c7870c296eb103f0ef94e0b6484e52b5848","datavalue":{"value":{"entity-type":"item","numeric-id":5495931,"id":"Q5495931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653967$CDBC81F7-FDB2-4971-983B-869FBBD68EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf26db92fe44f4617dcc2f7627ea50e8798a1d8","datavalue":{"value":{"entity-type":"item","numeric-id":5747799,"id":"Q5747799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653967$449553E8-C0F8-4B49-9572-935BEF3B7031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa2ae61992a0e5eba0a5e337babaa28b7d7cf92","datavalue":{"value":{"entity-type":"item","numeric-id":437042,"id":"Q437042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653967$45667B32-5535-437B-AECC-000FBEDCAE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c736e22c5009c6cb7f2d6bf5c9b975823af8ccf8","datavalue":{"value":{"entity-type":"item","numeric-id":2808009,"id":"Q2808009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653967$0CBDB89D-ED2B-42B0-9D7E-0A02FDFD74ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a740391483638d53fdd9893bce82ba3d1f188ada","datavalue":{"value":{"entity-type":"item","numeric-id":2631957,"id":"Q2631957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653967$1D4CDF22-96AB-44B0-A2CB-1372F39E8C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1baab78324635bf9827daad4864174e0eb252c15","datavalue":{"value":{"entity-type":"item","numeric-id":3452276,"id":"Q3452276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653967$58447139-8278-4DA4-977E-73DA1455BE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d21c2c72eaf2faca19cd617f64ed0cb328859f6f","datavalue":{"value":{"entity-type":"item","numeric-id":2425054,"id":"Q2425054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653967$B1BAD560-5164-4118-9FC9-98E5B005D267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343ee11e82683d2ce67f380d03265181f309738d","datavalue":{"value":{"entity-type":"item","numeric-id":783254,"id":"Q783254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653967$6FFA868D-F831-4D3A-8A0A-E122AD2EC570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819741dd857e4ccd8888d6c757b30b054738e473","datavalue":{"value":{"entity-type":"item","numeric-id":2631959,"id":"Q2631959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653967$D4A28DDA-AFE4-49CC-90C1-5E574F53D358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540adcc9e46ea420a940154aee39f09e6ab0a966","datavalue":{"value":{"entity-type":"item","numeric-id":5464649,"id":"Q5464649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653967$840BD9B8-2E5E-4EAA-A202-82F6F594BCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b2b2c45a19e8f0ba2c6666bac22721b8de80238","datavalue":{"value":{"entity-type":"item","numeric-id":3102742,"id":"Q3102742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653967$5433F777-3C01-4BA1-B697-E7AD99076E6A","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":"Q6653967$CCC75027-2649-40E4-966D-41828FEB3536","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":"Q6653967$1481E411-283C-497E-9729-22CE4D32D8AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd91684e8e8e08465b170baa195f87adece2cdbd","datavalue":{"value":"10.4204/EPTCS.352.14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653967$A41B1462-81FE-45A8-9E1C-75CD4B6ECE8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Open geometry prover community project","badges":[]}}}}}