{"entities":{"Q758197":{"pageid":760046,"ns":120,"title":"Item:Q758197","lastrevid":64148943,"modified":"2026-04-11T17:57:56Z","type":"item","id":"Q758197","labels":{"en":{"language":"en","value":"On O(Tlog T) reduction from RAM computations to satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4195170"}},"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":"Q758197$D54C2461-669B-4BA9-A1AD-41DCA93457F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fa46350918bcddf6aef857050bfee4847ab3328","datavalue":{"value":{"text":"On O(Tlog T) reduction from RAM computations to satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q758197$C4B7D158-165E-493D-BADA-7EC5F6DFF39E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"258c8a811d30d5634f69f45e1f2dec99cf0d7e3d","datavalue":{"value":"0724.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758197$58A8FE78-0507-44CB-BF26-1B26A23AD4B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06f5fc2942deb671a0db25f966e28e144ce8d898","datavalue":{"value":"10.1016/0304-3975(91)90177-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758197$B53F066B-0CA9-454D-92F6-5F09BDAA6B58","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":"Q758197$DFC2EAF7-B5E1-4A79-B05E-DA1CB71EF2BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q758197$A58231F1-E7EE-42C5-858D-6B7C798066FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758197$5D37AA29-1A12-4B8C-8E63-5DEE29A8AB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758197$DB58DEF9-39FF-42A6-BB2E-0197A7BA1677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758197$684FC0CA-2167-403E-9546-4F602DF44685","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa36ac0f919b64af3e21bb132c115c1ffcfdb0a3","datavalue":{"value":"4195170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758197$A898735D-0B51-4926-9BA7-144AC0771E23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q758197$2BD0422E-0158-41DA-A194-4CB621C16BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b8e6a69d5187e24416116126c9514dd77c9c5f1","datavalue":{"value":"random access machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q758197$D6C2BD60-AA09-49E4-BC36-E9A3226A1D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q758197$0953B6E3-DB67-4C1A-A133-891B3B1B6ACE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2414d88a8882328e4807f46176099bdadd88af5f","datavalue":{"value":{"entity-type":"item","numeric-id":426817,"id":"Q426817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758197$DE56E220-5F6B-4B3C-B556-8D0536637CCC","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":"Q758197$BFC3C862-847F-4D23-8394-88933A0A7441","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"117047f0b26b62c9e1d7a02ba2851d9ee9892d8c","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90177-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q758197$3205BEFD-30B4-4844-A59A-F35787AA1CA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6ade712399838e03c50d687bb4098830831c3fa","datavalue":{"value":"W1969514863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758197$114D2042-F1DB-4316-916C-0D39BE12952E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758197$AA6D03B1-E77F-4DB1-B7F1-2B7A36DEA6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b44ed555aed1fbc544de1802074fd0df13fb2c0","datavalue":{"value":{"entity-type":"item","numeric-id":1056541,"id":"Q1056541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758197$97B243D8-DABD-47CC-AF1D-C21936EC70A1","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":"Q758197$424DD1D1-DB9B-4976-8CB3-6625BD95048F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1206f726e98f9744a813dd75ebe59b460222481b","datavalue":{"value":{"entity-type":"item","numeric-id":3742714,"id":"Q3742714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758197$09873515-C0B4-4D9D-B628-66A315712DA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45179fd5363da252a643a902dc39ebf38d276e4e","datavalue":{"value":{"entity-type":"item","numeric-id":2986889,"id":"Q2986889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f855425e904697ee13ce657f4eabc1ed323c93c","datavalue":{"value":{"amount":"+0.8790032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q758197$64ADCA17-0B56-4401-9B96-6CD8D7839D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555920e0ad30bf62a18f0ddf758b79a480e4b138","datavalue":{"value":{"entity-type":"item","numeric-id":5495851,"id":"Q5495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1786d2b9b1608969230f8c1df21f248c458cd28b","datavalue":{"value":{"amount":"+0.87226856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q758197$15CB4F99-1AC6-4F28-ABBC-ECE6E9143985","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":"a6ecc7e4fe730d864d3379777287ef38185ea2d0","datavalue":{"value":{"amount":"+0.87094545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q758197$723FA5B5-F0D4-4869-8883-FAD5FCD7A136","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":"e8b0ab4f5a11b976782a124c765e3a0dd06a85f3","datavalue":{"value":{"amount":"+0.87094533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q758197$DB267C2B-E033-403D-80CF-67C7B8FF6D90","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":"7eabf3f86050ab1b96e3752ea82d7cc5ec1dea77","datavalue":{"value":{"amount":"+0.8708089","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q758197$F997EE02-A7D0-4ED8-8F89-523106927857","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":"7eabf3f86050ab1b96e3752ea82d7cc5ec1dea77","datavalue":{"value":{"amount":"+0.8708089","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q758197$681C06B6-3AD9-47C8-96F7-BEE7BC0D0413","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":"1ee0dffc0b8fb805731dc31105fc838616603675","datavalue":{"value":{"amount":"+0.8665789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q758197$2982FA51-2071-47B3-9D0B-21F6A3518369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1dbd949096a7d78f21a99ec0daba270838bba8","datavalue":{"value":{"entity-type":"item","numeric-id":5492890,"id":"Q5492890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d3d9282684cf18ae50f39e2137a5bf901f2d38","datavalue":{"value":{"amount":"+0.8613658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q758197$F8D9A94D-0378-4BA5-AA97-82B1738AD76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201b1aa1575708da532dd1ccece54d8dbadf796c","datavalue":{"value":{"entity-type":"item","numeric-id":3326839,"id":"Q3326839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3670574f01ad18c32e0cbc7baf3542820e8ff0d2","datavalue":{"value":{"amount":"+0.85724974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q758197$936C750E-6A8D-4D69-AB46-035BE33CFFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1527314967d9e0606d598c234aa494f3e88b630b","datavalue":{"value":{"entity-type":"item","numeric-id":896108,"id":"Q896108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e02fa6726e76f82c70efa44cf90518fcbcc987","datavalue":{"value":{"amount":"+0.85660636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q758197$5F11A19C-D73F-4D7F-B128-7C5B6773B655","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On O(Tlog T) reduction from RAM computations to satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_O(Tlog_T)_reduction_from_RAM_computations_to_satisfiability"}}}}}