{"entities":{"Q4375791":{"pageid":6405390,"ns":120,"title":"Item:Q4375791","lastrevid":46994097,"modified":"2025-12-26T00:33:13Z","type":"item","id":"Q4375791","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114022"}},"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":"Q4375791$47CC9036-5C70-4355-BFED-D8A15A2CC8A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"640278611f9505b1a2e3d443e187fb96c7f51e88","datavalue":{"value":"0890.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375791$DA3FC1C8-0349-45C5-BE44-D74714BD78AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7760d2294608b8a183e8edcaea7081a99d31bc21","datavalue":{"value":{"entity-type":"item","numeric-id":293308,"id":"Q293308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375791$5C659AB6-9049-4A2E-92F1-807BF0D4EB8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f680ab37822a66c306de184badf1c6b2f8f85485","datavalue":{"value":{"time":"+1998-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4375791$CF02B1EC-E8D9-48F0-904D-53C4E9DA1045","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375791$B080E5BD-6C1D-48C2-8ADF-4651B048B9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375791$81B1D736-4212-4D70-A306-C0D4F243B8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375791$064AD4F6-5C71-4298-B02C-A52ED64CBF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375791$00A9097B-56F1-4DD4-B67D-CFAA14943CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375791$869FF7C6-F25F-4526-9D07-F19932FE6776","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28bee33f781d4bdd26c9ad59f47f2fa280706baa","datavalue":{"value":"1114022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375791$0D00BEDE-2C95-4E35-AD1C-C3ADA5D006C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b24e51e460d663f6ecf18860b761adb8bb29e572","datavalue":{"value":"propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375791$3423A0A3-E9C3-4B9A-8027-7BEDE958086E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28d2c47aece1848c303d2ac0d6d1faef93af5699","datavalue":{"value":"equational calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375791$2A13007B-9E2E-4AC0-B4F6-0F8CFF0652E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375791$001385DC-825B-45BB-B98C-028005936251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375791$6E7544A3-1756-49D2-A9FD-C7476715D43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02239069ac09d124f244b1b101636e46b0e6541d","datavalue":{"value":"threshold connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375791$595A35D8-144C-404B-89CD-76B63AC77BCC","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":"Q4375791$67FA3D3B-C168-46BB-A15E-3DA4CE0D1712","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e739322afc444067f1e47cd79cc9275f485d42","datavalue":{"value":{"entity-type":"item","numeric-id":4527041,"id":"Q4527041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36b9f75f4f57b3595dac6169fea7799c73b5ded","datavalue":{"value":{"amount":"+0.7550686001777649","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":"Q4375791$48B9DF83-AD2E-44B8-9E18-B41C68126CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"045e1726bef472b5048e086c8f8115678a1b9781","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05dcf80fd53b5e25e206c4d0bce06ee05519e5f1","datavalue":{"value":{"amount":"+0.7549237012863159","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":"Q4375791$5CA489EA-0100-442E-83AE-8185A0E6F38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a71db7b0f6d1d263e0d7ae3afa9d94db29aba7f","datavalue":{"value":{"entity-type":"item","numeric-id":4617974,"id":"Q4617974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9d756d6c750254086072b1490657952d2b5b25","datavalue":{"value":{"amount":"+0.7510123252868652","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":"Q4375791$0A3B5CA5-6D3B-428D-80F8-45454B6A1A84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4375791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4375791"}}}}}