{"entities":{"Q2117657":{"pageid":2128400,"ns":120,"title":"Item:Q2117657","lastrevid":43521884,"modified":"2025-07-30T14:00:53Z","type":"item","id":"Q2117657","labels":{"en":{"language":"en","value":"Say no to case analysis: automating the drudgery of case-based proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495101"}},"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":"Q2117657$E9A5703C-DAF2-43F1-9181-B3694A58549C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b926b4cb3ea52bf37b742d4b7be06aeec601913a","datavalue":{"value":{"text":"Say no to case analysis: automating the drudgery of case-based proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2117657$F8CA522F-CCB3-4480-9314-99D2BB0FA7AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"292fed05ba9dfc5d80e602bde8392eec1b6dd6e0","datavalue":{"value":"1495.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117657$A1D7522C-14E4-4CCE-83D7-A7FCA2FE01B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec2684e5dcd3d1e188691da5e48aaa3a295ce7e6","datavalue":{"value":"10.1007/978-3-030-79121-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117657$CA778337-04C2-407F-B4B8-CEA4B66411F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2117657$73C36771-C2B9-4D24-88B9-66774A77EE45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117657$F6D2D243-6693-447F-BEAB-92D4DC49473F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117657$DB49F103-1165-4091-BACF-A92C617F8071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9b4007f0c087172381c0f8947692b9ca40f7960","datavalue":{"value":"68V05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117657$91F105CD-85EF-4327-B421-D2567194C3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117657$AB929D50-5433-4FAB-8AE3-3EA7CE02CEA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0877c2996c99e92c8c88b33078875245fb00697a","datavalue":{"value":"7495101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117657$808D9251-3467-4A9B-9CCB-CBFF89864E72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117657$51CD2638-E4A9-4B8D-B91A-3CD7A39F8717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117657$8D8E68A9-1319-4128-903A-DAE4C4684AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cf92167c239f0e2161371a88a06bae3b30be2fd","datavalue":{"value":"case-based proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117657$4BFAB4A9-7D18-41C1-BD62-915604810969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117657$AB59B90D-7FE1-4C10-B0FC-4B05187EBB3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acbe3fcdaa2e72f3bce067779bfee150bff0b503","datavalue":{"value":{"entity-type":"item","numeric-id":405317,"id":"Q405317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$D5819416-F1D1-43FE-8FB1-A3DBFD163D91","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41206dcbcbeae462e666a06f6cff03ec3cba83dc","datavalue":{"value":{"entity-type":"item","numeric-id":41836,"id":"Q41836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$B1064ABC-2293-4A15-BDC1-C49EDD52B9BF","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":"Q2117657$704D59EA-C1A8-4B52-8EAC-24684D74D5B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b0b18b8debc78eb787859ac4902fb2f9d1e7417","datavalue":{"value":"https://doi.org/10.1007/978-3-030-79121-6_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117657$232D6231-E4E0-40EC-B810-022FFD513703","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6332ba4d2e018a7254fac5428986b5d33c33771b","datavalue":{"value":"W3176533159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117657$8A4DD749-D0DD-49E5-95EC-365DFE00AA6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b954a6d36c35375c9d752a6c89d24010c2ccb8d6","datavalue":{"value":{"entity-type":"item","numeric-id":5891435,"id":"Q5891435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$8EEF7136-7AD7-4BB6-899A-E17F170DD765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695659329ba6a827f01cc683284bdda9a8476d2e","datavalue":{"value":{"entity-type":"item","numeric-id":3993359,"id":"Q3993359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$ADC3097B-E9F2-4DA7-BC18-0D3E0ED748BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de29fbd20c178037317006e502680133b13a6d7","datavalue":{"value":{"entity-type":"item","numeric-id":1326952,"id":"Q1326952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$FACC0F40-D2F7-4D99-A559-C55473E6651A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac07206711803f76b1ef0d7bd22c32c0f5913f1","datavalue":{"value":{"entity-type":"item","numeric-id":2855749,"id":"Q2855749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$95579593-9162-4B26-86C0-882FE21B0224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8974ff14ff73634642532bf9565fe4edaeea8d6","datavalue":{"value":{"entity-type":"item","numeric-id":3177730,"id":"Q3177730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$03EE091B-1238-4849-A4E7-790EAC3880DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047aa43ed73756ce47a15f42e62591e968327941","datavalue":{"value":{"entity-type":"item","numeric-id":3549293,"id":"Q3549293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$0A50B6B5-1784-46F1-B778-C32FCB227764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3cfad2b797cd7503ae7db30ec1d12618a9943a","datavalue":{"value":{"entity-type":"item","numeric-id":5507527,"id":"Q5507527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$C479027D-E442-4E34-93D3-CE8A04F6861B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f9ca5907940f83f89f1617231572df8cbec4ef","datavalue":{"value":{"entity-type":"item","numeric-id":1394229,"id":"Q1394229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$8A464704-CFB7-4CB1-B437-D124A2A1BF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504d75d4bcde44d0f396ab03e1030e5eb6f493cd","datavalue":{"value":{"entity-type":"item","numeric-id":385043,"id":"Q385043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$B54CC6BB-9011-42DF-802E-4867D13D97FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff4671f2bd3d67b63595a6ce8e3b37ad636cd58","datavalue":{"value":{"entity-type":"item","numeric-id":4164353,"id":"Q4164353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$CBDCA604-C803-4744-A8CE-E24F6210287C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7012bf2c8e1ba10cf9896acdd463864da284937a","datavalue":{"value":{"entity-type":"item","numeric-id":2818017,"id":"Q2818017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$0A7A92F1-A631-4B15-BD33-75281B2B8D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99b1ce60a30051609734db1868541cf614e70c7","datavalue":{"value":{"entity-type":"item","numeric-id":4970126,"id":"Q4970126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$43AC5411-A82D-4415-9476-8A29E61C9364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612eac53f5721ef75b98bf1af6e2c92e3b1ca8ce","datavalue":{"value":{"entity-type":"item","numeric-id":5005118,"id":"Q5005118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$200125C8-5BAF-43AF-98BA-52ED65CF7552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57c4ec75eb1df7410ececc1deecb107ec91c8a62","datavalue":{"value":{"entity-type":"item","numeric-id":4875364,"id":"Q4875364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$2EE333C2-0C0B-4D3B-8519-465468A22D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f7332bf53f0862eebac784e8ec05bcb07e5804e","datavalue":{"value":{"entity-type":"item","numeric-id":1987517,"id":"Q1987517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$19067478-117A-4E77-8F62-E4718C356647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0158433b6951c0a53b47aa85191b81209d16cc51","datavalue":{"value":{"entity-type":"item","numeric-id":3304153,"id":"Q3304153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$481FCEEB-B9A9-4E94-9F87-E861CE6E5662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e83a3ebd9aa34d575dacc4d922f92d2b53e5d23","datavalue":{"value":{"entity-type":"item","numeric-id":5710443,"id":"Q5710443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$FE707873-2B45-4A5E-B93E-4F47EEDE6AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4faf8c35ca7087d25df52554d67121486ff28f3","datavalue":{"value":{"entity-type":"item","numeric-id":3561297,"id":"Q3561297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117657$5154DD9F-19BA-467F-BED1-37A6580D7751","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2117657","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2117657"}}}}}