{"entities":{"Q4790400":{"pageid":6819980,"ns":120,"title":"Item:Q4790400","lastrevid":74639133,"modified":"2026-04-14T23:42:42Z","type":"item","id":"Q4790400","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1860672"}},"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":"Q4790400$B0C4067D-3643-40DE-BD0E-CE2220C98049","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05b0e00c057dc4f6ec7ea71b07b56edffe28a107","datavalue":{"value":"1013.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790400$A8292547-CCCA-41EB-9846-6800A2E5B8C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd6a40ad54574dfdc72407e5223fefee18b3ec7","datavalue":{"value":{"entity-type":"item","numeric-id":647404,"id":"Q647404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4790400$71B052FD-94D4-47DE-BC83-84B709811C91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b207c1273cf7ff8fe828241fbe05a3c2d556c54a","datavalue":{"value":{"time":"+2003-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4790400$B47ECA7C-D0D6-4553-B856-E670B96B1C7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790400$D9BE79AA-5F02-44C2-85DD-00536A8B6C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790400$08E4DA67-4D88-4B23-B342-82A4B1A309FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790400$0185C134-0D70-48B5-9ADE-B07D7808A04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790400$D786B3A3-BB2A-4D45-BE68-60702ADC94C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790400$7AF4D196-679F-4932-AFB8-3DFC7EBFE1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790400$CC8ADF42-9CD4-49EF-84B0-A363CA296973","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21a53d90ae8b54b4e99a0d2878841bb11331d21f","datavalue":{"value":"1860672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790400$E60F3C9F-1A4F-48CA-9934-3D3AB99BB358","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4790400$27C258B9-9A5C-460A-A49E-37E8C3944923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4790400$CCA6B853-D457-4CA8-AF87-19C68E05C7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e58aac01cf5e3529f6b19517106b5d7906ce9a82","datavalue":{"value":"complexity of propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4790400$D6680C63-B7A1-41A6-AA55-B4AD509DD48C","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":"Q4790400$66E9FB6E-8ADC-47FF-A878-6F31424BDBB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2414746d0c17a096536954eb7fca1268bd6b97","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a714837935ec2b65db2bd9ae6b40caeba84298","datavalue":{"value":{"amount":"+0.8823246955871582","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":"Q4790400$77AFE9EA-B9B7-4402-BD66-BA24A2CA4358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e7f0ad797cd6e1343cb88e23bf4234230c9254","datavalue":{"value":{"entity-type":"item","numeric-id":4790380,"id":"Q4790380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f381bc08f25f678b10d05ffb64f629a44c4039","datavalue":{"value":{"amount":"+0.853973388671875","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":"Q4790400$187DE75A-267C-400C-8ECB-CA369678FEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede333e06f1da3162b3a541fa4bbf91926fc13b5","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9524a8eba28caaf2907096f8359f6166c1f2c6c9","datavalue":{"value":{"amount":"+0.8531160950660706","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":"Q4790400$E0F17624-34D9-49B8-AE6C-2B4D9E00A3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2277ff7c41191c25c17b3cafdb32706d5effd7a","datavalue":{"value":{"entity-type":"item","numeric-id":4010371,"id":"Q4010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"928d10673f4f56f2059ff8810c3efcb0dad19151","datavalue":{"value":{"amount":"+0.8531157970428467","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":"Q4790400$479B2767-2C91-427F-AFC8-E711F5C1DDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6644c89e365e503e202a0eb12c3f2936cc4b499","datavalue":{"value":{"entity-type":"item","numeric-id":3569758,"id":"Q3569758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17ea1c18a853b7e962b2a16d4464370f1ad52194","datavalue":{"value":{"amount":"+0.8482935428619385","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":"Q4790400$BC20EE8A-322B-41F7-8EDB-A0777107CBB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1860672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1860672"}}}}}