{"entities":{"Q3455209":{"pageid":5234609,"ns":120,"title":"Item:Q3455209","lastrevid":52407185,"modified":"2026-01-22T14:09:41Z","type":"item","id":"Q3455209","labels":{"en":{"language":"en","value":"Time-space lower bounds for satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6516093"}},"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":"Q3455209$997D9281-9E79-4818-B065-0DE2547DA59B","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":"Q3455209$E22676F8-29D8-4EAA-967A-656F374572C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f81ee3add38706e8cdacf7aec9d1cc0245eeccd","datavalue":{"value":"1326.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455209$69C82C7A-BCCE-4293-9510-F8BB6B4CF98E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3e70fa990bceff8306c800cbe0561ffc86183ad","datavalue":{"value":"10.1145/1101821.1101822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455209$C5C5FACA-F990-4B97-91DB-0FD12E08A70F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4efc08bcb427d9602fc487f25b09b09349687cb3","datavalue":{"value":{"entity-type":"item","numeric-id":181990,"id":"Q181990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455209$F76E19A5-79D1-4D69-A94C-9C5ED1DEF7B5","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":"Q3455209$EB891305-420B-4AB0-BC4B-B5A0804D3BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f01c319f8dca241bbf8e13cacb8fdf0d2cb4ad8","datavalue":{"value":{"entity-type":"item","numeric-id":391784,"id":"Q391784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455209$FAF35C96-B8EB-4F09-8316-DC8716618A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fe4057f7ea6f8b50335cff0c4e37872da7faa9","datavalue":{"value":{"entity-type":"item","numeric-id":1318472,"id":"Q1318472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455209$2570BFF9-AEC4-4BB6-BD92-E3EDE8FEF930","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455209$5A06465A-36DE-4328-A1AC-188BE1569100","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7d3284117870528c81a7d62ae9b72c6a4498f44","datavalue":{"value":{"time":"+2015-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455209$57B54B68-32B5-4A52-800D-5866BF60F19C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455209$29E09D8F-A0A5-4D61-9B9C-EC61018C29DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455209$A96D1A4B-B780-43A0-AC1E-D602DC79386D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1ab04000c832a3b58b80285c9139e3121abcf26","datavalue":{"value":"6516093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455209$B908E0A3-ADD9-4C95-A267-C4D4112B4D5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e40ca3fb9ac74b8086053a949034fc22f2c00c8e","datavalue":{"value":"complexity of satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455209$51C648BC-FCEB-40AC-A453-A8888050DC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12f607aed17138fde197a6c53d4766b2e84f969b","datavalue":{"value":"time-space lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455209$D4A83BE0-8FDB-47FE-82AB-B636A3B021B3","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":"Q3455209$E6F26571-DDC5-4C5A-BCA3-7C3F466994DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea4534f6caecc8fe8b054f0a537d829ef63d3e9c","datavalue":{"value":"https://doi.org/10.1145/1101821.1101822","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455209$AC2400EF-FFB3-4A42-8E75-D2300BC9C67D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b44bfc5909a34a54760684ac910890432cf43ed9","datavalue":{"value":"W2075449032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455209$FB8C120C-3DB4-4019-BC1B-92E47A3250E2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d2cafbb954f3a417e62127a5d82fa524473bcf1c","datavalue":{"value":"Q130971128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455209$4CD61BFD-544B-4FAC-BAE8-BE3539D9330B","rank":"normal"}],"P1643":[{"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":"8094fd9d3baf4bb8450e900ca4acdc985bdeb3b6","datavalue":{"value":{"amount":"+0.9168155193328856","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":"Q3455209$77CE2FE3-0AEE-4921-9032-21E1CB1C8533","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":"3bcd8a5e37380f41d82de79c4af2f720090dab27","datavalue":{"value":{"amount":"+0.907673478126526","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":"Q3455209$2666C724-1AC4-42F8-A8C8-DF4A9B97695D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143f83e82906f59c7836778facb8332060f8ebdd","datavalue":{"value":{"entity-type":"item","numeric-id":2729236,"id":"Q2729236"},"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":"Q3455209$20BDDAA2-73CB-4109-B86D-FC3B847D851E","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":"ddbc3a8e8321dd7d0a60e211e874f8d6bb8d451f","datavalue":{"value":{"amount":"+0.9007731080055236","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":"Q3455209$80954A0E-0D66-40BF-8887-30EB92225DF3","rank":"normal"},{"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":"b052e4cdb6a70e51967a9841185f442cedb1719e","datavalue":{"value":{"amount":"+0.8894487023353577","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":"Q3455209$A62C1BC8-79FB-44B4-A2DB-18018352CD90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455209","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455209"}}}}}