{"entities":{"Q2581273":{"pageid":2592016,"ns":120,"title":"Item:Q2581273","lastrevid":48624592,"modified":"2026-01-05T10:29:38Z","type":"item","id":"Q2581273","labels":{"en":{"language":"en","value":"A time lower bound for satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244504"}},"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":"Q2581273$CCD746FD-5AAE-4A21-9C52-AD1679BAAC25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a484d0565d1d34a27423307f85cca77da751a9c","datavalue":{"value":{"text":"A time lower bound for satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2581273$298FFDEC-3547-4E42-9CDC-D1DA99DD593A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71b3e6b8510fad7233a70542a5d5b696f4f08254","datavalue":{"value":"1090.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581273$25E60496-C83E-49BB-A5F8-9D748FB35B73","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":"Q2581273$AE8D1268-7424-4677-A0D1-CC5EBAA78D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b481d9d1e1fd6339de38d10a65dabc0f21090cc0","datavalue":{"value":{"entity-type":"item","numeric-id":168589,"id":"Q168589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581273$5A37E1FE-0CDF-4F4A-AFEE-779F9FA967DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581273$999F6453-3306-4E19-80F1-179C78C77DAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96353297f680d3a2b00a38cab203367db81bb850","datavalue":{"value":{"time":"+2006-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2581273$085411FE-A22A-48B3-988D-55E2BF36104F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581273$DDAA2161-D69E-4DBB-87B5-2FA4E70CC06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581273$9815F9E4-CCE1-474E-B0EC-EDF44FCCFF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581273$B5605350-64C5-4B6B-9ABB-220E118B1691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581273$F393BE0B-6B0C-47E8-8ABA-E1B751CD9C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581273$24EB248D-CEAE-47A9-B84B-2C1ADE69040E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b303b29b38bb2086211cc891541f0239057949b","datavalue":{"value":"2244504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581273$158453A8-90E7-4CD7-8EDD-15CE2046AB20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581273$61DA47AA-3EDB-4F9B-AB5D-67468D590C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581273$1F613335-128E-41AD-B6AF-F78A94E82DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581273$8B4CBB53-C9C7-4A3E-966D-44C12BA70BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc23b90c1be4baaecf0ba99f92c30aca4062487","datavalue":{"value":"deterministic Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581273$D7712115-4055-4136-AB0D-A73BB91367A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a276d2fde5b47d6dd8bec496bc5b17dbfde75ae9","datavalue":{"value":"conondeterministic machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581273$B81877E7-CD25-4148-9F73-F63FD9D712F9","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":"Q2581273$60751DFB-3F15-4F58-B83F-C1A9F42A593F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"567917ea2f3dcc7608a4df92e4a4d2a9e4066d9b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.09.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2581273$EA7E9D24-5FBD-4E0D-A9F9-CA684F7809AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff6deec0fb2db30486f71df9d64088413ca32a3f","datavalue":{"value":"W2034037257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581273$9EB8824E-DC5C-457B-B8AB-C59D4C419E86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc43c30cb36c93faf5938e583d3f64b490e4f521","datavalue":{"value":{"entity-type":"item","numeric-id":1394124,"id":"Q1394124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581273$840815AC-7C0F-4544-A7C6-3A4C233CBBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"544027f5c686e434aeb68d4e057be0843d1d7756","datavalue":{"value":{"entity-type":"item","numeric-id":1096390,"id":"Q1096390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581273$7DD8E1A5-2648-453A-BD83-3DF94D7BA597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6de9bc61a8a92c5e74a54d5332ab0db2e86591a","datavalue":{"value":{"entity-type":"item","numeric-id":1587349,"id":"Q1587349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581273$15DE3346-CD8F-4D54-A5AB-6B138C0674CA","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":"Q2581273$1379B91E-6402-4756-9C56-DCB23479CF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fb011395b085a0ad4513663cab5f1c04c8f557","datavalue":{"value":{"entity-type":"item","numeric-id":5638291,"id":"Q5638291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581273$2CB35856-4E81-4F8E-B25F-F3EE98BE9821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b05c0128e9a1cc52c74f21ba9bf82bbffc463e","datavalue":{"value":{"entity-type":"item","numeric-id":5556431,"id":"Q5556431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581273$DFA6599E-9D80-43A7-B138-8FE754B73113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"529636f514f2cf19373a9a659e09022442fc1d94","datavalue":{"value":{"entity-type":"item","numeric-id":3334987,"id":"Q3334987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581273$620A7CA8-BFBD-4EA6-B0E3-ACE324C39676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc72b7ed12cad201759dfab208df4d35d24c8d2","datavalue":{"value":{"entity-type":"item","numeric-id":1321033,"id":"Q1321033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581273$EF05E97D-98BD-41A9-8CDE-3283E67E45A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9685bc24e8868389f51f3f76a5f449f5b6d1410d","datavalue":{"value":{"entity-type":"item","numeric-id":5628106,"id":"Q5628106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581273$A87BF5BB-1EE0-41DF-AF49-2DEC075982BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af525ea1fd445c05898a9991b61369483b6c7c29","datavalue":{"value":{"entity-type":"item","numeric-id":4142696,"id":"Q4142696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581273$9F9D9706-C1F4-40BB-858D-B6108AC66972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff23c64aeceb637edf1e4898827d817f6ea4827","datavalue":{"value":{"entity-type":"item","numeric-id":2729236,"id":"Q2729236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581273$83D1E1A5-DC78-4D31-9C03-35D5B5CEE7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"656a88094d3818a28a699dfaea22a6fc84ea05fc","datavalue":{"value":{"entity-type":"item","numeric-id":3707407,"id":"Q3707407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581273$DE6D54F3-7432-4C47-897C-EA5B84D76337","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0ca65d64b52d9643865b3a8123d9aeec345b15a","datavalue":{"value":"10.1016/J.TCS.2005.09.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581273$FDDA8772-7BBD-49A4-BAFD-8565C2154B68","rank":"normal"}],"P1643":[{"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":"60597598fd3b55f2314ed5a512d2285809e6e575","datavalue":{"value":{"amount":"+0.9967116713523864","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":"Q2581273$A4AB4D24-9883-41F3-87BB-77ACE7674E11","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":"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":"Q2581273$19204A08-0AAB-473B-A3DC-C629540E5107","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":"d26e1b6b0b4bffbabaa501562541236d959e4d55","datavalue":{"value":{"amount":"+0.8881626725196838","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":"Q2581273$DF823064-2228-47AE-91D4-ACC51A85AC29","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":"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":"Q2581273$8B7EF081-5C95-4B80-A417-32FBAAB96B7B","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":"9f9ed1d908454ced7de97b973d614c1089ed40bf","datavalue":{"value":{"amount":"+0.8597044944763184","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":"Q2581273$BE596680-7D69-46CF-AD7F-D5AE46F2D257","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2581273","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2581273"}}}}}