{"entities":{"Q4596787":{"pageid":6626372,"ns":120,"title":"Item:Q4596787","lastrevid":58288695,"modified":"2026-04-04T14:13:20Z","type":"item","id":"Q4596787","labels":{"en":{"language":"en","value":"Some observations on the logical foundations of inductive theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6816931"}},"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":"Q4596787$44D85517-7FBE-4DEB-AAAA-C273022A843B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2317850746899f6207723782b20ab39ea9545db","datavalue":{"value":"1460.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596787$6EE7AD7D-4C69-4896-A802-AA9688BBABD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd8e171f3916561d75ba1d5e0eb3deb635fee2ef","datavalue":{"value":"10.23638/LMCS-13(4:10)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596787$C0C0150C-71F5-43EB-B44F-D973EA70FB1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac16dcce5f3df8b1bf1087e5a90fdae80fa7a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":402112,"id":"Q402112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596787$06CEB99E-F4AC-4136-9F34-18E842F3303D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e343647324d24e95cab6cdd0a07fe0feaf1a32d1","datavalue":{"value":{"entity-type":"item","numeric-id":334990,"id":"Q334990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596787$FB7D5019-79D5-4C72-AFF3-2A327332DC11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1abf00e7511afcb97fc436b2efb2d85d50713e","datavalue":{"value":{"time":"+2017-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4596787$166A7672-2EC4-46B2-8CF2-8F83CBEA275F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"648591c5886daecdb26145000fa0a80ab8d5e306","datavalue":{"value":"https://arxiv.org/abs/1704.01930","type":"string"},"datatype":"url"},"type":"statement","id":"Q4596787$75BDD778-303F-411F-A00B-6895AD583AD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596787$7998BD33-C676-49C6-8DF3-EFE266AB0376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596787$B9F4940F-950A-4779-A8C1-2BA57C025031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596787$8B5ACB39-388B-44F4-A205-102171E4F98C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7f4e3c6a006af90dffb6080c4256c7f99ae9a3d","datavalue":{"value":"6816931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596787$9FB6E38F-6C32-498E-997C-E6AE88406169","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa6792ab787021778f5f20cba1d78917f3fc46dd","datavalue":{"value":"inductive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596787$3413C068-CBB4-40CD-A5BE-849089303BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e60a25e0b382ce6c08289459559aa1a0708f76","datavalue":{"value":"arithmetical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596787$C19318B9-99F9-48D4-B26A-BD14A2392FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596787$460991CB-5104-4716-9A75-C5AA77E55054","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":"Q4596787$B9CF13A8-64DD-4549-AB1C-713D21684537","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e67eac21f86fcbd3cb97fcffc270f13a4edadf6","datavalue":{"value":{"entity-type":"item","numeric-id":2344621,"id":"Q2344621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"655a2c4ccf406ae8e57b30cadd1a341bb6a2d83e","datavalue":{"value":{"amount":"+0.7640919089317322","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":"Q4596787$E5025DA4-8240-43E6-B77F-CF0916A8A8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f526b6a28ddf2cb534a6866603da2fc2497adc77","datavalue":{"value":{"entity-type":"item","numeric-id":2848043,"id":"Q2848043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82969fa218815cb72d380340a3b19fd803be6098","datavalue":{"value":{"amount":"+0.7547552585601807","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":"Q4596787$03F6B3F7-9CD4-40F6-8250-C0CEE08B194F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51852894019aff4da996e23e31ecb38fe929c33b","datavalue":{"value":{"entity-type":"item","numeric-id":2751365,"id":"Q2751365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17847dde1385eaee5a1400086d056c9cd7c903b1","datavalue":{"value":{"amount":"+0.75455641746521","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":"Q4596787$08D00520-D019-4C0F-8CB2-9C27EA1B7BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dedc1ea2579d58dc468d1438bcd2d4b0bedb07da","datavalue":{"value":{"entity-type":"item","numeric-id":2303240,"id":"Q2303240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17847dde1385eaee5a1400086d056c9cd7c903b1","datavalue":{"value":{"amount":"+0.75455641746521","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":"Q4596787$D69E0F01-CCF2-42E3-B2D4-0FB2F7971B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fe49094536a6000a6ff11386d0b3a35de5c58c","datavalue":{"value":{"entity-type":"item","numeric-id":1103415,"id":"Q1103415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99189deca35d6d0cb9804158fbc496412a566a9e","datavalue":{"value":{"amount":"+0.7506716847419739","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":"Q4596787$1F90B1C5-430D-4A55-8177-364CBD13D36A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4596787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4596787"}}}}}