{"entities":{"Q4010371":{"pageid":6040169,"ns":120,"title":"Item:Q4010371","lastrevid":55165915,"modified":"2026-02-04T08:03:07Z","type":"item","id":"Q4010371","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65760"}},"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":"Q4010371$E6B57531-F2EA-4E7A-8E1C-43349EEBE51E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"265082307905204ff4b140ca31f178efb2e21b4b","datavalue":{"value":"0755.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4010371$17002D3B-B1DE-4C5B-BC5C-7FB134F74E98","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":"Q4010371$AD386B70-B3B5-41EC-A6E5-23CDF600E544","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4010371$665E6F3E-3875-4D75-9A10-A23EC9775A72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4010371$1520401E-C926-4C88-BED8-31AF6C7E05CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4010371$808F2672-FBE0-435D-B46D-4B08196B6F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4010371$6C2AB591-6ABD-4C81-8E46-F8C455659348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4010371$385510DB-BC6C-40F9-A839-365A44E86B3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5adba85c7009152921c8168bf434a1ded493fa63","datavalue":{"value":"65760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4010371$DBD731E5-3DD9-4B6E-9D34-A2DE6775599D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b24e51e460d663f6ecf18860b761adb8bb29e572","datavalue":{"value":"propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4010371$31AA15E7-7F65-4434-A52D-D2D893882503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4010371$82B774AF-4A4D-49A3-BCB3-9EBDB4C1E882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee539f3c66b5148353f42975573a39b50c5340f","datavalue":{"value":"complexity of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4010371$5FBCF0E2-9C64-42CB-BDA1-8990438CAF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e45de5f0961d0cf7470a7b0dd939d5c4c581f3","datavalue":{"value":"classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4010371$ADA0BE36-5395-49A9-824F-BFD8B708348B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf8a64adfb1706ba06199a16363dc162adabb94f","datavalue":{"value":"\\(p\\)-simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4010371$4759615E-D368-4E77-AEDE-0320ADD4CC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2319b8da6983bef3b412e7c0e3c45215831f1b9","datavalue":{"value":"Quantified Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4010371$14B82BE4-3F01-48FB-A2DC-7735EE777FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fccea355115f68f07c43b67988eb90f3507ce123","datavalue":{"value":"Extended Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4010371$09CA8D03-20B2-4856-AFF0-87E9C96E1C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1e84579268b4f854458df63111c8235b6b127a","datavalue":{"value":"Fixed-depth Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4010371$A86AD41A-531E-4F9E-AA3E-FDE244FF79F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fd6ae57e4db8f91c8964666b67664aeeb475b45","datavalue":{"value":"Cut-free Gentzen systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4010371$19EF67DB-20C1-4458-AE31-89BAD42CEF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef0530ef18563772d3f741322062bf074cdc527e","datavalue":{"value":"Resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4010371$4E8913CA-5373-4B4E-8989-4E759BF99FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"726be66f19c04b6d0b274ac7831f829112eb49a5","datavalue":{"value":"Truth tables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4010371$BA26ECD6-4F12-4CC6-AAAE-FB8C048B53DA","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":"Q4010371$A4628606-2834-418C-BEC5-B82BDA03CAB8","rank":"normal"}],"P1643":[{"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":"7f240dfd12c30ac2dbfeccf51c8a255bf90d1dd4","datavalue":{"value":{"amount":"+0.8804842829704285","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":"Q4010371$35026528-02C7-4C75-A0DE-374DFB291C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ef7516fef19e6ad66dadf2480597f1ae72fc3d","datavalue":{"value":{"entity-type":"item","numeric-id":3081620,"id":"Q3081620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9afaa5fb0ce7dc609d161b835de0080363dc2164","datavalue":{"value":{"amount":"+0.8804836273193359","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":"Q4010371$7372FDB1-5632-4CFE-A1B6-E929BD3F04AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b47d5008fb5444114c966ed6f511fa02db28fb","datavalue":{"value":{"entity-type":"item","numeric-id":4790400,"id":"Q4790400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe92c006ea760f4042660094fa53590f2e46292","datavalue":{"value":{"amount":"+0.8364477753639221","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":"Q4010371$C36512A6-B796-415F-B15C-CAF558AD922C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f95f76e953b56bf0130e14d725876146035256","datavalue":{"value":{"entity-type":"item","numeric-id":2488582,"id":"Q2488582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480a2d4eac8ffc58e848222e01c673e6fe159663","datavalue":{"value":{"amount":"+0.8208646178245544","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":"Q4010371$E844C1CA-66A0-47CA-9564-662014C444C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43db44d2a19daeb8f2c3c361338b1df38ab6c8c3","datavalue":{"value":{"entity-type":"item","numeric-id":2455258,"id":"Q2455258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f9f5c0e2d07ee1b725af8a8564c1ec1fbf29da","datavalue":{"value":{"amount":"+0.8168312311172485","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":"Q4010371$B911AF83-E031-4252-B5F0-6FF184A9AE06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4010371","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4010371"}}}}}