{"entities":{"Q5301851":{"pageid":7331425,"ns":120,"title":"Item:Q5301851","lastrevid":40742113,"modified":"2025-04-04T13:17:09Z","type":"item","id":"Q5301851","labels":{"en":{"language":"en","value":"What is a proof?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5494545"}},"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":"Q5301851$35E35792-A9F3-4BEE-953E-2AD0606F001F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4345122e98a99ba1155626f4cb6b773bb44d0e19","datavalue":{"value":{"text":"What is a proof?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5301851$6FF71C9A-B510-4627-A8A7-D24F4E274CC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6e96758554d56803a2631933e91ca36bbbfa72b","datavalue":{"value":"1152.00305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301851$26E31707-5250-4CAC-8C82-A7C791F8A36D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a3d6bd9a0b44736f3bc6a6985f44383a95724","datavalue":{"value":{"entity-type":"item","numeric-id":438542,"id":"Q438542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301851$168D8C66-1076-4395-BD9F-F431B5FCCEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"284fbc1bc15076f8bcaa5ac2c8ac8b95878097ea","datavalue":{"value":{"entity-type":"item","numeric-id":946571,"id":"Q946571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301851$66388A7F-052E-412E-A640-37F1E7B01D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ce86eee79c59307c0ecc4f4d8439d77ae7aa394","datavalue":{"value":{"entity-type":"item","numeric-id":5301850,"id":"Q5301850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301851$BB43F671-55A7-4CB9-8480-F490A57EEA1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a13ffa206096651a7eda5901a1abc51007a10be2","datavalue":{"value":{"entity-type":"item","numeric-id":144519,"id":"Q144519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301851$A7E2DF29-1D76-42DC-8665-1DC6DFF3509A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17b2bc7aa69b4c70169eb342174f791402649e1a","datavalue":{"value":{"time":"+2009-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5301851$59172EEE-C1DF-497F-A47A-D777123516E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"461474b34d17f9c0c9af594e57691594fad3170b","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/409137/What_is_a_proof_.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5301851$23B9EC18-18A7-4C3F-9BC7-1FB2BF567256","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301851$63F439C3-566E-49DF-A0FB-B8806AE6F81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301851$1D777ECA-4D61-46AA-888D-C377E2A963A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301851$522DA2CB-357E-4A2F-8CE2-544570A7D47E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9ef0a642f1efaed72813917fd0e0c1d4f6a2942","datavalue":{"value":"5494545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301851$8F74F35D-09D3-4D8C-A623-66E997CBD906","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7122f6b434ec62d62a0c28aa6b0d782dc60199d4","datavalue":{"value":"mathematical proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301851$12E96892-B0DD-484C-8FCE-B85A35135E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301851$9F9EC0A1-53DF-40F7-A2B5-78C7AD01CA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f8277cb1f04c882b9ae9ebd5c8a158800f9210c","datavalue":{"value":"schematic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301851$744B749C-0BA4-442D-AF7D-14B244D5131B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59d787886f6092a4db700abfc6e7c93afc2cf30e","datavalue":{"value":"constructive omega rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301851$39984CF0-FE82-45DD-8E6A-E39979696536","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"412b0e6ca1dbe834923e727ee9f1b600d92281b0","datavalue":{"value":"Q47248347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301851$046C7DBE-54E9-427D-B72B-17F3E48142E7","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":"Q5301851$FDFE603E-FF21-42D7-8FD3-96D64FFD64E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20760416e787ccccc6127748d1a31738f64b26eb","datavalue":{"value":"W2063535080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301851$40981BBC-4A50-412C-8F31-1B7B7B92B787","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"635d658e492778c40a0dc6463613126938b64c17","datavalue":{"value":{"entity-type":"item","numeric-id":2751365,"id":"Q2751365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301851$8DDBB1EF-540F-4CFD-994C-43073C66CAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638a383a4e148c10e123839f405ef1f3f58537c2","datavalue":{"value":{"entity-type":"item","numeric-id":4938413,"id":"Q4938413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301851$0B93D2A2-2213-4923-8311-79448838D2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c8dda6bdcc68a3bf9c57820e44004003ef6396","datavalue":{"value":{"entity-type":"item","numeric-id":2739733,"id":"Q2739733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301851$9BB851D2-0E9C-4EB0-920E-97319F5D0B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d7991ac9e7cdf85ee75bde2eeaeec3be8a2a07","datavalue":{"value":{"entity-type":"item","numeric-id":3559773,"id":"Q3559773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301851$193B1A08-1822-4F73-ADED-0C013BC0352B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb907451cecb549b44c6551fa6231389c491af0f","datavalue":{"value":{"entity-type":"item","numeric-id":4523518,"id":"Q4523518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301851$87919702-EA99-4B61-B690-86A1481344E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301851$2CABBB74-DE94-48AB-B7C4-F844B6A5EEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a8890feff1638797e28b1edf6dcf16cf4e47ff","datavalue":{"value":{"entity-type":"item","numeric-id":4789490,"id":"Q4789490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301851$062891F6-1481-4956-B4E5-00F2CD344013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946adaf1a8c8f141e0757f8f6f8365e21e858a9","datavalue":{"value":{"entity-type":"item","numeric-id":4099559,"id":"Q4099559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301851$9D1490F6-308D-4562-AE43-85EF5D5D2441","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef0569211b1fd4f891503b912ddf46e015ac3bb2","datavalue":{"value":"10.1098/RSTA.2005.1651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301851$B537039F-58D4-4B96-8D0C-6980CC9AE9A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42280429ff0a3814884c0428c5df7f5f116696a","datavalue":{"value":{"entity-type":"item","numeric-id":5246107,"id":"Q5246107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5301851$6BDDAB82-D317-4DCA-A963-E2CDDB162D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991f0a0d01b0a98d538b91b6b4422d888fb4f6e8","datavalue":{"value":{"entity-type":"item","numeric-id":3654811,"id":"Q3654811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba913318528642614ef652ecdb46afa974ed84e","datavalue":{"value":{"amount":"+0.91591537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5301851$E155043D-9B06-40B4-97F0-A967257E662B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47869dab2b3f5e621e593e69d3de1a30f3c7d6e","datavalue":{"value":{"entity-type":"item","numeric-id":4824966,"id":"Q4824966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744925d9392de8190999c4ca99739bf7bb8ed3d9","datavalue":{"value":{"amount":"+0.8659348","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5301851$3365F91E-AE9F-49E2-929A-53B01DCB22EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d33a5550f8ba174812792a09aa0478585889ae5","datavalue":{"value":{"entity-type":"item","numeric-id":5271409,"id":"Q5271409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1adddb547d200c627fd595f4e59f16b522581f1b","datavalue":{"value":{"amount":"+0.86370933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5301851$9ECB3586-03FD-40CA-883D-97CC5961FE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b08e7cf4077824e2003e784c4c7bd1fcff8c03","datavalue":{"value":{"entity-type":"item","numeric-id":3520842,"id":"Q3520842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f66b3a42cbe170db1250e64fd8deb64172b9dcca","datavalue":{"value":{"amount":"+0.8427472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5301851$6588F53D-3FA5-4A7D-A0D9-281DE596F521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a582424aa22775ae653827dd471c8c7501c908","datavalue":{"value":{"entity-type":"item","numeric-id":5311060,"id":"Q5311060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f66b3a42cbe170db1250e64fd8deb64172b9dcca","datavalue":{"value":{"amount":"+0.8427472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5301851$1E61BDA1-83AD-4D96-8EA6-AA7F5290AEBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5301851","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5301851"}}}}}