{"entities":{"Q6407822":{"pageid":13540965,"ns":120,"title":"Item:Q6407822","lastrevid":59092080,"modified":"2026-04-07T12:45:43Z","type":"item","id":"Q6407822","labels":{"en":{"language":"en","value":"Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900543233"}},"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":"Q6407822$73B47B22-0666-433D-B8F0-96D180D5950A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0aab910afab28a685a9cba1bad978291dea85316","datavalue":{"value":{"time":"+2022-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6407822$35BF51A7-F9DE-4D1A-8D12-46FD2D1D5CBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6407822$3AFA3D70-E06D-4D01-BD7B-27C1B0A9CBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39f9666546c0d0fded6ba7ab8965559a6b0910d9","datavalue":{"value":{"entity-type":"item","numeric-id":2180220,"id":"Q2180220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6407822$364131F5-E9A4-4641-85DF-DE39E90BD15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d804cf7e485bfddfeb0967f0a2ed09ee96e11180","datavalue":{"value":{"entity-type":"item","numeric-id":1799071,"id":"Q1799071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6407822$72C13EB2-E6C7-4946-A60D-35EDFA2BB7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c6d707c999cc6d62a42a2f34c4e05c6ede74383","datavalue":{"value":{"entity-type":"item","numeric-id":679254,"id":"Q679254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6407822$C8576B77-26DD-4B60-B008-8C4C67AB59A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6407822$3C94A56D-7518-4FC8-BF1C-C227E5C267F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6407822$CF182F6E-BC73-4D34-8AC8-3EAD44A2BE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6407822$9A00C63A-FA4D-4C69-B6BB-E67ED70F7442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6407822$3BDD8738-AEF4-4615-A39C-D331C11F778F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6407822$A0D373FF-2B47-4DA9-AF5F-65D76EC6EDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6407822$61744F49-A8BB-4210-8D6D-4E82AE8F0FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6407822$E95F7060-151A-4DFA-B023-7F51E35FDCAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70ec1a424fa85238444d7158e8a7fb232723c40e","datavalue":{"value":"900543233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6407822$E71A5DB2-3BD6-4782-BF08-01AD2F9A2D74","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":"Q6407822$65B3C2AE-EDFD-4420-97B7-6204CFDD4DDD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5ecba645682686731b6e467500935bd6c0ff0f3f","datavalue":{"value":"Q126392300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6407822$160AE259-5C7B-4303-AC02-2A8C02D68384","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4fedf115c205d6522297583c0299fd703ba818c","datavalue":{"value":"10.1093/JIGPAL/JZAC082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6407822$F6C09C85-CA32-4575-BE1C-1621B2FA3BE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6407822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6407822"}}}}}