{"entities":{"Q819987":{"pageid":821835,"ns":120,"title":"Item:Q819987","lastrevid":64578411,"modified":"2026-04-11T20:50:29Z","type":"item","id":"Q819987","labels":{"en":{"language":"en","value":"The seventeen provers of the world. Foreword by Dana S. Scott.."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5017353"}},"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":"Q819987$9ADBE6C4-F10A-4111-8058-8BBAEE7D67F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc61143e4f419c826d12b954b3e0d05dd4cc00f3","datavalue":{"value":{"text":"The seventeen provers of the world. Foreword by Dana S. Scott..","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q819987$06AD6A4A-05EC-4343-A44E-93E0F6856B52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed542823061ae330c0b969719ae7cc5e0281c229","datavalue":{"value":"1084.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819987$9BBDAA01-EE1B-4964-8660-681C81AC2018","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2da019d4a88b2b53c8a7f1b018a9d22c0d1ecae","datavalue":{"value":"10.1007/11542384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819987$47888771-0140-4A58-930E-6385CC8B44B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819987$8F540A8D-BF8C-44A7-8506-A73282463CFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44f26a54a6b6bc1d769e328f23b93178b5ad1153","datavalue":{"value":{"time":"+2006-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q819987$5C98A643-E5B5-4B56-A302-D4963013E7B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819987$6A9B0518-24D4-40BD-9B61-573CA622694C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819987$F6A404F7-F472-4626-9943-8E36CF48BABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819987$CA8C7EAD-7FCF-435F-8199-5C6CCF0E3D3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6010c9d313eb27f215afc64490bac6da9a02eb79","datavalue":{"value":"5017353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819987$32472BD7-598B-4F34-9172-F85E0D5EE41C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q819987$2B88E9E5-4ABB-4D1B-A0EC-98279CEC0026","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819987$520350C2-F45C-42B1-89EA-A0B69B107FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819987$BC025054-AD63-40CA-85F9-C0B9B3178636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819987$D2F00C58-23BD-4670-81BA-2E38139E7240","rank":"normal"},{"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":"Q819987$A82A33EB-7356-4183-A346-193EAAD7115A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819987$65914E58-E432-48FA-8BE9-EE5846E051E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819987$490A02FF-D531-4442-B2ED-71CE0DB00C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819987$AA446F29-75FE-4D6F-9953-742C617E41C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aef42c0ba3ebb76b2efad2df262c05b22e73e922","datavalue":{"value":{"entity-type":"item","numeric-id":21953,"id":"Q21953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819987$18E114D3-15E9-467C-B862-A77F4700B031","rank":"normal"},{"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":"Q819987$E640CAC6-3317-49E9-9AAC-CFB9526C545A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819987$C24DDC59-ABE0-4DF3-B52C-3DA4A079DA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e1a240c321e56a4c4972fd8e23ea8cd8e21bff0","datavalue":{"value":{"entity-type":"item","numeric-id":21744,"id":"Q21744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819987$88FD48BA-8EF2-4A7E-8D8D-7DD978C81F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819987$BAB67D82-B2F2-4B4C-AB31-8AFC98C21EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819987$01D6D072-41D9-4BE1-B736-B9DE260A966C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"550541b08bcfd7113a03dc69a25fcd69cb35ddef","datavalue":{"value":{"entity-type":"item","numeric-id":25224,"id":"Q25224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819987$1C774CB6-CA17-42CA-88EE-094134E1FC7F","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":"Q819987$8B3113B3-F079-4980-A1AF-E9577ECE8BD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e55a3644212f0153f2065a1213997fd999c7795","datavalue":{"value":"https://doi.org/10.1007/11542384","type":"string"},"datatype":"url"},"type":"statement","id":"Q819987$19C4BA45-FCAE-463F-B63C-E6A5FDDA114B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"972d868b82ee18d5051ae46cece17bd253364395","datavalue":{"value":"W3023731641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819987$9886C7AB-B50C-4F9F-87C6-A261B74848BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"262d135addfdab86581ad6ea9aa14b4296caf9a9","datavalue":{"value":{"entity-type":"item","numeric-id":4428312,"id":"Q4428312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d3ef3275f6e10b12357dbb5a68a7501a75f88b4","datavalue":{"value":{"amount":"+0.8010749220848083","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":"Q819987$A95771FC-54A2-43D0-9BE4-A10BE6F3150C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a2d401ee2c3a4bcc1deb76485d6fce7bc4a822f","datavalue":{"value":{"entity-type":"item","numeric-id":1961912,"id":"Q1961912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e070e0e24ba4600c8691c638d81831e4bfb2e650","datavalue":{"value":{"amount":"+0.8010748624801636","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":"Q819987$6A11AA84-EED4-4C17-B5A1-0C0CD29CCDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181d37b7479ed88a05fa0ed1ad734ab432082e90","datavalue":{"value":{"entity-type":"item","numeric-id":4413894,"id":"Q4413894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bff9883c5c2441db53cfcee38e86aad691d60119","datavalue":{"value":{"amount":"+0.7775219082832336","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":"Q819987$AFDE4AD8-C75C-4D94-A836-13430EB00A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5caf9de33d1799cb19ca4a87514a35fe4bcf1918","datavalue":{"value":{"entity-type":"item","numeric-id":704001,"id":"Q704001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b5fe98493aff7b23c3420868ccaa3fb8422b4a9","datavalue":{"value":{"amount":"+0.7644209861755371","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":"Q819987$8E5BE6B9-193E-4E90-9A08-81B479F1EB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ce98b74c8281cf701ac57ba310777585e28a4c3","datavalue":{"value":{"entity-type":"item","numeric-id":4664927,"id":"Q4664927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e74945fbb4df20d9710eea3418a26791af881eba","datavalue":{"value":{"amount":"+0.7583592534065247","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":"Q819987$A57D9269-E188-4971-9F65-B85900624F74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The seventeen provers of the world. Foreword by Dana S. Scott..","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_seventeen_provers_of_the_world._Foreword_by_Dana_S._Scott.."}}}}}