{"entities":{"Q3977980":{"pageid":6007874,"ns":120,"title":"Item:Q3977980","lastrevid":47043049,"modified":"2025-12-31T11:56:30Z","type":"item","id":"Q3977980","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13446"}},"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":"Q3977980$E86F032D-738B-4E19-B0D6-7A2B4D7883CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb0872dd46b047006651c4d3f4593e0bd732d26d","datavalue":{"value":"0792.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3977980$29A41848-56ED-48DB-AFD0-53D491470DE1","rank":"normal"}],"P16":[{"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":"Q3977980$3ACB6771-B8D0-4040-B4D6-5C048FA8F2F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3977980$DB6E17FC-E743-4971-B473-403584FBBF3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3977980$50267A3D-82CC-4862-9634-5409135E8D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3977980$6386354C-9919-4D0F-A0BA-C5913FB3705B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0b86a34edc3feb2b2b7c9af2e9b909c2f716628","datavalue":{"value":"13446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3977980$F17C8DBD-8ADA-424C-8861-79F1CC744C81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3977980$2A79EF61-7E32-41CB-8B4D-14A02F29D102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcec466f29bac86724a6f68cbda2b87ff1504089","datavalue":{"value":"proof procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3977980$F854CEA0-0FDC-4ACD-8F20-22A01F0DDC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90058a5ce1a4b8b986d91b599dfc4118d04a6252","datavalue":{"value":"generalized induction hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3977980$6FE2D5C5-2791-478F-913E-809B5A1EFE1B","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":"Q3977980$D0643C2D-E6DD-4EEC-A7C7-73A47C09A247","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e167de97ef55769719ab1c40a9aeba364b051c2","datavalue":{"value":{"entity-type":"item","numeric-id":4269904,"id":"Q4269904"},"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":"Q3977980$9BE30EB1-1CC8-4244-9043-A339CF49A635","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":"3a79800870a290d21d00a3a7995b9f2009e3d985","datavalue":{"value":{"amount":"+0.8066698312759399","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":"Q3977980$9828544C-E8C1-41EF-A0E7-ED6F8C4985F7","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":"57aa0f06115c28b9c12d561b165e7de3a9480ea8","datavalue":{"value":{"amount":"+0.7984583973884583","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":"Q3977980$CBD2E79A-A555-4088-BC0C-1589F9C3FA77","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":"8434a5cb272fb2b4fd053e30fc345f5c21830adb","datavalue":{"value":{"amount":"+0.7933962941169739","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":"Q3977980$D06EC372-287D-40B2-8691-756B35C27EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98ce8bfac77ad8990a4b43d6f86774fb9254705b","datavalue":{"value":{"entity-type":"item","numeric-id":4013816,"id":"Q4013816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1295bd83f9ee4a5ab1d5162df2df8d72127455d","datavalue":{"value":{"amount":"+0.785168468952179","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":"Q3977980$0323870B-DB43-4A98-8E98-80F1345CE03B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3977980","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3977980"}}}}}