{"entities":{"Q3816070":{"pageid":5845976,"ns":120,"title":"Item:Q3816070","lastrevid":53799467,"modified":"2026-01-25T18:02:07Z","type":"item","id":"Q3816070","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4087657"}},"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":"Q3816070$71AC700A-999E-4C7E-9FB7-0176EFAA5829","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9ab25f9d5a825324b706e79837b92cb9bd8adf3","datavalue":{"value":"0665.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816070$21326560-DAFF-4D16-9285-30459CADB221","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c202384c22915715f42b7278cfa2bc8d6926211c","datavalue":{"value":{"entity-type":"item","numeric-id":684959,"id":"Q684959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3816070$B1114215-9562-4FD7-80BE-03B1280F8073","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3816070$249EFEB3-B009-416D-8CF9-87D951879D34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816070$90BCE37E-CEE0-408B-822D-22B2CBCE449F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816070$B9415593-3AC2-40A8-ABD9-74F6BCDC78BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09dc977cbb14e25f6f7e961ec3aba0b2af31a8cd","datavalue":{"value":"4087657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816070$E3D1EF4E-F0CB-461E-8718-786B12842E27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816070$20A26972-BA67-4C78-BE4D-0826C08025BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7c25a891d65286fe8857d6f0370c1a006723f28","datavalue":{"value":"length of derivation scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816070$C60C9FBF-31D0-42D3-B321-9C4D5EFD59AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4452a2aa3c9034a1b25680baef4924145db5d2da","datavalue":{"value":"heights of terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816070$30B3173E-0F5A-4EAB-A1CD-F97758149F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d120d8d8d5d3675367fb745bb12cd707df971f5a","datavalue":{"value":"Hilbert's predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816070$B2815D09-02C7-4E94-ACD3-F4632B3AE39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db30a59ab186bd1de9bd036d852f96617b0edad","datavalue":{"value":"Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816070$A402A47D-A43A-4FAE-8E9B-F84FD0700751","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":"Q3816070$78836DFD-5879-4D76-BD47-F4995D20D40D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4174c62b7c21511ab671733659148743a7870e3","datavalue":{"value":{"entity-type":"item","numeric-id":5187274,"id":"Q5187274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d34d4f1cc6f7c7b7ea66378571ed85e36224bf","datavalue":{"value":{"amount":"+0.8504942059516907","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":"Q3816070$24B2139E-5DFC-4622-82C8-E527DC7AFB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86f03f236bca73a7a1f1ff66f7ba7911a4c07a58","datavalue":{"value":{"entity-type":"item","numeric-id":1183598,"id":"Q1183598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e2e695a3306d623342df68710dcaa556bf9cce","datavalue":{"value":{"amount":"+0.796437680721283","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":"Q3816070$E4CA6B5A-4920-4B9B-A37C-1758006EB4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cf88362f6428d5d0299f9f394699d6f8456b3bb","datavalue":{"value":{"entity-type":"item","numeric-id":2368983,"id":"Q2368983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa3d910eb88374e536adc1834765ab241a53741","datavalue":{"value":{"amount":"+0.7725520730018616","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":"Q3816070$C92B1AA2-3231-4D78-99C8-25345A98669C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"296db2e9045abbdae4723510f4b0fb9ac88887f4","datavalue":{"value":{"entity-type":"item","numeric-id":2892684,"id":"Q2892684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c62e1556bb5e34a7bc9397fbff0b3bd71c10a90","datavalue":{"value":{"amount":"+0.7694661617279053","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":"Q3816070$F174604C-174E-4A26-931C-1F26A19AF572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8acb201e4f84be34fd78b46d2ae7a9888529e0c","datavalue":{"value":{"entity-type":"item","numeric-id":3997528,"id":"Q3997528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9ee37f86ee33afdd69473db6915a90eb380eaa","datavalue":{"value":{"amount":"+0.7463611960411072","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":"Q3816070$15FDEECF-3FA3-46CE-BD13-EA490613D05F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3816070","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3816070"}}}}}