{"entities":{"Q4269904":{"pageid":6299505,"ns":120,"title":"Item:Q4269904","lastrevid":46816569,"modified":"2025-12-25T15:55:57Z","type":"item","id":"Q4269904","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1360950"}},"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":"Q4269904$23573490-A93C-4802-9C16-607C83663006","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"772dcc6ec78107b9f7067883f30767394004b324","datavalue":{"value":"0937.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4269904$5B9DD2C0-1EBB-49EF-946D-4FC5AA3851F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15eb5184eed6171183272b5878d17955f43c3d0a","datavalue":{"value":{"entity-type":"item","numeric-id":4246464,"id":"Q4246464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4269904$BF792471-6FCD-47D8-B777-D67BF8F2C042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fdd3879aba9a009814805a11641c86b3597814e","datavalue":{"value":{"entity-type":"item","numeric-id":2203652,"id":"Q2203652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4269904$EEF97419-772F-46FC-A94B-F32EEE3DECC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f85394037e304830a2de23d467ba1be222952a75","datavalue":{"value":{"time":"+1999-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4269904$7BF194A4-6971-4C76-A6F0-25D0147526EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4269904$C940127D-D7D1-4657-9580-B3AA329E62AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4269904$BAB6033D-523A-448C-8755-7E0A60E4F33F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59a95b1926d2e12044fefff63a81ec9c57be9522","datavalue":{"value":"1360950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4269904$9DD0E83A-0CF4-4ACE-A271-2A33B1AFD951","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48069b6017062814f0dd1b51c056bb4a8ad1f6d3","datavalue":{"value":"efficient proof procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4269904$7CC06B5B-6B91-466C-9EF9-5C7E0808AD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc0a06ffadbc917396a626e33a9a5489bfbfb917","datavalue":{"value":"automated theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4269904$5708B18F-7754-4DC7-B168-4F8E52EB18A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb506e5273bb3b6665ea8b2e8e12cd089d529cae","datavalue":{"value":"generalized induction hypotheses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4269904$F4688760-EA8F-459C-AA3B-C25CA59DF822","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":"Q4269904$C9C881F7-2B8C-4731-B485-F2FBE868A59A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a61c96f7f35c4db5dcad8ab932e96a4276bfa605","datavalue":{"value":{"entity-type":"item","numeric-id":3977980,"id":"Q3977980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9519deec802169b9e625eb15bac77fd76f157502","datavalue":{"value":{"amount":"+0.976651966571808","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":"Q4269904$BBC9DDEB-2CE8-4AB7-BD33-17051F309733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2565d9e77d9b51b905daa5bfbb63ce859f62d93b","datavalue":{"value":{"entity-type":"item","numeric-id":3345811,"id":"Q3345811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0217c174ecb99da2c90041a360791dc75df69b","datavalue":{"value":{"amount":"+0.8234041929244995","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":"Q4269904$042FC4EC-A7E3-430E-8C52-07E71656F7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc908b5a67bc17bd2b3b9d7e3d3d9681aac12d3","datavalue":{"value":{"entity-type":"item","numeric-id":3781734,"id":"Q3781734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ca2012a5b4ad882477e74b7cf76f79d336309b","datavalue":{"value":{"amount":"+0.8072017431259155","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":"Q4269904$ABF54BED-9E04-41DF-9182-8B06F8B7B8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704d8235220b4b648e3548c46c45ac17ea651023","datavalue":{"value":{"entity-type":"item","numeric-id":4013071,"id":"Q4013071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"426cd9794c2988c5a8b2176557861d1ffba06360","datavalue":{"value":{"amount":"+0.8040302991867065","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":"Q4269904$D432E30A-DD12-4389-84D3-EE39B5BFC4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d17b1eecbcdc95803b8573d7e6232291d09bb3f","datavalue":{"value":{"entity-type":"item","numeric-id":4733440,"id":"Q4733440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3df8beaf458e4babf6e0e46a83503d064133023","datavalue":{"value":{"amount":"+0.7901614904403687","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":"Q4269904$BB6F96F0-5BF4-445E-A773-88D479D6E84B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4269904","badges":[]}}}}}