{"entities":{"Q2729236":{"pageid":2739975,"ns":120,"title":"Item:Q2729236","lastrevid":47643451,"modified":"2026-01-02T07:21:22Z","type":"item","id":"Q2729236","labels":{"en":{"language":"en","value":"Time-space lower bounds for satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1621814"}},"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":"Q2729236$AF8CBB40-0183-44AB-8CCA-BFDA26124A78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7974ff8febd1e6665457c736d5cd717cdb050550","datavalue":{"value":"0974.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729236$75FBE701-5687-40B3-A055-722B40E3B2D2","rank":"normal"}],"P16":[{"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":"Q2729236$D43C6993-0CDA-45F1-932E-7BC1E40FEA24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"740d9e7b5ed53dada835ed8dd1fea829801958aa","datavalue":{"value":{"time":"+2001-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2729236$38F8B4A5-767C-4210-B9F6-3D0E7E0FC460","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729236$8F8F4B0A-6331-438D-81B1-6983EDC9859E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729236$FAA1E5E8-A5AA-41B1-8CD0-419027CF4951","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b14bf491cc88ef3cbdca9aa7694aa98e994588da","datavalue":{"value":"1621814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729236$0FCAF16F-74CC-43D2-AF9C-AF5299C4D357","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f9db6f5f97e6e3ddf1d32daa1cd8a15b07ef492","datavalue":{"value":"random-access machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729236$2EFA7262-DB67-4761-BFD8-58C6414C4C24","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":"Q2729236$4FFC410D-EF34-4633-A71E-5006BF98C8F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fb904aceee7183e7a0955f7c8a40e73f70f63f6","datavalue":{"value":{"text":"Time-space lower bounds for satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2729236$1B565BDA-3889-4F55-8892-8F0F7AED788B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d94406c40e2fc59c6217175412040f80075312f0","datavalue":{"value":{"entity-type":"item","numeric-id":6591395,"id":"Q6591395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729236$E536818A-2F97-46E7-ADEE-78F5969EDFC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf38cc888921590df143be54d6b97aac5f0ba8c","datavalue":{"value":{"entity-type":"item","numeric-id":4668733,"id":"Q4668733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f06aa5a02324638c24724cf2579596e8f9a586","datavalue":{"value":{"amount":"+0.9219175577163696","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":"Q2729236$E79E1C2B-7F25-4163-80D2-CEA8A7943202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3adac7df4b99ff447af87612330c7e291e64469","datavalue":{"value":{"entity-type":"item","numeric-id":3587579,"id":"Q3587579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d9b9481ff7ac3c74da665c134ec3eded84142cb","datavalue":{"value":{"amount":"+0.9037747383117676","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":"Q2729236$DB1DBABF-CBB1-42D7-A980-2D04D04C388D","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":"04865927c01876201b433cdfad76a2eb15abda65","datavalue":{"value":{"amount":"+0.900985300540924","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":"Q2729236$78717566-A06C-44F8-8535-06D718CC6697","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":"4cadd0115b247641fa63939b7c53942138eee7be","datavalue":{"value":{"amount":"+0.8881455063819885","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":"Q2729236$4EE4DB56-DD87-463D-96E3-09400F1D2BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01afa3774dc1edf7b1a922700be49041f6f4e07e","datavalue":{"value":{"entity-type":"item","numeric-id":5466530,"id":"Q5466530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c43165b944869e2b756aa424a47b01828af865f","datavalue":{"value":{"amount":"+0.8852189183235168","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":"Q2729236$34AA8611-1B3F-41EA-A0A1-6008DBBF40E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2729236","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2729236"}}}}}