{"entities":{"Q652633":{"pageid":654482,"ns":120,"title":"Item:Q652633","lastrevid":63338586,"modified":"2026-04-11T12:12:12Z","type":"item","id":"Q652633","labels":{"en":{"language":"en","value":"An improved time-space lower bound for tautologies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5988540"}},"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":"Q652633$4FC8285F-F7A5-4DCB-96E6-7CB5548A1F23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2eace2500a37a05b470ff0acc2a0e0863ed2779","datavalue":{"value":{"text":"An improved time-space lower bound for tautologies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q652633$303E7661-56AD-4006-A82F-E2B53E797AD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a79d6a1170ace1cc31238bae5d8c4c48d8d0578","datavalue":{"value":"1229.90158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652633$F8DC1769-A187-4196-8B39-79ACC8E5E325","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":"Q652633$9AB00EC6-227C-4674-992C-88E866A481B6","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":"Q652633$4D015CFD-193E-4FA8-8334-78C47120C0F4","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":"Q652633$BC6F6F0B-2854-4EDA-9827-54397B58DB37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dcf8815e3b257674fa147da7a4e7c92c91c0b3e3","datavalue":{"value":{"entity-type":"item","numeric-id":185429,"id":"Q185429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652633$02AF5FD8-040F-4C07-9E05-752ED2CFB88F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"241a8323c3f398ba1ab80d34189327d48ce2252c","datavalue":{"value":{"time":"+2011-12-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":"Q652633$92DF0F1A-CBE5-4A81-AFBE-299DF0BBC45E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652633$AEF252D9-008A-419E-9BA4-24345DC003B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a075736dd24125fb22e78e1f01acbe15d48baf3f","datavalue":{"value":"90C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652633$AFF89810-3D2A-4661-9D43-4354F5948F0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a7baef1b7d8b03e50f6c3f780de718255012d71","datavalue":{"value":"5988540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652633$3B4A5E1C-61A3-493E-8C8B-65734480FE66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q652633$DE321495-4D8A-42EF-9246-E475C647C4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12f607aed17138fde197a6c53d4766b2e84f969b","datavalue":{"value":"time-space lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q652633$313ECE01-2F2D-4F64-8144-CC0AE782EC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911bc200d6c450de272a08fa5c19ef28484b1d94","datavalue":{"value":"tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q652633$203B34EA-BAD9-4FD2-9957-07306E039D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q652633$773FB522-9A42-4331-8A82-380C536FC8D6","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":"Q652633$B0F647AD-CD24-4251-A2A5-6A8A5A7893B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2beac857ea4e471f43cb5bd0e99a9ff26614368","datavalue":{"value":"https://doi.org/10.1007/s10878-009-9286-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q652633$4E6E7691-83A5-47BD-B7A9-CECD96A6DD53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67c07619b4a17b6f8ea27019047fa1e53e42fde5","datavalue":{"value":"W2069877939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652633$B8E88336-4586-4CF4-9130-208B5D7F6552","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c70b318395c4ed2d5675bb48c8ac58ac36b5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4790380,"id":"Q4790380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652633$3D0CA58C-CE58-4EED-97F7-68227AB9F23F","rank":"normal"},{"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":"Q652633$7F476509-4881-4A2D-A07C-DAEB84DA7BD7","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":"Q652633$859AFD7E-4B8E-42C5-90B8-A18B11A7490B","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":"Q652633$3A46B30C-B5B6-44A7-B50B-73B78C8E5034","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":"Q652633$49825DA5-C715-4E20-A486-D314D2F0253C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df7685e1a2ca29a2b60d6c89d802c5138d28fc1","datavalue":{"value":{"entity-type":"item","numeric-id":3113789,"id":"Q3113789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652633$D380D05A-C46F-49DD-A5CE-A84CC24BE864","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61ac982c78ba5ada31db6c62d7bb7b2fa33af195","datavalue":{"value":"10.1007/S10878-009-9286-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652633$0B1F531B-A364-4AA4-8801-F4A84D73F5F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4241736871aad3f9693377c20957adc7166fbce","datavalue":{"value":{"entity-type":"item","numeric-id":5323091,"id":"Q5323091"},"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":"Q652633$48BB828C-82B3-42C4-9758-F5DAC1EBD762","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":"208420cef6f220fad4e595f92f326c8fba0ed9c3","datavalue":{"value":{"amount":"+0.8057706356048584","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":"Q652633$C4E5C89B-200C-4113-BBC3-0C2CED4880F5","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":"8e0cf55e9b18d148dd27e472b6cfa02f9dd0d9f3","datavalue":{"value":{"amount":"+0.8010913133621216","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":"Q652633$6072F45B-3B78-44A4-8E71-5A686BA3A0C1","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":"766c424e6e3f0b78f7583bfe44ba07cba789590f","datavalue":{"value":{"amount":"+0.7936459183692932","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":"Q652633$25C556C0-421B-420C-B875-FF4126D59377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"227ff7c20de63b4db6c3c546b71e32269d358851","datavalue":{"value":{"entity-type":"item","numeric-id":5956015,"id":"Q5956015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b262423bfb5318e6ebde491683ecc91be32786","datavalue":{"value":{"amount":"+0.7923816442489624","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":"Q652633$6FF6B63B-C900-40B4-ACDD-003E02594F7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An improved time-space lower bound for tautologies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_improved_time-space_lower_bound_for_tautologies"}}}}}