{"entities":{"Q5323091":{"pageid":7352665,"ns":120,"title":"Item:Q5323091","lastrevid":100790408,"modified":"2026-06-05T23:07:13Z","type":"item","id":"Q5323091","labels":{"en":{"language":"en","value":"An Improved Time-Space Lower Bound for Tautologies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5585643"}},"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":"Q5323091$0B295C8B-612A-4C7C-9AD3-D40FFC780205","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea96913d1ccb730410de6d280a32a53748c253f6","datavalue":{"value":{"text":"An Improved Time-Space Lower Bound for Tautologies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5323091$0DBB822D-00B8-42A3-9391-04C58FC4F7DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8aa7ad6509bdebfc5de56c8817bb0f9efc56037","datavalue":{"value":"1248.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5323091$76DBA4F9-619A-4664-8D83-A32967936628","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8733e0ecdd3fcbb6115fe49dfe94b5359b024b62","datavalue":{"value":"10.1007/978-3-642-02882-3_43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5323091$F1050B0B-7A0C-44B4-BF85-84A985438922","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"223851d2e7ca340771a78d042691aae65986df2b","datavalue":{"value":{"entity-type":"item","numeric-id":652632,"id":"Q652632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5323091$96DDA4F1-4136-443A-942E-9EE1D3F3DC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a25d963ba8459ff509d0f0ec3595c17b9f7f836","datavalue":{"value":{"entity-type":"item","numeric-id":354650,"id":"Q354650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5323091$E25065B1-1959-4B20-9EA7-27591A0773C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78a3ebf267830b34bb8ced5ebe00bd1ba645205f","datavalue":{"value":{"entity-type":"item","numeric-id":937200,"id":"Q937200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5323091$2DFB91C9-390E-44C4-9E0C-8F515B47F8F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5323091$C21FA158-1D8A-4329-9D6A-6D7452A6A803","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa5175cfbf455de09775e77fbc8884c835bf57d4","datavalue":{"value":{"time":"+2009-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5323091$59ABBB8C-92FA-46E6-9C0F-184831175797","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5323091$74E1F50D-3957-4BAA-BFC5-3000A71C1B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5323091$CF80C782-3530-472E-96A4-A397E65DAC73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8660e391c23017553a27b8158dd78fba5c51cd98","datavalue":{"value":"5585643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5323091$682ECC23-A93E-42F3-B384-9E072C94D407","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":"Q5323091$9A0E8ACE-3F5B-45A3-8F4C-BF2F98ED83F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5be48aeeae39530627c0fb9beef97aecf85a4698","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02882-3_43","type":"string"},"datatype":"url"},"type":"statement","id":"Q5323091$9FAA3F1E-304F-456B-A666-F513A849D0BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2bfb202719818a096deab2ef6640e9206ac7476","datavalue":{"value":"W1485439933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5323091$CEC16A4E-81C9-44E7-8920-C75A8DA0FB0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"495e9f31ecccece5151cd54f7903273fe2c0e4bd","datavalue":{"value":{"entity-type":"item","numeric-id":1567402,"id":"Q1567402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5323091$2549DD36-0777-4C59-BC1A-4302A3870C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be9dbfaaad9151faf5c5db0312c48c62ecd9dc2","datavalue":{"value":{"entity-type":"item","numeric-id":3455209,"id":"Q3455209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5323091$DCF07210-EFDB-49BA-959E-E90BD6A2C572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5cc7dcd0e75dbddea1dd510a0befa7dc03094e","datavalue":{"value":{"entity-type":"item","numeric-id":3587579,"id":"Q3587579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5323091$5DA8B4B1-D70B-4508-ABFB-562274EEA918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5323091$B7D72081-75AE-4BDD-8163-079D114AF328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c794b8411f92b6cbaefc2d439218ae5944c5aa","datavalue":{"value":{"entity-type":"item","numeric-id":937201,"id":"Q937201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5323091$DF6C03F6-D251-4AA4-9A21-7BC5B3754E1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5147d365ff89222de518ed48d77f62efd9dc4072","datavalue":{"value":{"entity-type":"item","numeric-id":652633,"id":"Q652633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c28df9419397aae56349391ae443bce40d27ffe","datavalue":{"value":{"amount":"+0.9991267919540404","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":"Q5323091$557FB0BD-FDF3-47A2-8D33-A4997C25D6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4462be1abc316894dca49bfe969c7c58f01ddd2","datavalue":{"value":{"entity-type":"item","numeric-id":3455209,"id":"Q3455209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"599b4be16d1c6b54a44e7dcde6e6c81535068f7b","datavalue":{"value":{"amount":"+0.8061342239379883","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":"Q5323091$2E224D47-3B02-4AD4-AA83-94D084A90B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f126af51bb0406a718eeb65fff14b7bf10fdf5","datavalue":{"value":{"entity-type":"item","numeric-id":2460033,"id":"Q2460033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cc964fa50f9d3133addf9d382f085a203ec677e","datavalue":{"value":{"amount":"+0.800563633441925","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":"Q5323091$B38AC3C3-8D52-4E5A-92E1-8D9F59DC6AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7a43605efdfa29a28d4e77a2a3241758a63b611","datavalue":{"value":{"entity-type":"item","numeric-id":1567402,"id":"Q1567402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf5e9bfed9552ee7fc5fa556ee77462810be3f1f","datavalue":{"value":{"amount":"+0.7919184565544128","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":"Q5323091$4743460A-520D-4A65-BEC2-840C1D5136C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e65ee715c73eb58045cd44507a78976a0d24b85","datavalue":{"value":{"entity-type":"item","numeric-id":2581273,"id":"Q2581273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b37fd9817616fe8bd738633be415723ca91135a1","datavalue":{"value":{"amount":"+0.7917389273643494","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":"Q5323091$1581504E-CBCB-445A-ADAC-7DE55DA8187A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Improved Time-Space Lower Bound for Tautologies","badges":[]}}}}}