{"entities":{"Q4376065":{"pageid":6405664,"ns":120,"title":"Item:Q4376065","lastrevid":46997829,"modified":"2025-12-26T00:41:29Z","type":"item","id":"Q4376065","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114347"}},"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":"Q4376065$D472A569-1978-4A86-9AC6-FBB722D645DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bf47f11a7acb411b82be562be81cbc296a82f9b","datavalue":{"value":"0887.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376065$AF9069BE-4AB2-49A3-B9F3-15BBAB20E5DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b347c1d8ecdf364bbce1657b40174d833d0dfdc1","datavalue":{"value":{"time":"+1998-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4376065$E6B3CDE1-2267-40C9-9CEA-A406CBB4312C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376065$7F13B893-8134-43D3-BDB3-45F2F92BA2A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43bfa2c9490ebe0b2f138b5cc186bbaaa07abb13","datavalue":{"value":"1114347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376065$F4E38B24-B00C-42F0-99C2-3725139E2AD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376065$5767262A-BEF0-4591-B560-C354637BCCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b2b0732371d0f5d25feec9c1840e8478a4747ab","datavalue":{"value":"rule of existential instantiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376065$3909D938-55A0-4FCB-9A22-0E69384DDDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58a0c383a387b1f7bf6a0f5a1f896244b5448863","datavalue":{"value":"disjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376065$05193AE7-8CD7-4555-A775-B2093CB9C7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376065$1226C300-5EF4-49F2-9F70-8F53CA37050F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376065$41B56721-B4FA-4778-B456-3D01D5015F58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4376065$CD61DF0F-E509-420E-BD85-E90C892C0B41","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":"Q4376065$FD569560-EA24-439A-997D-23BB9892CF41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cdf1ad2a27c8a1e253a63a8c0dbac38534bd5b7","datavalue":{"value":{"entity-type":"item","numeric-id":1198828,"id":"Q1198828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62baae78c48a3360ff8a9abbf26785957b51c31b","datavalue":{"value":{"amount":"+0.7983747720718384","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":"Q4376065$B0C93105-6B23-423B-AEC6-DF81947238EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d1cb7f50ff15314687d4e9e68913f9827f827e","datavalue":{"value":{"entity-type":"item","numeric-id":2482841,"id":"Q2482841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"381037eedbd6cbbaa6b91ebbcaa3627fa513acf7","datavalue":{"value":{"amount":"+0.7331891059875488","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":"Q4376065$3C486CF1-10A2-4410-A5A0-ECE446F209FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ebc98968fdbec934667a7e957146a83b8a3171","datavalue":{"value":{"entity-type":"item","numeric-id":5213612,"id":"Q5213612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f8bb22a9d815f534c28e4b5ff6db0cb49e4d503","datavalue":{"value":{"amount":"+0.7311105132102966","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":"Q4376065$67B8A4DB-599B-4E90-932F-5D5F9470147D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2535b1517c541c95e14c717ef417610842c24782","datavalue":{"value":{"entity-type":"item","numeric-id":3094144,"id":"Q3094144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76062c35f9df7a22eecff541bdbdfd42c7737fd8","datavalue":{"value":{"amount":"+0.7253997921943665","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":"Q4376065$444D11BB-90A3-4575-8CB5-C47664A911B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4376065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4376065"}}}}}