{"entities":{"Q5951528":{"pageid":8128330,"ns":120,"title":"Item:Q5951528","lastrevid":47718298,"modified":"2026-01-02T12:44:41Z","type":"item","id":"Q5951528","labels":{"en":{"language":"en","value":"Solving open questions and other challenge problems using proof sketches"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1686114"}},"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":"Q5951528$21757B62-6E3C-4288-90D0-B2C9E29EFBF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdde824701b356cf7a47a3f48c05aad200ab36af","datavalue":{"value":{"text":"Solving open questions and other challenge problems using proof sketches","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5951528$5A3ADACE-DB8A-4532-9C31-A9DCA5200133","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"231b914c049adfdcfb1b812487a6cdae18214ad2","datavalue":{"value":"1006.03511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951528$BAA957BA-DE99-46B1-AF2D-140CD9AD0349","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7affb759a68d55fe96cfa3b8d756d894d897fe2","datavalue":{"value":"10.1023/A:1010639725972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951528$9257DF88-1C1E-4067-906C-747A4C54C068","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26e67c284200a94e888860be6089d9b97aa022aa","datavalue":{"value":{"entity-type":"item","numeric-id":220721,"id":"Q220721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951528$407AEDD6-CACA-425B-A4CC-5435BDB1C62A","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":"Q5951528$13A1450C-3227-442E-B399-53ABB4CD82B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd23d86f8a62e2a287b0d3c845d667edeacbe3e6","datavalue":{"value":{"time":"+2002-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5951528$C916DB86-E484-4A9B-983A-21608EDFE684","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951528$733D0A5F-668E-4946-9689-D9E8C983D2CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3fecd3db7369bce889e632c863497b0d705d7ee","datavalue":{"value":"1686114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951528$0C4DAF34-9C5D-412F-8404-1EB0F3FD55C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951528$690ED300-142E-4BEB-8BB8-DE3F7D9654E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"603384e3fdedf65f08bb990bbbec9b4a6f4f266d","datavalue":{"value":"linked UR-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951528$C3382251-5E49-4D62-B051-D9E2146AD3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b00abda0107107034bdfc15505e005133f70a0e3","datavalue":{"value":"searching for proofs in logical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951528$966C4F2D-3F52-48E7-A256-8E63AC99C578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7659bb8879fdc0319bd5c16763d4231270b7b686","datavalue":{"value":"condensed detachment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951528$1259F6D1-85A6-4955-BB64-586B6EAC6F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae141cf6ba33c4d8b6496693fb239727cb715a49","datavalue":{"value":"proof sketch","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951528$99AC3211-4DE0-4829-9C9C-1BFA450E26BC","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":"Q5951528$B1EC03F6-FA43-4CE7-93F8-3FC2DB5ECC8E","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":"Q5951528$FAE19F33-908F-4E8D-A50C-445F0DAD6C97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be8543bb15c5a327c5e70e95b20d857ed73f949e","datavalue":{"value":"https://doi.org/10.1023/a:1010639725972","type":"string"},"datatype":"url"},"type":"statement","id":"Q5951528$4D29AA0D-5547-4500-A284-4091E16020E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91fe06d6fb0cf7e9e00d19bb4301be031d1ca8b7","datavalue":{"value":"W1510627098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951528$3C7E8E18-F9D4-46E6-90DF-B134B7B66F31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1a0c69b0a6abb348daaa632d726a405c0b2658","datavalue":{"value":{"entity-type":"item","numeric-id":5951526,"id":"Q5951526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b3e0ce8ee7b157015c2f8ebed8e5b650d72ac2","datavalue":{"value":{"amount":"+0.7290676236152649","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":"Q5951528$AAA97806-CBE5-42B3-8338-07930A57A623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b252e5bef6bb3aee7ef205cee8912bf19fd4403","datavalue":{"value":{"entity-type":"item","numeric-id":877820,"id":"Q877820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49079568c2adca963ad8ee8110972bf95991329","datavalue":{"value":{"amount":"+0.7117336392402649","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":"Q5951528$6B32C6AC-516A-4DB0-B43B-A8C067BED909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cf49610bffabfb30d665b9d9afcae1e1c873955","datavalue":{"value":{"entity-type":"item","numeric-id":5951893,"id":"Q5951893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6545e9a1c9dc946bf19bfcd044a8b9766bd8fdbc","datavalue":{"value":{"amount":"+0.7116466164588928","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":"Q5951528$1B59DB93-26FC-417D-900C-6F7523FF2C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f88506a92079a5b24ed1e49a3b24f106d59380","datavalue":{"value":{"entity-type":"item","numeric-id":5951530,"id":"Q5951530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a10819c71f676ba3e021eaa853256cffbc45de3f","datavalue":{"value":{"amount":"+0.7025595903396606","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":"Q5951528$316D5AC9-2D0D-4D4A-9E23-F7671E4216D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f68405c0a17395f5a008c528177f34f81124ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4811771,"id":"Q4811771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a969ecd6ce6f0debfbcc6456f15bb6496b8e168","datavalue":{"value":{"amount":"+0.7021759152412415","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":"Q5951528$DE179B6A-2B65-4C6D-BB12-565F5E9CDCC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5951528","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5951528"}}}}}