{"entities":{"Q2069871":{"pageid":2080613,"ns":120,"title":"Item:Q2069871","lastrevid":72601179,"modified":"2026-04-14T06:00:48Z","type":"item","id":"Q2069871","labels":{"en":{"language":"en","value":"Human-centered automated proof search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7461268"}},"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":"Q2069871$76ADFEAF-6CA6-44C2-BCFF-73DE396F2AD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb656c35978c8aec1be8334c682d22a7535e30b8","datavalue":{"value":{"text":"Human-centered automated proof search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2069871$8F4DCC10-ECA3-4D0A-B6EA-438F100E6FC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baf65bf84a9471e07b9412f58991eb0597943057","datavalue":{"value":{"entity-type":"item","numeric-id":762483,"id":"Q762483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$B11BBA86-43A5-444B-BCED-FEC2741906D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05fc647e64320cf5a3b6ad886596321391a58068","datavalue":{"value":{"entity-type":"item","numeric-id":2069870,"id":"Q2069870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$6E64FC3B-A912-4870-B9FC-8DCB86D11737","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$E4703F22-8BFA-4D93-AD7C-7583220A1049","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"212b5d293f1898346d16fd63133f51036fbfbfcf","datavalue":{"value":{"time":"+2022-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2069871$D5C508E4-58E8-47D1-BAE2-FF31A11FB08D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2069871$9A7AC1E0-48A3-4355-A483-42F56DF62B03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4422511d70c496072237333857a533ce2f103d38","datavalue":{"value":"7461268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2069871$194964DE-7697-4047-B8C5-13EEA854E2A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069871$1B6675F3-5051-4AC4-A1BB-CF267BEC3BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069871$65DCF5C1-8F18-4792-BEAF-389B3E971D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069871$D9C93619-B51C-45F0-8DE1-4ADAC4B054BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc76a8fbbfffab321f66e30ab9923c19ee1eaed3","datavalue":{"value":"natural intercalation calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069871$BCF6F599-9A32-4612-98C7-ED128404AFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e4924417cd67498a89208ae92c43c5e1de8fc17","datavalue":{"value":"Fitch diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069871$47B8C862-7211-4B0E-BA92-E113EDF927C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b32074a5e00ed0adee541228e6eef05681b75afb","datavalue":{"value":"normal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069871$77937484-4AE4-453D-8341-03BB7AABCB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d13db3a6e211817444fb0fe81c8cc355eb96aa9","datavalue":{"value":"machine-oriented proof methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069871$E02AB51D-575B-421B-9ADB-1A282D753C07","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$2879F48B-9148-4AA7-BBBA-0748BCF5D014","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":"Q2069871$E17FB1DB-0709-4CB0-BC80-CBCEAD347690","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8763aeac94ceed527435bc652ddb44246f9672d8","datavalue":{"value":"https://doi.org/10.1007/s10817-021-09594-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2069871$24C31F27-8EE3-424E-80DC-D6952A4CDAD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1d41150e6dddb1c0954af8d2a29f99063eda2cb","datavalue":{"value":"W3191531957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2069871$29A7FE11-1F1E-4037-AA62-17032640FBA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a74c52dce2b41371b695c2dd9e16f460a2c3a87e","datavalue":{"value":{"entity-type":"item","numeric-id":3880316,"id":"Q3880316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$7068F7A2-8068-44CE-90A9-0AE967FF2C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5739f4ebd111b0c4f094699e2fd97407f93bb578","datavalue":{"value":{"entity-type":"item","numeric-id":804557,"id":"Q804557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$54F88C7E-7221-43C5-AE36-2577A1752CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbe3f6a88e51e1203c3c8190dcfbdac3cc8dde","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$B94A8EEF-A346-4FF6-8C2B-EE161FD1987C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e857e95d91a8e9f3746c9aca423c534197fa21d","datavalue":{"value":{"entity-type":"item","numeric-id":1238434,"id":"Q1238434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$BEC33643-4157-4EB2-AEA4-E85BD65C5810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4abd19f5ab862eab554bb71f3ab3daa49c105364","datavalue":{"value":{"entity-type":"item","numeric-id":2952056,"id":"Q2952056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$339341E5-786B-40D7-8E2E-E25F596CECB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f660261386a269c5c6d007e1774c790f4ddf72ec","datavalue":{"value":{"entity-type":"item","numeric-id":5815602,"id":"Q5815602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$C4BF4495-2ED5-443A-9702-69EF4A77892F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$0822F925-9842-4726-A733-B894FC614CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa9aacc2c379e52cdf5a99fdab1f6137b9dbbfb1","datavalue":{"value":{"entity-type":"item","numeric-id":2362206,"id":"Q2362206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$79A5B119-8CE2-4E1E-8C75-16A376484612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$EC2BEBF1-0763-416E-A8BB-D1347ECE4041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$03FAAB8C-12FD-4147-B795-724D29FA0237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0478213a2768e15885bd259a974294cbcf32b5e0","datavalue":{"value":{"entity-type":"item","numeric-id":4619818,"id":"Q4619818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$EFAB383C-3F44-45F5-AE0C-DFC0BC09BD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ed7574dea8508891356f13dbf822e65d9c4732","datavalue":{"value":{"entity-type":"item","numeric-id":2259008,"id":"Q2259008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$8E873C20-ADB3-4887-9E30-F70EFDA05C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14e6969de02cf5a19417906c0c5f01258599367","datavalue":{"value":{"entity-type":"item","numeric-id":5772177,"id":"Q5772177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$72674423-4910-4C18-B3CB-A1655096EE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52cd1a25a23d6ee1d2d790b85193089c176c154","datavalue":{"value":{"entity-type":"item","numeric-id":1840387,"id":"Q1840387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$F21D641A-1791-4C03-87F2-B8769DAA6544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32be89877188e42d75acb415b1f567c9a21d7707","datavalue":{"value":{"entity-type":"item","numeric-id":3023557,"id":"Q3023557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$03031274-2E0E-4EA3-8280-9FDCCE85137C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626ae0604c6889c64962e0f1ca5bb8aab61ea312","datavalue":{"value":{"entity-type":"item","numeric-id":4501827,"id":"Q4501827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$0AD30EF3-E271-4A91-8FD7-CF053216C0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0924a86f652e00311e8961b2cdeee4e5aaf93ece","datavalue":{"value":{"entity-type":"item","numeric-id":1577335,"id":"Q1577335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$564ABC4D-2DB6-4444-8745-FBF921D0C243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9daa4057ed7a04c427228a37f513d691eccddc","datavalue":{"value":{"entity-type":"item","numeric-id":2757973,"id":"Q2757973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$80BE5065-5611-4612-8CBB-AF458A2773A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d8e4e4e9785c87d93ca6db9189561818cbb637","datavalue":{"value":{"entity-type":"item","numeric-id":1577346,"id":"Q1577346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$18A92D4F-B5D8-403D-8B11-84EB41BEBB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$BC97413F-12D9-4A70-9C41-8B07E89BE862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46fa77b820db44427fcfb933deefc6bf2d0c73f","datavalue":{"value":{"entity-type":"item","numeric-id":4845456,"id":"Q4845456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$729242EA-6051-4E04-832C-0D29DE5C48F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61dbf611691a98c9e2b53825b06f47d0c5827bf9","datavalue":{"value":{"entity-type":"item","numeric-id":5427804,"id":"Q5427804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$4E8BCF9A-6265-49A4-ADB4-1465743471C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e30d3ba6c698075ef1676cfbaf0355ac03c8bd","datavalue":{"value":{"entity-type":"item","numeric-id":3001104,"id":"Q3001104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$D4FC041C-4DB4-4442-881E-0290F73FB5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f74df4601303f9c84fd6fe78b2928f4cb27f544","datavalue":{"value":{"entity-type":"item","numeric-id":1577339,"id":"Q1577339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$900EAFE8-E5DA-4C3A-9BF1-775E62962E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc5bc94b1e23a5cf2156ab50f5121b1ef748895","datavalue":{"value":{"entity-type":"item","numeric-id":5717439,"id":"Q5717439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$16A3EC2C-9971-4BAC-8EA9-29FD93B606D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"122df4c32998e0c42a32ff19bd51cb1475aa89fb","datavalue":{"value":{"entity-type":"item","numeric-id":1772785,"id":"Q1772785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$FAAC4493-D295-43DC-8CD5-DCABB60BADE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f35bfe8f8884320bc8958ed1e03d48cf5191284","datavalue":{"value":{"entity-type":"item","numeric-id":5001547,"id":"Q5001547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$73410AD6-CCA5-423E-A3A4-F8E1450C0490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751e8f0efe9ea52460668d0772ba1245a23405e7","datavalue":{"value":{"entity-type":"item","numeric-id":4416428,"id":"Q4416428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$F2EA6F28-250D-43A3-B525-EF6DD1BB9A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$C504A93E-1047-4408-BAB3-7FA75BC2AFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c24c6b43dc3a0ab21d80235a273aab5779111ad","datavalue":{"value":{"entity-type":"item","numeric-id":3503742,"id":"Q3503742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$C6DE5A8B-A9C2-4C8A-B833-221BE57B7282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa75d76e1cdc609f7ac46974607202a4c628e1e","datavalue":{"value":{"entity-type":"item","numeric-id":3275832,"id":"Q3275832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069871$22A82C49-AE18-48DA-B32F-7502FB66E870","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7242f09757238061a9c06cdd10e8dd9d50eb8260","datavalue":{"value":"10.1007/S10817-021-09594-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2069871$A15D98B4-4FCA-4AAA-B279-A7951482EC6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a4004bec8c4bf76605ffb8af1d4dfe2b0301b8","datavalue":{"value":{"entity-type":"item","numeric-id":3352532,"id":"Q3352532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b091134cdf4cfea255d33e65fea6608553170d68","datavalue":{"value":{"amount":"+0.7278307676315308","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":"Q2069871$2B856311-2F50-4CC1-A937-08FAF6F2ABA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ea492ad089cebf714da2333d8f038a608cc26e","datavalue":{"value":{"entity-type":"item","numeric-id":3654817,"id":"Q3654817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974be6229e87d804e8ef7e139e11ee8b110102db","datavalue":{"value":{"amount":"+0.7219083309173584","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":"Q2069871$49E49ECF-107E-411C-A5BC-4CFD3DCF9A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cced17f163a20377e2da5e20c0731c01de2eed1","datavalue":{"value":{"entity-type":"item","numeric-id":1772785,"id":"Q1772785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92a8157ba11f47f460b4f73c2748b79b93375203","datavalue":{"value":{"amount":"+0.720093309879303","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":"Q2069871$B9BAE967-0963-4FEA-AA90-EB5A140E08B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2c6b79329a05aebeeaceafc262ed034a0f25766","datavalue":{"value":{"entity-type":"item","numeric-id":2702597,"id":"Q2702597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a5edfeff17ea402f743d022abb0c2ad3d576b23","datavalue":{"value":{"amount":"+0.7116034626960754","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":"Q2069871$F54DCC91-24B5-4D84-B6E7-7966220C7F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4315761f4547180f7a8d855c0675a44fa0a0b07","datavalue":{"value":{"entity-type":"item","numeric-id":3001104,"id":"Q3001104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce0256de54057a54c40d6c750c14ea0b3c78eb0","datavalue":{"value":{"amount":"+0.7068164348602295","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":"Q2069871$D9B70759-4189-40C3-9FB2-E9A54DAB717E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Human-centered automated proof search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Human-centered_automated_proof_search"}}}}}