{"entities":{"Q1354049":{"pageid":1364788,"ns":120,"title":"Item:Q1354049","lastrevid":68534943,"modified":"2026-04-13T00:23:06Z","type":"item","id":"Q1354049","labels":{"en":{"language":"en","value":"The application of automated reasoning to questions in mathematics and logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1005848"}},"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":"Q1354049$03E21D5D-FEC0-4E13-B946-4FD5D9B0B635","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45b7169febc8eb893144c4a3bdea238d4a3634c9","datavalue":{"value":{"text":"The application of automated reasoning to questions in mathematics and logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1354049$24BCBCB6-5540-408A-A12E-487ABF0F0AE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0397748963c8dceeaed131dcfec369b9d91799e5","datavalue":{"value":"0997.03500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354049$F4CFF578-5FD3-46F4-9F46-34EEBADC9B1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39e1be92b6eaa0113ef6226d42cfa3a4e0f283bf","datavalue":{"value":"10.1007/BF01543481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354049$E27EA732-5013-4CAA-9851-681E93E3953D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba90afe3c39216a5a167db74b8f9f42ac7df8da6","datavalue":{"value":{"entity-type":"item","numeric-id":220717,"id":"Q220717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$82A0E874-954D-44BD-ACCE-FE5B85430A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e0028fa115cfaf177650f352dee75f3c9756682","datavalue":{"value":{"entity-type":"item","numeric-id":688545,"id":"Q688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$672C4A9A-CC37-4CA2-91FF-7D27187904FD","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":"Q1354049$A0A11C0C-86A0-462D-A551-6E0EDEC0E6A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"253a0cc57300e2194fc1b5d1f13fbbc8bc97b0de","datavalue":{"value":{"time":"+1997-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1354049$BF680055-D5EA-484B-B397-CA3FCDBDED1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354049$B5E5D32C-953D-4B17-8787-85033AB36B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354049$4AAA352E-06EC-49DE-BA19-971E594BDD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354049$68105BBD-FE10-4172-B35E-5FA778262FB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1df227617fbf23e438986ee00793e16f258169b0","datavalue":{"value":"1005848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354049$28F42885-E077-44B3-8A8E-FAC2889A8326","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354049$08C14355-DC01-494B-99C6-90E7D019D9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927659d4813664173a8f09a1f34d9214be3b9170","datavalue":{"value":"OTTER","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354049$B8B5F0E6-FF2F-43AD-B8BF-65A4C0113956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43192b6665f26d71c3b114dd22098c6364346a4f","datavalue":{"value":"proof finding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354049$14617DC6-C364-4104-AE3D-16154CD125A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f822fb48d83a940b1e01a12fcb839cc0d66e9781","datavalue":{"value":"conjecture formulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354049$AB09B329-17B8-4C0D-97FB-5CEC0C74569B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a819255a9ac6122c87010c1fd5382c512dad6926","datavalue":{"value":"object construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354049$65D612A7-557A-4B01-8679-6621D00E2348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354049$B2317F1D-96B8-43B5-A9F4-65E049FA9AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a3064cc446fdc319ccd440f7ee9dca559f98f9","datavalue":{"value":"equivalential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354049$3AB7FE92-9F00-4686-A935-094F27A678D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90689de7bc49a49a53888ddce7f52f19db72960f","datavalue":{"value":"Robbins algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354049$090996E8-8F0D-407D-B8A9-BB435634219F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b96cff283cf7bdf3df41e0714fcb4800fd86cfe6","datavalue":{"value":"finite semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354049$91443BEE-E78B-4EE0-8B74-D77846A684CA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$A00E9F24-9F50-46E0-A606-035805DFC863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2dd2b9122264aadcbfe3f8a915ad1b206e944175","datavalue":{"value":{"entity-type":"item","numeric-id":22073,"id":"Q22073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$03BE79ED-48BD-4854-A78C-3BC79F09C116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cfe4917f47df85084aaacd4d417abed0d82eb6cf","datavalue":{"value":{"entity-type":"item","numeric-id":19078,"id":"Q19078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$F56E0A6A-6CE9-472B-A451-9E4EEBB4A8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$AE02718E-680F-4ED6-8B6E-12E7D09C7C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ebf2accc5d6c6b3c7a81ee7493fd53a6bf250","datavalue":{"value":{"entity-type":"item","numeric-id":40618,"id":"Q40618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$C4DB9D15-0EF4-4B9D-9820-FA2652C37EB7","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":"Q1354049$3DC2C20C-7E76-4E62-90FD-9E4C49A0B2A6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6bbab450d566e33b8a9b7ee82354d63d7db84664","datavalue":{"value":"Q114267028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354049$9C423AE2-F876-4C06-816A-3FC8BD220FF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$EB56C592-FDC6-4120-971D-69A184DB692C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cba9fdc176e227cff74c0348484f5229e3a1f2","datavalue":{"value":{"entity-type":"item","numeric-id":3340195,"id":"Q3340195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$DD3CB59C-9CE1-4E04-BEBF-91A4598F4BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$605E3E68-9F60-45CD-A666-4ACB8841DEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8452c1df9b2612b34848e6018918c0be8c81a6e9","datavalue":{"value":{"entity-type":"item","numeric-id":5649989,"id":"Q5649989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$5047077B-76A8-4F73-B4AF-E1A703F8721C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$428D7739-F16C-410B-A789-0B3C1664F0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0a2d77c10bf7b1b25fa6ef3b8e22e9e85ddafc","datavalue":{"value":{"entity-type":"item","numeric-id":4752100,"id":"Q4752100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$53A3D21C-EB41-4B06-B138-20815849AEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2e1730505dc38b28b0c175adb4ff33adc97db1","datavalue":{"value":{"entity-type":"item","numeric-id":1242883,"id":"Q1242883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$890076D4-F639-4DF9-8550-F32CE761B03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$F8A39BF7-FF5F-474B-B1D6-6059DE77655F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639a5003e4b8281fca4e254193fbecdaeb153e01","datavalue":{"value":{"entity-type":"item","numeric-id":1095680,"id":"Q1095680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$0AC6A086-FADD-4DD2-93B2-1C4E423FD856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7add01291c95ebcb031afac6fc8c8b1659115c10","datavalue":{"value":{"entity-type":"item","numeric-id":1229761,"id":"Q1229761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$DF4E6AB9-287F-4C84-907B-6714F18823CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"898575703b1bf05bce9740c9e05d50850cee3315","datavalue":{"value":{"entity-type":"item","numeric-id":1098333,"id":"Q1098333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$52CB4633-1109-4580-9C26-6F3F5E38CE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1fa8e099c59f8b6819b5b09b786ac872f2d64b8","datavalue":{"value":{"entity-type":"item","numeric-id":688554,"id":"Q688554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$EAF6BCF1-CEA1-4293-B5E2-8147342DD442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$9F2A4D76-DFDD-4AC1-9277-4E598786E837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$DD436058-3FFC-46C0-8CD9-8BD17BF87333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1af0fa3ab79d3aca7d0c2eb038f3a2d86af567","datavalue":{"value":{"entity-type":"item","numeric-id":5541351,"id":"Q5541351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$98A6F8C4-06B1-4A4F-A2B6-57ABB217E358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab938ba3d2bb1de7d34dc0f9166735f59a48b21","datavalue":{"value":{"entity-type":"item","numeric-id":1114446,"id":"Q1114446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$A14EC98D-E60D-4919-AEFE-BAA4CE5C046B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6665473476a662f7d4641df0e907b87f159a7036","datavalue":{"value":{"entity-type":"item","numeric-id":3665335,"id":"Q3665335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$056F71A8-9136-45B1-AC30-15E98F913932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9c3982efd0f7ccc059068ad9e9a439bba5bf60","datavalue":{"value":{"entity-type":"item","numeric-id":3949989,"id":"Q3949989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$CA3300B7-2B87-46FC-A5B8-84E7FEF719C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bab4f7d1b2661e9a9ca3ddc35e5a57311ad582","datavalue":{"value":{"entity-type":"item","numeric-id":5507985,"id":"Q5507985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$4E93A408-18D8-41AD-ABFE-3BF26A765C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7053c119e620b9c3b3c8c19da3a6a2d1be1e3c68","datavalue":{"value":{"entity-type":"item","numeric-id":5538934,"id":"Q5538934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$E1FF0A24-980C-4BE7-8A38-E6DBE0CB5CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef75b4b5ae4f1119c1ac9bfdcf91039dbf37c93","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$4666F8D4-3A13-4BB6-945E-BEFF6C3C08C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97f2ca7733e53a360558deedfba3ff56eaab626","datavalue":{"value":{"entity-type":"item","numeric-id":759491,"id":"Q759491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$1DCD8D11-EE08-4FCD-B05C-4FA04EEAF7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0620e875ace4454552471ddc26f3c19b333694a","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$C18D0338-8E99-42F1-9B46-AC0DE87BFABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0eedd35d6daa8a28e2429ad0319e463c12950c7","datavalue":{"value":{"entity-type":"item","numeric-id":1107334,"id":"Q1107334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$1A481CF5-5032-4DE8-97C5-AD9EAF3C7602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60fe42a8626fe294c0af822c4d003f8af2d5c2d1","datavalue":{"value":{"entity-type":"item","numeric-id":911807,"id":"Q911807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354049$02F2F48A-8472-40B6-AD35-47C097A546AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa0abf5822fc76dad79c300a665560405a1b812","datavalue":{"value":{"entity-type":"item","numeric-id":6488553,"id":"Q6488553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d109c18a6aced20662637777b17e3bbbc013d97c","datavalue":{"value":{"amount":"+0.8585483431816101","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":"Q1354049$5ABC82AA-1397-47F6-80FE-A16277F99C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1790bb47fa78b6bb1707c0956e110c97e8a52fbc","datavalue":{"value":{"entity-type":"item","numeric-id":4531958,"id":"Q4531958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"040dd37a87866ed77045ae89352d8f862382d42e","datavalue":{"value":{"amount":"+0.8581686019897461","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":"Q1354049$8F8C7D8D-3C32-48F9-8648-46F2B4F72E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8946159e21745f3badd5af9fc47c8600eb072e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5717441,"id":"Q5717441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96578b148b8412d6b11d01ac95bc3db13bf777ee","datavalue":{"value":{"amount":"+0.7833912968635559","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":"Q1354049$60D717D1-151C-461F-9413-DC699C756918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5f69c789071bf14a8417081271429c23160ada","datavalue":{"value":{"entity-type":"item","numeric-id":4816538,"id":"Q4816538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"599e0f72a0a465da841b433bbe9b63ce706fa38f","datavalue":{"value":{"amount":"+0.783068060874939","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":"Q1354049$EA4FECBB-5B92-430B-A934-E31B0C826BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4598a79294b5ba6ee06d915c425aba467aa4f86c","datavalue":{"value":{"entity-type":"item","numeric-id":5444850,"id":"Q5444850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ec96d508816f544ee813dedb1e35b4a7742095","datavalue":{"value":{"amount":"+0.7826268672943115","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":"Q1354049$C25DADC4-C8E5-4279-A406-9DD8DB984535","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The application of automated reasoning to questions in mathematics and logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_application_of_automated_reasoning_to_questions_in_mathematics_and_logic"}}}}}