{"entities":{"Q3149864":{"pageid":3160580,"ns":120,"title":"Item:Q3149864","lastrevid":47992975,"modified":"2026-01-03T07:22:30Z","type":"item","id":"Q3149864","labels":{"en":{"language":"en","value":"Space Complexity in Propositional Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1808472"}},"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":"Q3149864$5B276BD2-B90C-4BBB-B99B-E55278D47E97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c33e33ed124bc75a3db3cf7a5066979d367d3353","datavalue":{"value":{"text":"Space Complexity in Propositional Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3149864$11A70EC5-99C3-4857-89AF-82E91CCE9805","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8acf39efd93aeda018605d07084d70a369f7a548","datavalue":{"value":"1004.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149864$70ADB132-0FD2-40AD-99B3-C73B85215CC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8180e45d63f87b21b9d80ec7b6e0d3893aee4b8","datavalue":{"value":"10.1137/S0097539700366735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149864$32C561BF-E8CA-4EED-A76E-B7B0A9FA20FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda6b61323c36da4336c78f2a00f81b412a8cdcd","datavalue":{"value":{"entity-type":"item","numeric-id":430822,"id":"Q430822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3149864$CC59F294-37E1-4878-8213-B1B03877B212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dd3094b0d0097c1754f63d55999ed1b4931a5c0","datavalue":{"value":{"entity-type":"item","numeric-id":496302,"id":"Q496302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3149864$9785A722-E2F4-406D-ACB8-DAF8049638A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a028a6348dcfc7b43c17e257a75b67ed9a2b7db","datavalue":{"value":{"entity-type":"item","numeric-id":178716,"id":"Q178716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3149864$52AE330A-F035-4B8B-BA69-EE1E5E25E08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c0bcfb4eb9a7ab6903b269f394ffde6834d9319","datavalue":{"value":{"entity-type":"item","numeric-id":1370854,"id":"Q1370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3149864$0D5FCAE8-DE66-49EB-8E15-DD8FE2EB6EAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3149864$8064D1E5-1FFA-4441-B261-1AB4E54A8C0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e5fbc16e366ffb1f12a89d1e74ac2844b6efae70","datavalue":{"value":{"time":"+2002-09-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":"Q3149864$0D428BBD-89F2-4C55-808B-F71A676F9DBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149864$D69E2681-C4F3-4A5C-8902-2599AAFEEBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149864$D2B1FEDE-0EB6-4F29-A2B4-F9798B5745B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149864$E7F6431D-8A4C-4CAE-B75F-950613D23AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149864$186D9CC8-958C-4118-B663-077346E0F382","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75966e15dcc8d2c1e3121965a406a0a527de7e78","datavalue":{"value":"1808472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149864$E43818D3-861E-4F62-8BA9-68A47C4985D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149864$2680233C-B1AB-42E3-9A9E-45FC9BAD12E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149864$7F3ABA07-9C85-487C-AD06-48171177FD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149864$A7DC0C30-25CC-4389-853F-D8859E3A0F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211f3c345d1c27387d231726f7e79d65298863cc","datavalue":{"value":"polynomial calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149864$724AC0C4-CDAF-4E08-9D00-DF5B6997F1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc59007b2b1960a263350309435ca1e06e896b5","datavalue":{"value":"space complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149864$3F5232A9-5512-4845-8DE0-A1EDF5CE2C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b054bbd1ef16f604df0f61144322893e5b9a2a9","datavalue":{"value":"upper bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149864$68BDDAE1-BBAB-4D49-B429-F6F1FF5441F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149864$BE77C4CF-78B2-4996-8FD6-3EEDF754E491","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":"Q3149864$7C08B574-6E84-4927-95CB-B52642133570","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf7fe10888bf0783e4e5ef5e9b876fe2663593e9","datavalue":{"value":{"entity-type":"item","numeric-id":3192004,"id":"Q3192004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd79311aa7e9ed498bf62d0990596a9e19f0ac93","datavalue":{"value":{"amount":"+0.9711085557937622","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":"Q3149864$4A108FC6-AB9A-44AF-92A1-016D1883470D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97afecf8a6fd088b7de2ee63de752be7c0b6ae0f","datavalue":{"value":{"entity-type":"item","numeric-id":2944568,"id":"Q2944568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5058cc6797b2d08bbce9dc681d1c90242d144a96","datavalue":{"value":{"amount":"+0.8489359021186829","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":"Q3149864$B0DB3D92-4D06-45E9-A884-BF4AA72BE5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5750a3228104d898b30a426b1f7227709044f445","datavalue":{"value":{"entity-type":"item","numeric-id":5277893,"id":"Q5277893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a3531588c69b999b742b5717b7be39085454737","datavalue":{"value":{"amount":"+0.8043237924575806","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":"Q3149864$1C223623-0013-488A-9D3B-98FC1D6751AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a089503d2728bf3f127c89e535e45e3ef54474c7","datavalue":{"value":{"entity-type":"item","numeric-id":4251071,"id":"Q4251071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7e2d6baae87a67706b71a379a84592bf35093b","datavalue":{"value":{"amount":"+0.8037957549095154","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":"Q3149864$B33AABB6-BF55-44B5-AEE5-C831DE51B07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfe68199cf01e3dcb6a7ce52d5f30175da480ac7","datavalue":{"value":{"entity-type":"item","numeric-id":4601841,"id":"Q4601841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7e2d6baae87a67706b71a379a84592bf35093b","datavalue":{"value":{"amount":"+0.8037957549095154","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":"Q3149864$7801EB7B-21FD-42C7-A474-8EC43DF76DB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3149864","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3149864"}}}}}