{"entities":{"Q7355845":{"pageid":31495820,"ns":120,"title":"Item:Q7355845","lastrevid":105272171,"modified":"2026-09-29T13:49:17Z","type":"item","id":"Q7355845","labels":{"en":{"language":"en","value":"Automated conjecturing with TxGraffiti"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8260442"}},"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":"Q7355845$987CC4DF-3EE3-4020-B532-89C11ED0205E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"374402216d47dd6d489ecec588c4b8091e735a78","datavalue":{"value":{"text":"Automated conjecturing with TxGraffiti","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7355845$2F744A4C-669A-4A5B-B647-CEBC44CE0001","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3535f6c86e528bd50b9e4848523b027e3d5097a","datavalue":{"value":"10.1007/S10472-026-10005-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7355845$EFFAAEBD-B5B0-4FA0-9AB9-24085375EBBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"269f5641b76da83c4bb44d0c303cd538bcc30011","datavalue":{"value":{"entity-type":"item","numeric-id":394538,"id":"Q394538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$165C63F5-C7C2-4966-AEAD-E139883490BE","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":"Q7355845$F4484048-355D-44FE-BBBC-8E85A2D1D4E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94c867b43e94eda32eba2280e63b7bb3a6d65688","datavalue":{"value":{"time":"+2026-09-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":"Q7355845$6597472F-BB58-4702-922F-A15E638C698B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57f167c32409cd84dad7e725a6344d78daf6bdb3","datavalue":{"value":"05-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7355845$FF9B79EB-9B31-4AF2-A6CE-604E037F925B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d0e81231139bd0cc75fb9a850d3bccad2787d7b","datavalue":{"value":"8260442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7355845$25AF8445-D1C2-41F6-8209-F2E354DEED09","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":"Q7355845$D7F48FED-8AC0-47E5-99C4-F995B37CF9D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed2ab9910eb25a71a9d27f801409dd848c0ef955","datavalue":{"value":{"entity-type":"item","numeric-id":5378780,"id":"Q5378780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$77720FA4-6FFD-41AF-8310-B751A9FF4238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c51e24e1428721a6903741aba45a8914c5f370","datavalue":{"value":{"entity-type":"item","numeric-id":1373299,"id":"Q1373299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$CA729177-DAC6-4EF5-936F-4E07EA4E6FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4e5077bbc247250e23c00809b95e2c6cbd36c6","datavalue":{"value":{"entity-type":"item","numeric-id":3283226,"id":"Q3283226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$FC5D2703-9567-4814-9299-4B040CAA58F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13625bd5a8f36e424a6da73bb05877a54ee3cc46","datavalue":{"value":{"entity-type":"item","numeric-id":922723,"id":"Q922723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$0689CB53-36F6-4925-AC55-758893A23FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b8b3448308718aea450ae3d5e236d0cf37ebe2e","datavalue":{"value":{"entity-type":"item","numeric-id":3197865,"id":"Q3197865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$3AD65030-3A97-44D0-8BEA-9C0A09D3765F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748ba9277994f58d36c188e41fe7477ed7b788ad","datavalue":{"value":{"entity-type":"item","numeric-id":3197866,"id":"Q3197866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$3ADB13C6-1AAB-4932-BB7D-CDF3BC3BF109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002f4cd397a24ce9927b809d80135c617a6e5411","datavalue":{"value":{"entity-type":"item","numeric-id":3211357,"id":"Q3211357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$4C219752-AD7C-4B55-912A-5DB90DA2952D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db7514fed5b994dc780265d08666ba8afbae184","datavalue":{"value":{"entity-type":"item","numeric-id":4871155,"id":"Q4871155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$1BDD1540-41F8-45BE-99ED-F7FF949304C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a96b7e1f9994225c1a4d5145296b43091fa21c","datavalue":{"value":{"entity-type":"item","numeric-id":899436,"id":"Q899436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$85214AE7-E7DC-4DAD-863A-4D8F45463403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b88445a82be99cf4c4310c2144942b4601854a","datavalue":{"value":{"entity-type":"item","numeric-id":5477957,"id":"Q5477957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$3AD5E7DD-F97C-4480-8234-CF293F8B95BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625d9ad3a95e535b47cb70ce637a9ce44ef232e3","datavalue":{"value":{"entity-type":"item","numeric-id":3781134,"id":"Q3781134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$53E6991F-B308-491C-B3F2-456B08ACAE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93288bcdc60087c2d5bac778c7f1314d9d0ca04a","datavalue":{"value":{"entity-type":"item","numeric-id":3786499,"id":"Q3786499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$95543B96-05A5-408D-A4F7-51FC647A1F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eefedcdc477e12e593dc7a8afc9d4cbaff06e74c","datavalue":{"value":{"entity-type":"item","numeric-id":3828021,"id":"Q3828021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$64DA7F1D-E435-4DD5-90B7-993E06E4C9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd257cac0e86e0c6ed3f5c0ec419ef73aa0ab4b5","datavalue":{"value":{"entity-type":"item","numeric-id":4711896,"id":"Q4711896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$9A1B3BD5-F339-4691-9C85-F2FA4F0E90A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6813a3de92e62c4b8c0b35a196fcd89d24362f9e","datavalue":{"value":{"entity-type":"item","numeric-id":3970965,"id":"Q3970965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$823CD5C6-1C5F-4780-8261-B79D5D97F44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fce7a468fe770499118d2f9f3ec31a2e5b4beef","datavalue":{"value":{"entity-type":"item","numeric-id":686466,"id":"Q686466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$CDAC32DF-122A-4537-9C68-26B014224C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9914c3a8c20948ccc8db1bfc8ad03db098b8a405","datavalue":{"value":{"entity-type":"item","numeric-id":1322229,"id":"Q1322229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$F6E54581-2B64-4D78-B170-3B566098472A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc6fb2e5f4949cb91748eb6ee412acf122b6728","datavalue":{"value":{"entity-type":"item","numeric-id":4842750,"id":"Q4842750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$601FC160-E073-4997-92B5-BD61FDADFE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906db6588761a19181364bd3d27199765928180c","datavalue":{"value":{"entity-type":"item","numeric-id":1387472,"id":"Q1387472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$E5486F03-E4C4-47BB-B9C1-79045EED4A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5f821b25aed066e9b30bfaa5ba484f0a82dd94c","datavalue":{"value":{"entity-type":"item","numeric-id":1363759,"id":"Q1363759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$4B02EC4E-A3D8-446E-997E-A6901DAAD7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284bfd1fa4b1cd3c4c5c5989b38010861c527f43","datavalue":{"value":{"entity-type":"item","numeric-id":2713652,"id":"Q2713652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$225975D5-AF94-4BBB-9B36-9023EA79BF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c4a4b5ad4064945a70ca3ff80cfba66cd4f4431","datavalue":{"value":{"entity-type":"item","numeric-id":1377723,"id":"Q1377723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$8969239C-72BC-455E-A643-FC0837EBF8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e2cb4f5c3ec6b2780fd56d77b3839374f782cdc","datavalue":{"value":{"entity-type":"item","numeric-id":4256002,"id":"Q4256002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$E93877F1-FE75-4E83-9B1A-CB8EE44D6C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fca0a1cdf3ec7e965a3b804406831b5dbf5504","datavalue":{"value":{"entity-type":"item","numeric-id":4387721,"id":"Q4387721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$A6CE843E-CE0C-4E0D-A438-B23956D9929E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2917a597daac62cd2d4be9635e6d435dcc1e2bac","datavalue":{"value":{"entity-type":"item","numeric-id":4718734,"id":"Q4718734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$2E39C135-06B0-4905-BC26-2B0A3E835A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5ce06c6fff6b9d09e8ce246fe89a1ccec8a809","datavalue":{"value":{"entity-type":"item","numeric-id":1970502,"id":"Q1970502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$2585ACF8-358B-4165-ABA5-5F57FB5D77A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d9e86ab8e331ae732d1464dd2099c38fb16d9cb","datavalue":{"value":{"entity-type":"item","numeric-id":1841923,"id":"Q1841923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$ADC6473E-B0A6-448B-BCDF-E592A47C5B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b6ef803785bf48a9cf606929834591d67c573da","datavalue":{"value":{"entity-type":"item","numeric-id":4435094,"id":"Q4435094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$EE375AAD-8080-4C8B-AC86-090291FF23BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9236c768cd1844fbd5b8b593e7ecc5b637fae9b7","datavalue":{"value":{"entity-type":"item","numeric-id":1827512,"id":"Q1827512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$DB1B0115-801A-4817-A055-94857838149E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66961060109165cab470ac02d6eaab986332437b","datavalue":{"value":{"entity-type":"item","numeric-id":5461702,"id":"Q5461702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$C39F56D8-C895-4BD8-955C-06EC67F4848F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afcfac35e468ac8bf39a24ee0897cd787ee39215","datavalue":{"value":{"entity-type":"item","numeric-id":3605159,"id":"Q3605159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$15FB60C3-FDCE-4B68-AAA1-E46108A2BDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b7b317f1985de5a998ce3acc902bdda669e7a5","datavalue":{"value":{"entity-type":"item","numeric-id":2856696,"id":"Q2856696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$E26BB319-5229-47AB-831A-9E8F035E23E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be66f58753d09dd295346b1573a984fd0261616","datavalue":{"value":{"entity-type":"item","numeric-id":2174567,"id":"Q2174567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$649AAE1B-D9BA-445D-A0C5-E5CCA9BFA0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9119bf59076388da7050719d462de7a926825c95","datavalue":{"value":{"entity-type":"item","numeric-id":2724744,"id":"Q2724744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$75334E71-FAD6-4E9F-B3DB-6E88C2E8F347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8160c43c678263221d77047d6e6acff76048e87f","datavalue":{"value":{"entity-type":"item","numeric-id":5477959,"id":"Q5477959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$6B344C62-EC45-465D-863E-4397CC768AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3343ba724671923c8801ff247882ba8722ed6502","datavalue":{"value":{"entity-type":"item","numeric-id":4903433,"id":"Q4903433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$01540D89-BAE8-4F50-89C0-26B5D4DE0690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cacb5cb428377ab3f23a0b2bb7e7ddf526658a1","datavalue":{"value":{"entity-type":"item","numeric-id":2151222,"id":"Q2151222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$C033F423-5A06-4C0E-AB5F-17A8C4FDA3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ea0c99fc4af01e06d7c442b89c8a6cd9c5a555","datavalue":{"value":{"entity-type":"item","numeric-id":4233444,"id":"Q4233444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$96F798F7-6ED5-4B28-B0FB-B19F6C9DBB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adb473fffc2c544140b019af170eaa1f11b1687","datavalue":{"value":{"entity-type":"item","numeric-id":3006508,"id":"Q3006508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$82DD6A1D-58A6-4D43-BCD9-5774F044623E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e446cab145d1698d3118a32aa542c36cb9a410b","datavalue":{"value":{"entity-type":"item","numeric-id":1970574,"id":"Q1970574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$45B6DFC8-A37D-424E-BA52-D0988AE34FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba91eb02d5c6dce0eb1c24a8408bfef13f3fab","datavalue":{"value":{"entity-type":"item","numeric-id":1422414,"id":"Q1422414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$A313B281-368A-40EA-B639-AB17C70FFB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"945167b77c4a88034588b0a34034f17850a3bdc7","datavalue":{"value":{"entity-type":"item","numeric-id":944740,"id":"Q944740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$72D09F00-CF79-4163-AAC6-94B04C344AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aadbf9e8063545eccc497ab931fd44f083d371f7","datavalue":{"value":{"entity-type":"item","numeric-id":1688717,"id":"Q1688717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$A4C68825-35F8-472A-9928-041E438B8918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59829704af200d4164805092665d488f978955aa","datavalue":{"value":{"entity-type":"item","numeric-id":5114790,"id":"Q5114790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$A29E8523-AC51-4114-9CCF-392979D5D18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2c6031f6dd5960010ce7daa6d47cdda1791e29","datavalue":{"value":{"entity-type":"item","numeric-id":6158134,"id":"Q6158134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$BC5C2DE5-00CF-4190-8057-73727E837FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed4048b6e9fb3b9f62562c9cd3719d2a9d1c7598","datavalue":{"value":{"entity-type":"item","numeric-id":5038939,"id":"Q5038939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$8E32AD16-C847-464D-93B2-DB193A011809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f3c8831e9f3a1c69c406cc9c868b683faf9af8","datavalue":{"value":{"entity-type":"item","numeric-id":1646685,"id":"Q1646685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$BBFDDE5E-13B2-4722-ABAA-8DB11722DB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfef7ce43d53da0e4b67aa30bf97045102346946","datavalue":{"value":{"entity-type":"item","numeric-id":2477541,"id":"Q2477541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$9E214197-1A9C-461A-AC19-5D10123353E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"897ac68e058d28b4d328f7a9131d4bc0ad85bfb9","datavalue":{"value":{"entity-type":"item","numeric-id":6633544,"id":"Q6633544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$0E55E732-CC26-4313-9D65-01C5BC15BAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd3b4e2a8e17d853367e0855516e7c7d804ac07","datavalue":{"value":{"entity-type":"item","numeric-id":2025087,"id":"Q2025087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$8007E780-6458-4A02-B574-60D29287EE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e5e6dfcdb499d7d6651bffd647dafa0cf59197","datavalue":{"value":{"entity-type":"item","numeric-id":2011113,"id":"Q2011113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$30F64421-61E1-455D-9D70-953DDE47B544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6048da247986ba5c8b4b02f766f26b08fbd7d44f","datavalue":{"value":{"entity-type":"item","numeric-id":2302052,"id":"Q2302052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$23C95060-16CF-4772-9411-328030699219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3984b1435c6973e805a84d4b93008f2d1e354db","datavalue":{"value":{"entity-type":"item","numeric-id":975607,"id":"Q975607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355845$820CED3C-6A83-4770-A75B-D2EA8970A4A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated conjecturing with TxGraffiti","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_conjecturing_with_TxGraffiti"}}}}}