{"entities":{"Q4610315":{"pageid":6639898,"ns":120,"title":"Item:Q4610315","lastrevid":90508073,"modified":"2026-06-04T20:33:07Z","type":"item","id":"Q4610315","labels":{"en":{"language":"en","value":"Lean induction principles for tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002268"}},"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":"Q4610315$97D911DD-B091-4241-9AB5-6AF5F6298895","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe9dddd5378f086adb5c480d2e22d0e7ad49cc5b","datavalue":{"value":{"text":"Lean induction principles for tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4610315$B118140B-FE26-45CD-8313-25413EEDAA09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a55b206179e9f43029386d203b75328dd187b0d0","datavalue":{"value":"1415.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610315$F1A56D89-ECC8-41C3-863B-8A28295F2F06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610315$EFA64084-EE3E-405D-AD57-A597CC6171E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610315$A04DE091-A67D-4C40-A303-84F66C9DE324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"730065f6e9d808e78e9979c0b5adf9d3d0a26e2f","datavalue":{"value":{"entity-type":"item","numeric-id":685345,"id":"Q685345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610315$DF5C32DB-F329-4403-9494-2608464DEA65","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":"Q4610315$631E0230-718C-4ABD-A0B7-A5AABA7A8762","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4610315$BF7C2B0F-86BB-449C-8306-92B971BA1604","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610315$F0280B7F-FDB8-4982-B8A8-51D0C92EF4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610315$ABB227BF-F700-41C7-8C34-C7C4638B722E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de57ce700ae2ccd0415124a450455842a7771865","datavalue":{"value":"7002268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610315$09B3B334-BA57-4AE6-97E7-A699DACD3FB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e768e1c4e7d40abc90d87e0d5993944fb0553bf5","datavalue":{"value":"induction schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610315$1245F248-669B-49AC-BEB0-D543E7C07F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610315$66725928-89C4-4A5F-A7DD-8FA5B6E539F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610315$D27FB0FE-C5B4-4FE3-9C56-6AA1EA2E2BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb82a6bb049eca827530aea8e4ff9bb2ba33b1cd","datavalue":{"value":"induction principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610315$2EDDFC35-3DF8-4501-84D9-26ADE4DC2CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610315$72EBFACE-506E-4EC1-896A-565242B6F85C","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":"Q4610315$CBB9C520-403A-4419-BB05-41B54F6089BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0843e7f8e29d84aa6b7b4f9a110eadf9b3b1959","datavalue":{"value":{"entity-type":"item","numeric-id":1134541,"id":"Q1134541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610315$2B16D3F5-37A9-461A-8E8E-B8F28E1C6086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8066ed3aa0aa98d1eca5b35f5ca97452dccb5a3","datavalue":{"value":{"entity-type":"item","numeric-id":4863690,"id":"Q4863690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610315$522A2380-0949-489E-A441-76368804FAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29abb5a7232f6e8dd451e3b515a2566e5399de3c","datavalue":{"value":{"entity-type":"item","numeric-id":4282596,"id":"Q4282596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610315$B428E1F0-BD9D-42F9-A84D-4CCFB9B595D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610315$D187A8BE-6126-4B96-BAA6-E2D9F0888126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610315$AD9BCED6-B2AF-4FF8-B2F0-7E2A3F47474A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3472d7b3d0c9026291428d8313e0d54662bab90","datavalue":{"value":{"entity-type":"item","numeric-id":3129511,"id":"Q3129511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610315$C74B0C8C-E5C0-4999-9B6F-3C97C2884E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb87030458893ce6a5226c20f4768389b71ec39c","datavalue":{"value":{"entity-type":"item","numeric-id":2751362,"id":"Q2751362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610315$8B0690CA-9A9B-475F-87D8-D2C8CA75A945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb04700ed5e4dc9ae265f641db7ca870734b6df","datavalue":{"value":{"entity-type":"item","numeric-id":1382154,"id":"Q1382154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610315$5C39E3E8-0B29-48C3-9DB0-1E1E7EAD4EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b17ca5304b07e27db69bbaad41f776f31427c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997615,"id":"Q3997615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610315$EE24E955-FDA8-4BB6-A8ED-22F9D2BA8330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610315$9F9BBC69-B202-42DC-A17B-22238AE588D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610315$B4EE1C8B-896B-415D-82A4-CE7AE4EE5B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610315$6C4A2ED4-0688-469B-A747-0857066AC895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc6b29b63cbfe880f9bf2a91596baca592ab46f7","datavalue":{"value":{"entity-type":"item","numeric-id":1915187,"id":"Q1915187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610315$A106996B-9644-49F8-99A6-E3A81CE5F900","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1770677b007ac130d96a7cf5db2537ae6b21d9e4","datavalue":{"value":"https://doi.org/10.1007/bfb0027405","type":"string"},"datatype":"url"},"type":"statement","id":"Q4610315$A08EF97F-F910-407B-A868-4FAC622330CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad8e3d9229d005368e6ade3b689ba0cde74301d4","datavalue":{"value":"W153550655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610315$419D2609-BCE5-4579-8E06-549DCDDC367B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28295a14dc66205a976941e5d91f95a53dd8e33d","datavalue":{"value":"10.1007/BFB0027405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610315$77BED982-4ED9-4F45-82EC-7D0A1C66B623","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7595800180c50e4613b90bab15c1f043a3fa2640","datavalue":{"value":{"entity-type":"item","numeric-id":1904400,"id":"Q1904400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70bb300fb5a9b3cfcf1a1f51649139cf451a74c2","datavalue":{"value":{"amount":"+0.7313432097434998","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":"Q4610315$C161D37B-3ACF-4C8C-9231-ABA28C3CB2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b831efe4762ed863b6b406fbe78b5f5efccbf5","datavalue":{"value":{"entity-type":"item","numeric-id":4524782,"id":"Q4524782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df8a51915841d151be91f29ae385562e099bfbf3","datavalue":{"value":{"amount":"+0.7313430309295654","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":"Q4610315$A451C0B5-D1D8-4FBC-BF89-978F7BA4B4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdfbcc04764b13537f13a8b4cbc496f3e3252104","datavalue":{"value":{"entity-type":"item","numeric-id":4263022,"id":"Q4263022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35fa26f4cd08da3db89daf030fdb59b8939a4cc9","datavalue":{"value":{"amount":"+0.7294636964797974","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":"Q4610315$31260D68-FD58-4352-8E02-50CA23B6C43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750d093e8fb33f817a0b544ea58b5a93ef7660d8","datavalue":{"value":{"entity-type":"item","numeric-id":4524785,"id":"Q4524785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b793d0b8f4e7ee220b1f3e66e5e02ba470244f5","datavalue":{"value":{"amount":"+0.718938946723938","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":"Q4610315$25E5C7AC-2C66-400D-A08F-89FE66DA5109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b8536a3e17f2a494be1ecf93d3a1e7c672768e8","datavalue":{"value":{"entity-type":"item","numeric-id":5235250,"id":"Q5235250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b793d0b8f4e7ee220b1f3e66e5e02ba470244f5","datavalue":{"value":{"amount":"+0.718938946723938","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":"Q4610315$63232281-A178-4D31-9CEC-D649F91AF5EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lean induction principles for tableaux","badges":[]}}}}}