{"entities":{"Q3772185":{"pageid":5802091,"ns":120,"title":"Item:Q3772185","lastrevid":52076060,"modified":"2026-01-20T21:32:29Z","type":"item","id":"Q3772185","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4031641"}},"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":"Q3772185$DCAD12D9-DD06-4DD0-9AC6-DF1B7419FF04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8291b02eb45bb33edbd0bd6c08d4901166e16d8f","datavalue":{"value":"0634.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3772185$B94B9208-E130-4A17-BCA3-1516D8906EA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fdb89b3d76916071db859e5d9fbec62c76029a4","datavalue":{"value":{"entity-type":"item","numeric-id":484966,"id":"Q484966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3772185$9699CA6A-B774-443E-9B6F-39491F92B9D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3772185$B683EAE5-6049-4772-9031-C831478BB8DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3772185$A86CC988-D721-4194-8683-71C6BD96EF66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"538b3c9d48e8752578c25c38b24e520584f53eeb","datavalue":{"value":"4031641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3772185$13997A5C-E39A-46CE-8A66-FBEFF065E8D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"977a99c5a536691f71eef5133cc6d86aff53eb12","datavalue":{"value":"De Morgan lattice logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3772185$1E879E5A-B32A-4FB1-87FD-E5AD05A9FA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e4123b6ad0a2aec046a9175a13c1fcdad3bb7a","datavalue":{"value":"First Degree Entailments","type":"string"},"datatype":"string"},"type":"statement","id":"Q3772185$F3E1626E-2EFB-44EB-B35E-39AD649B7EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1ddba8a261ad89e867807655f2b766fcfe80ff8","datavalue":{"value":"Gentzenization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3772185$66C1E4D0-06CD-4B0E-BF9C-982CA599ECD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9045d00fca0b844c97acc744b88fb3c6901893e8","datavalue":{"value":"Gentzen semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3772185$82434043-3D48-4359-9EBF-F252E0A29A97","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":"Q3772185$321000D3-D95F-494F-AA1F-E66A2E88A7CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4a1328b7a3864d26a2a7e6fd4e837c6109bd8f0","datavalue":{"value":{"entity-type":"item","numeric-id":1682294,"id":"Q1682294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2338ff75ce9d6c18854874bcfd5b74f691f4c90","datavalue":{"value":{"amount":"+0.7367702126502991","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":"Q3772185$030F7A39-9D44-4850-AFA8-8613B5C4B535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d84ea3386319ad5b8ba6871f89a32b8488c03502","datavalue":{"value":{"entity-type":"item","numeric-id":4340541,"id":"Q4340541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"330950f74c27eb61c9e5187893baaeb094fbefba","datavalue":{"value":{"amount":"+0.7343682050704956","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":"Q3772185$E783221E-F74A-49C8-8346-88F9325DC686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca17f0a408db332854daebe0c6d58362d3e32fb","datavalue":{"value":{"entity-type":"item","numeric-id":5115671,"id":"Q5115671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886a18e52a6d99ed7bfc477cd32fc7521aa6f4b3","datavalue":{"value":{"amount":"+0.7331013083457947","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":"Q3772185$B65E485F-67EA-41AC-82A4-4BDBC2E8818F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00351a6a17ec2489563cefcbbbab63104bfe397","datavalue":{"value":{"entity-type":"item","numeric-id":4598506,"id":"Q4598506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29b4d02493af58836961f8e2c7293cfb9c850ac5","datavalue":{"value":{"amount":"+0.7316138744354248","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":"Q3772185$EB0D4F87-D04A-4E80-8E06-27817208B96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e501ddb7d06160e5a87a1f82d8797481f0b75d66","datavalue":{"value":{"entity-type":"item","numeric-id":1653653,"id":"Q1653653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"236850ba5a67eb0b3d63a1173b126aa6af644cb7","datavalue":{"value":{"amount":"+0.7208839654922485","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":"Q3772185$E738F398-E408-4A57-884E-CDBEF31A1BFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3772185","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3772185"}}}}}