{"entities":{"Q3103982":{"pageid":3114698,"ns":120,"title":"Item:Q3103982","lastrevid":85779716,"modified":"2026-06-03T11:29:31Z","type":"item","id":"Q3103982","labels":{"en":{"language":"en","value":"Sequent calculi for induction and infinite descent"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5989566"}},"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":"Q3103982$69C9CD29-AEE8-4BF4-A269-D3B2E44394D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"802b74b136a82080a1f50f0228b2ed1698ca05aa","datavalue":{"value":{"text":"Sequent calculi for induction and infinite descent","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3103982$1536488F-31B7-44E5-9C2C-CBEFB8503EAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea856a1479e6a800c319b88b3ff0723357ee4ccc","datavalue":{"value":"1242.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103982$8558ECF9-5A7E-4B13-BDA8-1BC5A1BE2177","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b218d394a4f78b8be43b552938ed5e21a7cf904e","datavalue":{"value":{"entity-type":"item","numeric-id":1401935,"id":"Q1401935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3103982$DDA3AE6B-0DA1-4383-AF31-3B8B86E4AFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"828c233951e066b486329c606d84f57a51b408d0","datavalue":{"value":{"entity-type":"item","numeric-id":685385,"id":"Q685385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3103982$624383D5-E72B-4601-8D45-CB75A9D75396","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e7c33876f49da64580f033b95b71f550b669c2d","datavalue":{"value":{"time":"+2011-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3103982$EECACD37-B9BD-4710-A20C-F8D6A3FA0D54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab5df7b96ae4e98bb80e92680d2cd7f5c9032feb","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/12304236/bs_journal.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3103982$E7784252-2400-4605-AAE5-E95497A02929","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103982$57C34DB1-C882-47A1-B367-CC67AB347904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103982$02BC124A-00B2-4C8A-A015-D638937042A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60edb0f1fbe992f7fa97107f4cf013cba119b03a","datavalue":{"value":"5989566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103982$4478ADB7-1020-4105-B0A0-3253E0898710","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3103982$93AEBBFA-19B4-411F-AF26-CFC1867E2BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3103982$6A764395-DD79-4080-BC22-C9E2B9E34DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60220bf05c0cc1e8e20b549069d458f7a90331c9","datavalue":{"value":"infinite descent","type":"string"},"datatype":"string"},"type":"statement","id":"Q3103982$0CA8D2A1-8661-4984-8061-F9D8C0FAFD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a81c26c178c84ff50de2a092c1964baa741ed82f","datavalue":{"value":"cyclic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3103982$978CB800-E1EF-45E8-ABA2-12CE4F2FD74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3103982$51B95CFA-FD45-409C-B915-E690581F3953","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":"Q3103982$B6C3069F-C350-4148-9B55-0B4A35459857","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ea68371de62feaa5ffceb92fbbdb80a6da22511","datavalue":{"value":"W1999823887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103982$8D8611AF-6115-42C3-BD18-49585D3129AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"732dca1cd1bafbdf55a215f78b8fe57c83d853c3","datavalue":{"value":"10.1093/LOGCOM/EXQ052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103982$E24F94F5-0512-419B-87D6-0F4AA2AD2EC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3103982$1A9589F6-1B33-4B8A-B13C-C75A6D16531E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f98c04fbf28a1dde1083b05383cc9d1cdf7e0d28","datavalue":{"value":{"entity-type":"item","numeric-id":4809499,"id":"Q4809499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b9057eb5af0a38cdeb3ee071b7c49b4b640ef2","datavalue":{"value":{"amount":"+0.8221257328987122","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":"Q3103982$DF7E3DDF-85F6-452A-A01B-4D0F0886B7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c94c63c775a34bc69e831e7aeea3ea55656366","datavalue":{"value":{"entity-type":"item","numeric-id":5144661,"id":"Q5144661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3436cecff55231a43c8cefa1c08b24dd2193a1","datavalue":{"value":{"amount":"+0.7673550844192505","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":"Q3103982$CB3E5E29-75B8-4DF0-AA85-61BA9A650AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67569a8d36820a4f5d562613552274ade326408","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa1ea5cb4c66b474609caafe658ddb3bbbe76362","datavalue":{"value":{"amount":"+0.767346978187561","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":"Q3103982$52E65593-CA0C-4D20-8E5B-232511B61B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf05d9f5340899fe3c29d002f92acecf6503b93d","datavalue":{"value":{"entity-type":"item","numeric-id":5479282,"id":"Q5479282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2391cb1128e06fc6dd6a65461d109cc131b0716b","datavalue":{"value":{"amount":"+0.7645634412765503","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":"Q3103982$F93055C4-4304-46E0-918A-A37330E4F11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060c11824453d7d11b7734e7def710dc27b17879","datavalue":{"value":{"entity-type":"item","numeric-id":3455184,"id":"Q3455184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8bf8ede2255e117379e847184b6722436c43f49","datavalue":{"value":{"amount":"+0.7632148265838623","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":"Q3103982$CCF47EB2-0EDE-4081-8441-49453106E2B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequent calculi for induction and infinite descent","badges":[]}}}}}