{"entities":{"Q4647499":{"pageid":6677080,"ns":120,"title":"Item:Q4647499","lastrevid":53320883,"modified":"2026-01-24T17:43:33Z","type":"item","id":"Q4647499","labels":{"en":{"language":"en","value":"Extensions to a generalization critic for inductive proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001893"}},"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":"Q4647499$881C9984-8CE5-4C51-9863-6A697FE66148","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0464f1193c373b76f1adef55680902e8ebab82f","datavalue":{"value":{"text":"Extensions to a generalization critic for inductive proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647499$8DDDC6A9-8FE8-4A62-9BFE-4D8D151114FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cb3aef1359f79d728cd2822f32978f6c70022a1","datavalue":{"value":"1412.68238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647499$AB871FBD-47BA-4CCE-BBA8-5B55B464605C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8effab585ba22721ac1ce526f6115a6f4561f092","datavalue":{"value":"10.1007/3-540-61511-3_68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647499$2EE5A046-182F-4BCD-933C-C1FB0E5601DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"982d9eb1fc0eb5fc17fd1d5b1b0dc7d42b2233e1","datavalue":{"value":{"entity-type":"item","numeric-id":685547,"id":"Q685547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647499$8A384B89-8490-439B-BCBF-6B906ADDDD48","rank":"normal"},{"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":"Q4647499$098B0467-6EC8-43CC-84F8-BF405287292E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647499$B5C76CC3-08C0-4CCC-8B55-2DBFBC065EC3","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":"Q4647499$5624F78C-4C17-43BB-AC07-BC0C5483991B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77463ef7220345d94a0d4859238690076669cde7","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/411724/Extensions_to_a_generalization_critic_for_inductive_proof.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647499$E0119D72-CCC3-410A-BA25-8C36B97B6A98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647499$E680EBE7-B953-445E-BBB9-619442BBF643","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd7a283403202c235c3712ffda90f3d2eb5f6b06","datavalue":{"value":"7001893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647499$8B50CEEC-15EF-4576-B10A-885A2840F591","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d22ad190f44deb181d361736db836e6babb077b0","datavalue":{"value":"term structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647499$81E20E96-33C5-4F82-A54E-1ABCE3540B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d3b498723c78fdfec3da9230e16d121130aa0a","datavalue":{"value":"basic critic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647499$274CAEBE-DB78-4638-BC2F-F6CAED55B819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e7570fe1ab591c11640c69b073c4dbc2a3bc783","datavalue":{"value":"inductive proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647499$B64FF709-B414-481F-A4A5-90B46492B4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647499$48CB8FDD-6CBC-49FD-9B55-E4E236DA0A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"effe0ddc6e754cab8840a6db19a4e47ff34c319a","datavalue":{"value":"extended critic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647499$377EA5CA-D687-437D-9403-30760981D30F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f10e7acb77aa2a053602f0044c4781346f0cbb55","datavalue":{"value":{"entity-type":"item","numeric-id":31444,"id":"Q31444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647499$D0745B76-10AE-4EC8-AB5A-54D327A96F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a49c6eab3f20625da110b159712fcc58d765d3c6","datavalue":{"value":{"entity-type":"item","numeric-id":31454,"id":"Q31454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647499$1F151E31-A594-417E-A9D5-F3D9C2A52F6D","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":"Q4647499$B800D8FB-2255-4A1E-8D7F-11B727320EEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5080509dd15e092776b8ae545aac972baa084801","datavalue":{"value":"W2135869557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647499$0DF2B1B6-393F-4912-A598-ED1C842C683B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6145ee3ad7ead0384969628693267a5884274057","datavalue":{"value":{"entity-type":"item","numeric-id":1915137,"id":"Q1915137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647499$7D9F5908-8A54-4C50-9731-BCA6A39BA054","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":"Q4647499$22DC9CD8-B149-42BF-8888-693FDCCFA0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a238ed6c54d87ec163b1a7cb181d6ef07206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3804239,"id":"Q3804239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647499$9AA23E3F-D219-4E8E-97D7-9028EC2E97C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91a62fc73d328b39f05fc8fae0c1a2a5426db9a","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647499$283A8740-0AE7-4FBD-99A7-3AD2B19DBDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647499$1711D05D-7FC6-4597-8463-B26E9EC3FDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db98659fd0d8d989353341e0c12c4246dfe6ee1","datavalue":{"value":{"entity-type":"item","numeric-id":1915134,"id":"Q1915134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647499$92FEA7D0-1A01-49CE-BF34-097D62B6FD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78529980a5954018f5a0a13cb9282bf059b803fb","datavalue":{"value":{"entity-type":"item","numeric-id":5525322,"id":"Q5525322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647499$E9331944-2EE5-4FE4-AB38-DBDA0E08D65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb40eaffa350ac2f00c7522e92d2e0a632635b28","datavalue":{"value":{"entity-type":"item","numeric-id":6488570,"id":"Q6488570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647499$4D5EB9AB-E722-4B1D-B283-161B17AB5603","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae60f0b1a9cf74008aa39c89b7d03541b43f8ff","datavalue":{"value":{"entity-type":"item","numeric-id":4386948,"id":"Q4386948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47a1fd568df6a37ac1a8a60269cd447bf86b00a9","datavalue":{"value":{"amount":"+0.8026493787765503","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":"Q4647499$1F92413B-B8FE-4075-B5AC-DBDFDC81BA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6643cdaeecc61674f5521175c5a4d4e991c9f7e6","datavalue":{"value":{"entity-type":"item","numeric-id":5210759,"id":"Q5210759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b69689773482f0fff27991883eebbae7bde50b7a","datavalue":{"value":{"amount":"+0.8001331090927124","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":"Q4647499$573495CD-69FC-488C-8554-5DCACB5E934B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88a3cfc856daad835529caa810c632aa4871286b","datavalue":{"value":{"entity-type":"item","numeric-id":6488527,"id":"Q6488527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3270e5a057234bae1a9f3486271ce0d9d62f659","datavalue":{"value":{"amount":"+0.7811827063560486","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":"Q4647499$ADDA4DD0-5DE8-4C76-AEB8-F8B491323E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f4a33713ee93297dd474c1466d58d60ff40e3e5","datavalue":{"value":{"entity-type":"item","numeric-id":4484340,"id":"Q4484340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6056498ec3ccc720fd2a0604ccd83ba2c6b2c56","datavalue":{"value":{"amount":"+0.776978075504303","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":"Q4647499$5C3F7F08-4AC9-431A-9CF8-107BE72DF873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77388ed30caccd94e4d02e8a9238eb44a48da01a","datavalue":{"value":{"entity-type":"item","numeric-id":1882908,"id":"Q1882908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f20adbaa51c9b3126246b6fba5db6b141a409bac","datavalue":{"value":{"amount":"+0.7535822987556458","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":"Q4647499$42113B6D-6724-4CA9-9212-523FF0ED4752","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647499","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647499"}}}}}